در تطبیق منطق قدیم و جدید، یکی از بزرگ ترین دشواری ها مربوط به «پیش فرض وجودی» (یا به زبان فلسفه اسلامی، «قاعده فرعیه») است. منطق جدید، با نفی این پیش فرض و قاعده، محصورات اربع را به گونه ای تحلیل کرده است که بسیاری از قواعد منطق قدیم، بر پایه آن، نامعتبر می گردد. در مواجهه با این پدیده، برخی قاعده فرعیه را نادرست شمرده اند و برخی دیگر، منطق جدید را در نادیده گرفتن این قاعده سرزنش کرده اند. گرو...

با مطالعه در آیات قرآن، اخبار رسیده و آرای فقهای امامیه معلوم می‌گردد که «ضرر» به معنای زیان مادی، و «ضرار» به مفهوم ضرر معنوی و همراه با آزار و اذیت است. مفاد قاعده لاضرر، نفی حکم ضرری و معیار تحقق ضرر نیز خسارت و ضرر نامتعارف است. دامنه‌ی قاعده نیز بسیار وسیع است، و در نظام حقوقی برای مقابله با ضرر ناشی از احکام حقوقی و از جمله جهت مبارزه با جواز اجرای حقی که به ضرر دیگری می‌انجامد، به کار می...

بسیاری از تأسیسات نفت‌وگاز در دریاها واقع شده‌اند که به شبکه‌ی پشتیبانی قابل اعتماد و مؤثر برای حمل کالاها و اقلام از انبار پشتیبانی به تأسیسات دریایی نیاز دارند. مسئله‌ی برنامه‌ریزی شناورهای پشتیبانی یک مسئله‌ی حمل‌ونقل دریایی است که شامل مشخص‌کردن ترکیب بهینه‌ی ناوگان، سفرها و زمان‌بندی مربوط به آنها به‌منظور پشتیبانی تعداد مشخصی از تأسیسات دریایی است. در این پژوهش در راستای برنامه‌ریزی مناسب...

مسئولیت مدنی به معنای تعهد به جبران خسارات وارده به دیگری، ممکن است در نتیجه تلف نمودن مستقیم مال یا جان دیگری و یا معیوب نمودن آنها باشد که تحت عنوان «اتلاف» مورد بررسی قرار می گیرد و یا ممکن است غیرمستقیم این آسیب و خسارت وارد شده باشد که زیر عنوان «تسبیب» حکم آن تبیین می گردد. نظر به اینکه برخلاف تسبیب، در قاعده اتلاف، تقصیر شرط نشده و تلف کننده حتی اگر مقصر هم نباشد مسئول جبران خسارات وارده...

در این پایان نامه، یک سیستم تشیخص نفوذ نیمه نظارتی، طراحی و ارزیابی شده است. سیستم پیشنهادی در دسته ی سیستم های تشخیص ناهنجاری است. ابتدا با استفاده از الگوریتم خوشه بندی بهبود یافته k-means بر روی داده های آموزشی نرمال، پروفایل عملکرد نرمال سیستم استخراج می شود. به منظور مشخص کردن محدوده¬ی هر خوشه نرمال، در فضای ویژگی از بردار پشتیبان توصیف داده ها، استفاده شده است. بردار پشتیبان توصیف داده بر...

در پی موفقیت برنامه های تأمین مالی خرد در سطح جهان، طرح هایی در این زمینه در ایران اجرا شده است. این برنامه ها به عنوان راهی برای کاهش فقر و ارتقای معیشت شناخته می شوند و پیوسته در حال گسترش هستند. توجه به برنامه های تأمین مالی خرد و اجرای آنها، ارزیابی اثربخشی شان را ضروری می سازد. ارزیابی اثربخشی این برنامه ها، نه تنها امکان اصلاح رویه ها و بهبود عملکرد برنامه ها را فراهم می کند، بلکه در طراح...

از سویی حکما، قاعده «الواحد» (از یکی جز یکی صادر نگردد) را بدیهی می‌دانند و از سوی دیگر معتقداند خداوند یکتا، قادر مطلق است. لازمه قدرت مطلق خداوند، صدور کثیر از خدای یکتاست، آیا این، با قاعده الواحد متعارض است؟ چگونه می‌توان همزمان، قاعده الواحد و قدرت مطلق خداوند را پذیرفت؟ در این مسئله می‌گوییم: در پذیرش این قاعده، وفاق حکیمان، عارفان و متکلمان ادعا شده است که اساسی نداشته، پشتوانه قاعده...

از زمان پیدایش حقوق، دین و مذهب و اعتقادات قلبی منبع عظیمی برای حقوق به شمار می رفته است. قرن های متمادی، مقررات کلیسا هم دین و شریعت بوده است هم حقوق؛ همان وضعیتی که قبل از مشروطه در ایران می توان شاهد آن بود. سعی قانونگذاران نیز این بوده است که تاحد ممکن راه حل معضلات اجتماعی را از درون نظام شرعی پیدا کنند و به صورت قانون جلوه دهند، همچنان که قضات و حقوقدانان نیز در عمل به فقه وفادار مانده ان...

قاعده عدل و انصاف آثار فراوانی در فقه دارد. این مقاله درپی اثبات این قاعده با استدلالات فقهى، عدل و انصاف را از نظر لغت و اصطلاح معنا مى‌کند و براى اثبات آن به دو دسته دلیل تحت عنوان دلایل عمومى و خصوصى می پردازد تا کلیت و عمومیت قاعده را اثبات کند. در بخش دیگر، مصادیقى را از ابواب فقه برمی‌شمرد و رابطه بین این قاعده را با قاعده قرعه مورد توجه قرار می‌دهد و به اثبات می‌رساند که قاعده عدل و انصا...