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

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

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

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

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

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

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

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

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