اسدالله فلاحی

[ 1 ] - قضایای حقیقیه و خارجیه نزد خونَجی

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

[ 2 ] - تصحیح و تحقیق رسالۀ «اللامع فی الشکل الرابع» نوشتۀ مجدالدین جیلی

مجدالدین عبدالرزاق جیلی (د. ح. 570 ق.)، برای نخستین بار در تاریخ منطق، در رسالۀ اللامع فی الشکل الرابع به مختلطات شکل چهارم پرداخته است. پیش از او، دنحای کشیش (ح. 800م.) و ابوالفتوح ابن‌صلاح همدانی (د. 548ق.)، معاصر جیلی، مطلقات شکل چهارم را به تفصیل طرح کرده بودند. جیلی در رسالۀ اللامع تنها به موجهات «بسیط» شکل چهارم پرداخته و هیچ اشاره‌ای به موجهات «مرکب» نکرده است. شاگرد او، فخر رازی، نیز تن...

[ 3 ] - کاربردهای نادرست حمل اوّلی و شایع

حمل اوّلی و شایع را در حلّ بسیاری از مسائل فلسفی به‌کار برده‌اند که برخی از آن‌ها کاربرد نادرست این دو حمل است. برخی از این کاربردها، به شبهات فلسفی و پارادوکس‌های منطقی مربوط می‌شود و برخی دیگر را می‌توان در مباحث مستقل فلسفی یافت: 1. شبهه اخبار از معدوم مطلق، 2. اشکالات وجود ذهنی، 3. معمّای جذر اصم و پارادوکس راسل، 4. پارادوکس اشاره به گیومه و پارادوکس مفهوم اسب، 5. دلیل این‌که چرا حدّ تام را به ...

[ 4 ] - لزومی حقیقی و لزومی لفظی

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

[ 5 ] - تعهد درون‌قاعده‌ای خواجه نصیر در عکس نقیض و معضل نقض طرفین

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

[ 6 ] - آیا می‌توان خواجه نصیرالدین طوسی را معتقد به منطق سه‌ارزشی دانست؟

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

[ 7 ] - تبارشناسی نسبت‌های چهارگانه

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

[ 8 ] - عکس مستوی قضایای حقیقیه نزد خونجی

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

[ 9 ] - تحلیل عموم‌های سه‌گانة اصول فقه در منطق جدید

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

[ 10 ] - منطق‌های مبتنی بر عکس نقیض و نقض محمول

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

[ 11 ] - حمل اولی و شایع، به قید قضیه و به قید موضوع و فروکاهی معنای دوم به معنای اول

فیلسوفان مسلمان حمل اولی و شایع را به دو معنای متفاوت به کار برده‌اند: 1. به قید قضیه 2.به قید موضوع. حمل اولی و شایع به قید قضیه نخستین معنای این دو اصطلاح و به ترتیب، به معنای «اتحاد مفهومی» و «حمل مصداقی» است؛ اما حمل اولی و شایع به قید موضوع، معنایی است که بعدها اختراع شده و به ترتیب، به معنای «ارادة مفهومِ موضوع» و «ارادة مصادیق موضوع» است و در حقیقت، چیزی جز همان تفکیک معروف میان «قضیة طبی...

[ 12 ] - اعتبار در جهان‌های ممکن

قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...

[ 13 ] - مقالة فی الشکل الرابع أبوالفتوح ابن‌الصلاح الهمدانی

ابوالفتوح احمد بن محمد بن صلاح همدانی، که یک سده پس از ابن‌سینا می‌زیسته، نخستین منطق‌دان مسلمان است که ضرب‌های منتج و عقیم شکل چهارم را به تفصیل برشمرده و اثبات کرده است. رسالة او با نام «مقالة فی الشکل الرابع من أشکال القیاس الحملی و هو الشکل المنسوب إلی جالینوس» در سال 1965م. به صورت عکسی چاپ و یک سال پس از آن با تصحیح نسبتاً ضعیفی از سوی نیکلاس رشر در آمریکا منتشر شده است. این مقاله...

[ 14 ] - عکس مستوی قضیه خارجیه نزد خونجی

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

[ 15 ] - نظریه «ایجاب بتی» نزد سهروردی، دلیل ها و پیامدهای آن

[ 16 ] - اصل‌های بوریدان و بارکن در منطق سینوی وارزیابی صحت استناد آنها به ابن‌سینا

 در منطق موجهات جدید، رابطۀ جهت و سور را با فرمول‌هایی نشان می‌دهند که به افتخار ژان بوریدان و خانم روت بارکن مارکوس ـ دو منطق‌دان از سدۀ چهاردهم و بیستم میلادی ـ فرمول‌های بوریدان و بارکن نامیده شده‌اند. ضیاء موحد، لطف‌الله نبوی و مهدی عظیمی پیشینۀ این فرمول‌ها را به ابن‌سینا می‌رسانند. در این مقاله نشان می‌دهیم که ابن‌سینا فقط تمایز «جهت سور» و «جهت حمل» را بیان کرده است و اشاره‌های او در دو ...

[ 17 ] - کمیت قیاس شرطی نزد شمس الدین سمرقندی

شمس الدین سمرقندی که در بحث قیاس شرطی دیدگاهی نو در برابر ابن‌سینا پیش نهاده است، از 19 ضرب منتج سینوی 12 ضرب را نامعتبر می‌داند. در مقالة دیگری نشان داده‌ایم که اگر تنها «کیفیت» گزاره‌ها را در نظر بگیریم میان قیاس‌های سمرقندی و منطق ربط مطابقت شگفت‌انگیزی وجود دارد. در این مقاله، اما، نشان می‌دهیم که اگر «کمیت» گزاره‌ها را نیز در نظر آوریم این مطابقت از میان می‌رود. دلیل این مسئله آن است که در...