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

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

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

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

منطق فازی که در سال 1965 توسط دانشمند ایرانی، پروفسور لطفی‌زاده به جهان عرضه شد،  در تقابل با منطق دوارزشی ارسطویی، ابهام را به عنوان بخشی از سیستم پذیرفته و بر مفاهیم مبهم و نامعیّن دلالت می‌کند. در شرایطی که ماشین قادر به درک مفاهیم کیفی ـ که به راحتی برای انسان قابل فهم است ـ نیست، منطق فازی شیوه تفکر انسان را به فناوری منتقل می‌کند. از منطق فازی در بسیاری از شاخه‌های علوم از جمله «مد...

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

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

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

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