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

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

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

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

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

هر فرد آشنا به منطق می داند که اگر میان دو مفهوم کلی، نسبت عموم و خصوص مطلق برقرار باشد، همان نسبت - ولی با انقلاب‎- میان نقیض های آنها نیز برقرار است. اما باوجود دلایل مستدل در اثبات این قاعده، منطق دان بزرگ دبیران کاتبی قزوینی(600- 675 ق) شبهه ای در این زمینه طرح کرده و با ذکر مثال نقضی از منطق موجهات (در خصوص امکان عام و خاص)، کلیت قاعده را مورد تردید قرار داده است. دو نامه‏ طرح شبهه توسط کا...

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

در رساله ی حاضر، وظیفه ای که ما بر عهده گرفتیم ارزیابی نسبتی است که تفکر انتقادی با دو منطق سنتی و قدیم برقرار می کند. این ارزیابی ازاین جهت حائز اهمیت است که هم تفکر انتقادی و هم منطق ها به دنبال این هستند که انسان را از رفتن به بیراهه در هنگام اندیشیدن (یا ارزیابی اندیشه ها) حفظ کنند. برای انجام این مهم رساله ی حاضر در سه فصل تنظیم گردیده است: در فصل اول ما اولاً بدنبال ارائه ی تعریفی برای ت...

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