نوع مقاله : مقاله پژوهشی
نویسنده
استادیار دانشگاه الزهرا(س)
چکیده
هر فرد آشنا به منطق می‌داند که اگر میان دو مفهوم کلی، نسبت عموم و خصوص مطلق برقرار باشد، همان نسبت - ولی با انقلاب- میان نقیض‌های آنها نیز برقرار است. اما باوجود دلایل مستدل در اثبات این قاعده، منطق‌دان بزرگ دبیران کاتبی قزوینی(600- 675 ق) شبهه‌ای در این زمینه طرح کرده و با ذکر مثال نقضی از منطق موجهات (در خصوص امکان عام و خاص)، کلیت قاعده را مورد تردید قرار داده است. دو نامه طرح شبهه توسط کاتبی و دو پاسخ خواجه نصیرالدین طوسی، همگی به نحو مختصر و با بیانی موجز ارائه شدهاند. تحقیق حاضر به تبیین، تنقیح و بازسازی این مسأله می‌پردازد
کلیدواژه‌ها
عنوان مقاله [English]
The Reversibility of the Contradictories in the Complete Inclusion Rule
نویسنده [English]
- Mahnaz Amirkhani
amirkhani@alzahra.ac.ir
چکیده [English]
In he present study,I explain how the great logician Qazwini, Dabiran al-Katibi (600-675 AD)questioned a well accepted “complete inclusion” rule with a counterexample in modal logic (concearning with, possibility and contingency).This rule demonstrates a vise versa relation between contradictories of two universal concepts when a “complete inclusion” relation exists between them.Two letters by Katibi and the responses by Khawaja Nasir al-Din al-Tusi, all are provided with a brief and concise expressions. This issue will explain,and reconstruct the problem.
کلیدواژه‌ها [English]
- complete inclusion
- contradictories in the complete inclusion
- possibility
- contingency
مقدمه
در لابلای منطق مفهومی ارسطوییان، گاه به مباحثی در حوزه منطق مصداقی برمی‌خوریم. یکی از این موارد، نسب اربع یا نسبت‌های چهارگانه است. این بدان معنی است که به حصر عقلی میان هر دو مفهوم کلی دلخواه، می‌توان یکی از چهار نسبت تساوی، تباین، عموم و خصوص مطلق و عموم و خصوص من وجه را یافت. کم اعتنایی به این مباحث تا حدی است که منطق‌دانان بزرگی همچون ارسطو، فارابی، ابن سینا، خواجه نصیرالدین طوسی و علامه حلی درآثار مهم منطقی خود مثل ارگانون، منطقیات، شفا، اشارات وتنبیهات، اساسالاقتباس و جوهرالنضید هیچ اشارهای به نسب اربع نداشتهاند.
در مبحث یاد شده، هر مفهوم کلی به مثابه یک مجموعه لحاظ شده است. از آنجا که در پیشفرض منطق ارسطویی مفهوم تهی وجود ندارد، این مجموعه‌ها لزوماً دارای فرد یا افرادی می‌باشند (نبوی، 1384، 121). با اندکی تأمل، تحویل‌پذیری این مبحث به نظریه مجموعه‌ها در ریاضیات را نیز می‌توان تأیید نمود. یعنی «مفهوم کلی» قابل تطبیق با «مجموعه» ریاضی است و همچنین هر فرد یا مصداقِ این مفهوم، «عضو» آن مجموعه محسوب می‌شود. به این ترتیب می‌توان از مفاهیم زیرمجموعه، اشتراک، متمم و... نیز در بحث نسب اربع بهره برد. بر اساس آنچه گفته شد منطق محمولات جدید مناسبترین زبان برای تبیین صوری نسب اربع بهحساب می‌آید. این امر به سبب تفکیک بخش اسمی یا همان افراد موضوع و بخش محمولی وهمچنین استفاده از سورها در زبان منطق محمولات می‌باشد. برای تبیین دقیقتر چنین مباحثی می‌توان منطق‌های نسب (منطق محمولات دو موضعی) را نیز بهکارگرفت. بیان روابط و نسبت‌های میان دو یا چند شیء در منطق ارسطویی وهمچنین منطق گزاره‌ها چندان توجیه‌پذیر نیست و چه بسا منطق ارسطویی یارای تبیین برخی از بخش‌های آن را نداشته باشد (موحد، 1376، 73).
یکی از مباحث فرعی نسب اربع، بررسی رابطه نقیض‌های دو مفهوم کلی است. انگیزه منطق‌دانان در ورود به این مسأله به اثبات برخی قواعد منطقی برمی‌گردد. در استدلال مباشر برای اثبات عکس نقیض موافق و مخالف، نقض‌ها و یا تبیین برخی روابط در مربع متقابل و همچنین در قیاس‌های اقترانی برای اثبات ضروب معتبر شکل‌های دوم، سوم و چهارم براساس ضروب معتبر شکل اول، می‌توان روابط میان نقیض‌های دو مفهوم کلی را به کار گرفت (ابنسینا، 1375، 177-212 و240-270 وهمچنین رک مظفر، 1388، 193-261).
هر فرد آشنا به منطق می‌داند که اگر میان دو مفهوم کلی، نسبت عموم و خصوص مطلق برقرار باشد، همان نسبت - ولی با انقلاب- میان نقیض‌های آنها نیز برقرار است. این بدان معنی است که نقیض اعم، اخص و نقیض اخص، اعم می‌شود. مثلاً «انسان» اعم از «شاعر» و «غیرانسان» اخص از «غیرشاعر» است.
اما در قرن هفتم هجری، منطق‌دان بزرگ نجم‌الدین علی بن عمر بن علی کاتبی قزوینی معروف به دبیران (600- 675 ق) شبهه‌ای در این زمینه طرح کرد. وی با ذکر مثال نقض، کلیت قاعده را مورد تردید قرار داد. جالب اینجاست که کاتبی قزوینی نویسنده رساله معروف منطقی شمسیه در متن کتاب خود به شیوه دیگر منطق‌دانان، قاعده فوق را پذیرفته و برای تأیید آن دلیل منطقی نیز ارائه کرده است (رازی، 1384، 178-180) وی سؤال خود را نامهای به استادش خواجه نصیرالدین طوسی (597-672 ق) عرضه کرد. مکاتبات ایندو، در دو نامه طرح شبهه توسط کاتبی و دو پاسخ توسط خواجه صورت گرفته است (کاتبی،1370، 283-284). پس از آن نیز به ندرت می‌توان ردپای این بحث را در کتب منطقی دنبال نمود (رازی، بیتا، 55-56 و شیرازی، 1369، 320-321). اختصار و پیچیدگی مکاتبات یاد شده، مستلزم ایضاح و تبیین محل مناقشه است. نوشته حاضر، بحث را در دو مرحله بیان خواهد کرد؛ یکی اثبات قاعده ودیگری بررسی و تحلیل شبهه وارد برآن.
اثبات قاعده نقیض اعم و اخص مطلق
در برخی آثار منطقی چگونگی نسبت میان دو نقیض اعم و اخص مطلق از طریق مثال، دیاگرام و یا استدلال مورد بحث و بررسی قرار گرفته است. منطق‌دانان متقدم قاعده مذکور را با ذکر شقوق و حالات مختلف آن، مدلل نموده‌اند(یزدی، 1405، 33، تفتازانی، 1363، 69 ، صدرالدینشیرازی، 1378، 9-10). نمونه زیر، تقریر ساده‌ای از این نوع استدلال‌ها است.
اگر نقیض‌های اعم و اخص مطلق، اخص و اعم مطلق باشد یعنی «نقیض اعم» اخص از «نقیض اخص» باشد، این ادعا شامل دو گزاره خواهد بود:
الف ـ در هر موردی که نقیض اعم صادق باشد، نقیض اخص نیز صادق است.
بـ دست کم موردی یافت می‌شود که نقیض اخص - و نه نقیض اعم- بر آن صدق می‌کند.
به‌منظور صوری کردن مطالب یاد شده از علامت زیرمجموعه «» و علامت نقض «» و علامت تعلق «» برای بیان روابط میان دو مفهوم کلی یا دو مجموعه دلخواه و استفاده می‌کنیم. همچنین علائم«» به ترتیب برای سورهای کلی و جزئی و«» برای جملات شرطی متصل و «» برای عطف به کار می‌رود.
|
مقدمه مفروض |
|
|
مطلوب |
|
|
مدعای الف |
|
|
مدعای ب |
اثبات مدعای الف، اکثراً به نحو برهان خلف صورت می‌گیرد. با عدم پذیرش این مدعا، سه حالت متصور است که هر سه به محذورات یا محالات عقلی منجر می‌شوند. از آن جا که نتیجه غلط، نشان دهنده فرض غلط است؛ مدعای الف اثبات می‌گردد.
اگر مدعای الف صادق نباشد، پس طرف مقابل آن صادق است، یعنی فرض می‌کنیم که این عبارت صادق است:
این بدان معنی است که در برخی موارد، نقیض اعم بر نقیض اخص صدق نمی‌کند. بدین ترتیب با تأثیر ادات نقض در عبارت صوری خواهیم داشت:
در این صورت دو احتمال پیش می‌آید:
احتمال اول: «نقیض اعم»، هم بر «نقیضاخص» و هم بر «عیناخص» صادق نباشد: با استفاده از قواعد جابجایی و پخش‌پذیری خواهیم داشت:
در صورتی که عین اخص و نقیض آن در موردی صادق نباشند، ارتفاع نقیضین لازم می‌آید . پس فرض این احتمال محال است.
احتمال دوم: «عین اخص» بر «نقیض اعم» صدق کند، روشن است که براساس تعریف، می‌توانیم گزاره صوری زیر را به دست آوریم:
بنابر احتمال دوم، دو صورت قابل فرض است.
فرض اول: «عین اخص» علاوه بر «نقیض اعم» بر «عین اعم» نیز صادق باشد. و به نحو صوری یعنی:
و با استفاده از قواعد جابجایی و شرکت‌پذیری خواهیم داشت:
روشن است که با این فرض، اجتماع نقیضین لازم می‌آید.
فرض دوم: «عین اعم» در احتمال دوم صادق نباشد. یعنی:
ویا
این فرض با مقدمه اصلی مسأله در تعارض است؛ زیرا از رابطه عموم و خصوص مطلق میان و نتیجه میگیریم که:
در این صورت نمی‌توان عضوی یا مصداقی از یافت که در نباشد، یعنی:
بدین ترتیب براساس استدلال قدما، نقض مدعای الف به سه محذورِ "ارتفاع نقیضین" یا "خلاف مقدمه مفروض" یا "اجتماع نقیضین" منتهی می‌شود و به بیان دیگر از طریق برهان خلف، مدعای الف اثبات می‌شود (شهابی، 1364، 74-75).
البته امروزه با بهکارگیری شیوههای جدید، با اندکی تأمل و بدون ذکر شقوق و احتمالات و فروض یاد شده، می‌توان به سادگی مدعای الف را به نحو صوری اثبات نمود:
|
مقدمه مفروض |
1 |
|
مدعای الف ـ مطلوب |
|
|
نقیض نتیجهـ فرض |
2 |
|
تعریف زیرمجموعه(1) |
3 |
|
عکس نقیض(3) |
4 |
|
قاعده عدم ارتفاع نقیضین(4) |
5 |
|
6 عطف (5)و(2) ـ کاذب اجتماع نقیضین ـ محال |
|
|
برهان خلف (2)(6) ـ مطلوب |
7 |
منطق‌دانان متقدم، مدعای ب را نیز به طریق برهان خلف اثبات کرده‌اند. طبق نظر آنها با عدم پذیرش مدعای ب، لازم می‌آید که در تمام مواردی که «نقیض اخص» صدق می‌کند، «نقیض اعم» نیز صادق باشد. به نحو صوری بدین معنی که:
و با تأثیر ادات نقض خواهیم داشت:
براساس قاعده استلزام یا تحویل منفصله مانعةالخلو به متصله خواهیم داشت:
از طرف دیگر طبق مدعای الف اثبات شد که در تمام مواردی که نقیض اعم صدق می‌کند، نقیض اخص نیز صادق است. پس می‌توان گفت که میان دو نقیض یاد شده، رابطه تساوی مطلق برقرار است. حال اگر میان نقیض اعم و نقیض اخص که خود، دو مفهوم کلی دلخواه هستند رابطه تساوی مطلق وجود داشته باشد، میان نقیض‌های این دو یعنی «نقیض نقیض اعم» یا «اعم مطلق» و همچنین «نقیض نقیض اخص» یا «اخص مطلق» نیز باید رابطه تساوی مطلق وجود داشته باشد. چنین ادعایی با مقدمه اصلی مفروض ناسازگار است. به این ترتیب براساس برهان خلف، مدعای ب نیز اثبات می‌شود(همو،75).
استدلال یاد شده را به نحو صوری و با تقریری متفاوت، مجدداً بازسازی می‌کنیم:
|
مقدمه مفروض |
1 |
|
مدعای ب ـ مطلوب |
|
|
نقیض نتیجهـ فرض |
2 |
|
تعریف زیرمجموعه (1) |
3 |
|
قاعده عدم ارتفاع نقیضین(3) |
4 |
|
5 عطف (4)و(2) ـ کاذب اجتماع نقیضین ـ محال |
|
|
برهان خلف (2)(5) ـ مطلوب |
6 |
با اثبات دو مدعای الف و ب، نسبت میان نقیض‌های عام و خاص مطلق اثبات می‌شود.
طرح شبهه
در منطق ارسطویی از گذشته تا حال، کمابیش با استدلال‌هایی از این دست در اثبات قاعده مذکور مواجه می‌شویم. اما همانگونه که ذکرشد در قرن هفتم هجری، منطق‌دان بزرگ، دبیران کاتبی قزوینی شبهه‌ای در این زمینه طرح کرد و با ذکر مثال نقضی از منطق موجهات، کلیت قاعده را مورد تردید قرار داد. دو نامه طرح شبهه توسط کاتبی و دو پاسخ توسط خواجه، مختصر و موجز ارائه شدهاند (کاتبی، 1370، 283-284). در این مجال ابتدا به بیان تفصیلی شبهه و پاسخ خواجه می‌پردازیم و پس از آن مجدداً با استفاده از روش صوری و ترسیم دیاگرام، پاسخ خواجه را بازسازی می‌کنیم.
نجم‌الدین کاتبی در نامه اول ادعا می‌کند که نقیض اعم مطلق، ضرورتاً اخص از نقیض اخص مطلق نیست. مثال نقض کاتبی به دو مفهوم «ممکن به امکان عام» یا «ممکنه عامه» و «ممکن به امکان خاص» یا «ممکنه خاصه» برمی‌گردد. وی گزاره‌های (1) تا (4) را براساس تعاریف متفقالقول میان منطق‌دانان بیان می‌کند:
1- هر «ممکن به امکان خاص»، «ممکن به امکان عام» است.
2- هر غیر «ممکن به امکان خاص» یا واجب بالذات و یا ممتنع بالذات است.
3- هر واجب بالذات، «ممکن به امکان عام» است.
4- هر ممتنع بالذات، «ممکن به امکان عام» است.
از عطف گزاره‌های (3) و (4) داریم؛]1[
5- هر واجب بالذات یا ممتنع بالذات، «ممکن به امکان عام» است.
و براساس ضرب باربارا (AA-A) در قیاس‌های اقترانی حملی، از گزاره‌های (2) و (5) خواهیم داشت:
6- هر غیر «ممکن به امکان خاص»، «ممکن به امکان عام» است.
کاتبی مدعی است که چنین نیست که همواره نقیض عام، اخص از نقیض خاص باشد. پس به طریق خلف، نقیض ادعای خود را مفروض می‌گیرد؛ یعنی:
7- همواره نقیض عام، اخص از نقیض خاص است.
و این بدان معنی است که همواره نقیض «ممکن به امکان عام»، اخص از نقیض «ممکن به امکان خاص» است. بدین ترتیب کاتبی درصدد است با ذکر مثال نقضی از مبحث موجهات، قاعده مفروض در برهان خلف را مخدوش اعلام نماید. وی در ادامه، عکس نقیض موافق گزاره (1) را به دست آورد:
8- هر غیر «ممکن به امکان عام»، غیر «ممکن به امکان خاص» است.
سپس براساس ضرب باربارا (AA-A) در قیاس‌های اقترانی حملی، از دو گزاره (8) و (6) نتیجه زیر حاصل می‌شود:
9- هر غیر «ممکن به امکان عام»، «ممکن به امکان عام» است.
قاعده امتناع اجتماع نقیضین، گزاره (9) را کاذب و محال می‌داند. پس می‌توان براساس برهان خلف، فرض (7) را ابطال نمود. بدین ترتیب، کاتبی همیشگی و کلی بودن قاعده (7) را با ذکر مثال نقض، مردود می‌داند.
وی به نحو دیگری نیز به تبیین تالی فاسد قاعده یاد شده می‌پردازد و با تشکیل قیاس اقترانی حملی دیگری به دومین گزاره پارادوکسیکال اشاره می‌کند. کاتبی این بار عکس نقیض موافق سطر (6) را به دست می‌آورد:
10- هر غیر «ممکن به امکان عام»، «ممکن به امکان خاص» است.
و به نحو پیشین میان سطرهای (10) و (1) قیاس اقترانی حملی دیگری تشکیل می‌دهد و نتیجه محال دیگری را استنتاج می‌کند:
11- هر غیر «ممکن به امکان عام»، «ممکن به امکان عام» است.
بدین ترتیب کاتبی به دو طریق تلاش نمود تا استثناپذیری قاعده نقیض‌های عام و خاص مطلق را نشان دهد. خواجه نصیرالدین طوسی ضمن نپذیرفتن ادعای کاتبی، تعبیر او از ممکنه عامه را مورد نقد و ارزیابی قرار داد. خواجه تأکید می‌کرد که «ممکنه عامه» به دو قسم تقسیم می‌شود و این دو قسم، مانعةالخلو (و نه مانعةالجمع) می‌باشند. پس هرگاه این اصطلاح به نحو مطلق مورد استفاده قرار گیرد، هر دو قسم را شامل می‌شود و سلب آن، امری خارج از دو نقیض خواهد بود(همان، 283).
با چنین توضیحی، صورت برهان هر دو قیاس پارادوکسیکال کاتبی مورد اشکال قرار می‌گیرد. خواجه، نتیجه‌گیری (9) را غیر معتبر می‌داند و صورت‌بندی قیاس مربوط را نمی‌پذیرد:
(8) هر غیر «ممکن به امکان عام»، غیر «ممکن به امکان خاص» است.
(6) هر غیر «ممکن به امکان خاص»، «ممکن به امکان عام» است.
(9) هر غیر «ممکن به امکان عام»، «ممکن به امکان عام» است.
توضیح این که قیاس یاد شده فاقد یکی از شروط عمومی یعنی «عدم تکرار حد وسط» می‌باشد. از امری که «ممکن به امکان خاص» نیست یا غیر «ممکن به امکان خاص» است، دو معنا برداشت می‌شود. مراد از غیر «ممکن به امکان خاص» در صغری، امری خارج از هر دو نقیض - با هم- می‌باشد؛ در حالی که درکبری، امری داخل در یکی ازآن دو مورد نظر است.
قیاس دوم کاتبی نیز مورد قبول خواجه نیست و اخذ نتیجه (11) را از مقدمات مذکور نمی‌پذیرد:
(10) هر غیر «ممکن به امکان عام»، «ممکن به امکان خاص» است.
(1) هر «ممکن به امکان خاص»، «ممکن به امکان عام» است.
(11) هر غیر «ممکن به امکان عام»، «ممکن به امکان عام» است.
وی صغرای این قیاس را کاذب می‌داند و گزاره (10) را به‌عنوان عکس نقیض گزاره (6) نمی‌پذیرد. خواجه تصریح می‌کند عکس نقیض گزاره (6) عبارت است از:
12- هر غیر «ممکن به امکان عام»، غیر «ممکن به امکان خاص» است.
توضیح این که مقصود از موضوع گزاره (12) یعنی غیر «ممکن به امکان عام» با توجه به این که نقیض محمول گزاره (6) می‌باشد امری خارج از دو نقیض است و نه آن ممکن خاصی که داخل در یکی از آن دو نقیض می‌باشد(همان).
روشن است که بیان خواجه به هیچ‌وجه به ابطال قاعده عکس نقیض موافق نمی‌انجامد. بلکه با توجه به پیش فرض «إذا صدق الأصل، صدق العکس»، صرفاً به روش صوری و مکانیکی بسنده نمی‌کند و برای تأیید سخن خود، وارد حوزه معنایی (سمانتیک) گزاره‌ها می‌شود.
کاتبی در نامه دوم با توجه به قاعده فرعیه و پیشفرض وجودی در جملات ایجابی، سؤالی بدین مضمون مطرح می‌کند: آنچه شما به‌عنوان «خارج از نقیض» و به بیان دیگر غیر «ممکن عام» تعبیر نموده‌اید، اصولاً «چیزی» نیست!این امر ممکن نیست بر چیزی حمل شود، چه رسد به این که اخص از آن واقع شود. پس هرچیزی که غیر «ممکن به امکان خاص» باشد، چگونه می‌تواند اعم از آن نیز باشد؟
خواجه در نامه دوم خود، چنین پاسخ می‌دهد: آنچه غیر«ممکن به امکان خاص» است بر چیزی که اصلاً نیست صدق می‌کند. این همان است که از آن به غیر «ممکن به امکان عام» تعبیر می‌شود. غیر «ممکن به امکان خاص» بر داخل در دو طرف نقیض یعنی واجب بالذات و ممتنع بالذات نیز صدق می‌کند. به این ترتیب مراد از اعم بودن غیر «ممکن به امکان خاص» روشن می‌شود(همان، 284).
سید شریف در حاشیه شرح مطالع به بررسی شبهه کاتبی پرداخته است. وی در ابتدا توضیح می‌دهد که این شبهه، صرفاً منحصر در مثال مذکور نیست بلکه قابل تسری به موارد مشابه نیز می‌باشد(رازی، بیتا، 55):
|
13- هر انسان، «ممکن به امکان عام» است. |
قضیه مفروض ـ صادق |
|
14- هر غیر «ممکن به امکان عام»، غیر انسان است. |
عکس نقیض موافق(13) |
|
15- هر غیرانسان یا واجب است یا ممکن خاص است یا ممتنع. |
حصرعقلی در مواد ثلاث |
|
16- هر واجب یا ممکن خاص یا ممتنع، «ممکن به امکان عام» است. |
طبق تعریف امکان عام |
|
17- هر غیرانسان، «ممکن به امکان عام» است. |
قیاس اقترانی (15)و(16) |
|
18- هر غیر«ممکن به امکان عام»، «ممکن به امکان عام» است. |
قیاس اقترانی (14)و(17) اجتماع نقیضین ـ محال |
سید شریف اظهار می‌کند که «غیرانسان» اخص از «ممکن عام» است، زیرا «غیرانسان» منحصر در مواد ثلاث است؛ ولی «ممکن عام» شامل «انسان» نیز می‌شود که دیگر «غیرانسان» شامل آن نیست. پاسخ شبهه این است که ممکن عام شامل هر دو نقیض یعنی «انسان» و «غیرانسان» می‌باشد. در این صورت غیر «ممکن به امکان عام» امری خارج از هر دو نقیض خواهد بود. اگر غیر «ممکن به امکان خاص» در مثال کاتبی، محمول برای غیر «ممکن به امکان عام» قرار گیرد، بدین معنیاست که محمول بر امری خارج از آن دو نقیض خواهد بود. تردیدی نیست که هر امر منحصر در واجب و ممتنع، خارج از آن دو نمی‌تواند باشد.
به این ترتیب طبق بیان سید شریف، محمول در گزاره (8) یعنی صغرای قیاس کاتبی، سلب ممکن خاص است از جهت صدق آن بر امور خارج از نقائض. اما موضوع در گزاره (6) یعنی کبرای قیاس کاتبی با این که مشابهت ظاهری با محمول صغری دارد، به امری داخل در یکی از دو نقیض مربوط می‌شود(همان).
شارح مطالع نیز بهگونهای دیگر، شبهه کاتبی را پاسخ گفته است. ازنظر او گزاره‌ای مانند گزاره (6) یعنی هر غیر «ممکن به امکان خاص»، «ممکن به امکان عام» است، یا موجبه سالبةالموضوع است و یا موجبه معدولةالموضوع. در صورت اول موضوع چیزی نیست یا اصطلاحاً تهی است و با استناد به قاعده فرعیه نمی‌توان صدق چنین گزارههایی را اذعان نمود. درصورت دوم گزاره (2) به لحاظ معناشناختی می‌تواند ارزش صدق داشته باشد اما نمی‌تواند به عنوان مقدمه یک استدلال منطقی لحاظ شود. علت این است که قضیه لازم، سالبةالطرفین می‌شود و حد وسط یا حد مشترکی را نمی‌توان درآن یافت(رازی، بیتا، 55). توضیح اینکه غیر «ممکن به امکان خاص»، اخص از «ممکن به امکان عام» است زیرا میدانیم که هر غیر «ممکن به امکان خاص»، «ممکن به امکان عام» است. اگر این گزاره را موجبه معدولةالموضوع لحاظ کنیم، نقیض موضوع یعنی غیر «ممکن به امکان خاص»، «ممکن به امکان خاص» نمیشود زیرا در این صورت ارتفاع نقیضین لازم می‌آید. پس نقیض آن عبارت است از «مالیس بلا ممکن الخاص» یعنی آن چیزی که غیرممکن خاص نیست. این نقیض، اعم از غیر«ممکن به امکان عام» وهمچنین اعم از ممکن خاص خواهد شد. به اینترتیب گزاره (10) یعنی "هر غیر «ممکن به امکان عام»، «ممکن به امکان خاص» است"، همواره صادق نخواهد بود بلکه بهجای آن باید گفت: هر غیر «ممکن به امکان عام»، چنین نیست که غیر «ممکن به امکان خاص» باشد (همان، حاشیهمحمدرضا، 55).
در تعلیقه بر شرح منظومه نیز تلخیص وتقریر ساده‌تری از بحث ملاحظه می‌شود، مؤلف با تشکیک در گزاره (6) به حل شبهه می‌پردازد. وی استدلال می‌کند که اگر این گزاره به نحو کلی صادق باشد پس نقیض آن یعنی بعضی غیر «ممکن به امکان خاص»، غیر «ممکن به امکان عام» است، باید کاذب باشد. درحالی که گزاره بهدستآمده صادق است زیرا عکس گزاره صادق هر غیر «ممکن به امکان عام»، غیر «ممکن به امکان خاص» است، می‌باشد. مشابه استدلال را می‌توانیم درگزاره (2) یعنی هر غیر «ممکن به امکان خاص» یا واجب بالذات و یا ممتنع بالذات است، نیز بیان کنیم. ازآنجا که میدانیم هر واجب و ممتنعی ممکن به امکان عام است، پس می‌توان گفت که بعضی غیر «ممکن به امکان خاص»، غیر «ممکن به امکان عام» است؛ یعنی واجب یا ممتنع نیست (آشتیانی، 1376، 163).
تبیین و بازسازی پاسخ به شبهه
نگارنده به‌منظور تسهیل در مقام آموزش و ارائه تبیین ساده‌تری در پاسخ به پارادوکس کاتبی، با تفکیک «امکان عام» در قضایای ایجابی و سلبی به بررسی مسأله می‌پردازد.
منطق‌دانان مقصود از امکان عام در قضایای ایجابی را «سلب ضرورت عدم» و از گونه «ممکن ان یکون» می‌دانند. از قضیه «الف موجود است به امکان عام»، دو مصداق یا دو احتمال را برای الف، می‌توان به دست آورد: یکی ضروری الوجود (واجب) و دیگر آن که وجودش مانند عدمش ضروری نباشد (ممکن خاص). مقصود از امکان عام در قضایای سلبی نیز «سلب ضرورت وجود» و از گونه «ممکن أن لایکون» دانسته شده است. از قضیه «الف موجود نیست به امکان عام» نیز دو مصداق یا دو احتمال برای الف، می‌توان به دست آورد: یکی ضروری العدم (ممتنع) و دیگری آن که عدمش مانند وجودش ضروری نباشد (ممکن خاص) (ملکشاهی، 1375، 349-352).
دیاگرام پیشنهادی برای دو حالت ذکر شده بدین صورت ترسیم می‌شود:
قضایای موجبه قضایای سالبه
|
|
|
|
|
|
|
|
دیاگرام الف دیاگرام ب
در هر دو دیاگرام، حصر عالم به مواد ثلاث لحاظ شده است. ضمناً مشاهده می‌کنیم که در هر دو مورد، هر «ممکن به امکان خاص»، «ممکن به امکان عام» نیز هست. این که هر غیر «ممکن به امکان عام»، غیر «ممکن به امکان خاص» است یا هر غیر «ممکن به امکان عام»، «ممکن به امکان خاص» نیست، در هر دو دیاگرام قابل نمایش است.
حال به بررسی غیر «ممکن به امکان خاص» می‌پردازیم. در دیاگرام الف، غیر «ممکن به امکان خاص» یا «ممکن به امکان عام» (واجب) است و یا غیر «ممکن به امکان عام» (ممتنع) است. پس می‌توان گفت: هر غیر «ممکن به امکان خاص» یا «ممکن به امکان عام» (واجب) و یا غیر «ممکن به امکان عام» (ممتنع) است.
به همین ترتیب در دیاگرام ب نیز خواهیم داشت: هر غیر «ممکن به امکان خاص» یا «ممکن به امکان عام» (ممتنع) و یا غیر «ممکن به امکان عام» (واجب) است.پس می‌توان مجدداً گزاره (6) را با لحاظ قضایای موجبه و سالبه بدین صورت بازسازی کرد:
19- هر غیر «ممکن به امکان خاص» یا «ممکن به امکان عام» و یا غیر «ممکن به امکان عام» است.
و با قرار دادن گزاره (19) در جایگاه کبری و گزاره (8) در جایگاه صغری چنین نتیجه میگیریم که:
20- هر غیر «ممکن به امکان عام» یا «ممکن به امکان عام» و یا غیر «ممکن به امکان عام» است.
بدیهی است که گزاره (20) به لحاظ معناشناختی گزاره‌ای همیشه صادق است.
در اینجا می‌توان مجدداً مقصود خواجه را در پاسخ به کاتبی تبیین نمود. وی قیاس اقترانی متشکل از گزاره‌های (8) و (6) را غیر معتبر دانسته و علت را در عدم تکرار حد وسط ذکر کرده است. از نظر خواجه، مراد از غیر «ممکن به امکان خاص» در صغری، امری خارج از هر دو نقیض می‌باشد. طبق گزاره (8)، هر غیر «ممکن به امکان عام»، غیر «ممکن به امکان خاص» است. یعنی در دیاگرام الف، هر ممتنع غیر از امکان خاص است. بدیهی است که ممتنع در اینجا امری خارج از امکان عام و امکان خاص می‌باشد. از طرف دیگر طبق گزاره (6)، هر غیر «ممکن به امکان خاص»، ممکن به امکان عام است. این گزاره براساس توجیهی که ذکر شد به نحو کلی صادق نیست، بلکه مثلاً براساس دیاگرام الف مشاهده می‌کنیم که بعضی غیر «ممکن به امکان خاص»، «ممکن به امکان عام» است. پس مقصود از غیر «ممکن به امکان خاص» در کبری، به امری داخل در غیر «ممکن به امکان عام» نیز اطلاق می‌شود.
خواجه طوسی قیاس دوم کاتبی را با تردید در صدق قضیه (10)، باطل اعلام می‌کند. در هر دو دیاگرام می‌توان صحت کلام خواجه را نشان داد. هر غیر «ممکن به امکان عام» در دیاگرام الف، ممتنع و در دیاگرام ب، واجب است و هر دو، غیر «ممکن به امکان خاص» می‌باشند؛ یعنی هر غیر «ممکن به امکان عام» امری خارج از هر دو می‌باشد.
نتیجه
ازآنچه بیان شد دریافتیم که خواجه با تأمل در مفاهیم و اصطلاحات بکارگرفته شده، توانسته است به نحوی شایسته به دفع ورفع شبهه کاتبی نایل آید. البته بدیهی است در مواردی که استدلال منطقی معتبری برای اثبات یک قاعده ارائه شود، هرگونه مثال نقض صرفاً تردید و تشکیکی را در خودِ مثال _ و نه اصل قاعده_ به دنبال می‌آورد. شایان ذکر است با توجه به روند بحث در سراسر مقاله، می‌توان اذعان داشت که استفاده از ابزارهای جدید مانند صورتبندیها، نمادها و دیاگرامها موجب تسهیل در فهم، تفهیم وتفاهم مباحث مغلق منطقی می‌شود و ضمن غلبه بر صعوبتها و پیچیدگیهای بیان قدما، دقت بیشتر و درجه تحلیل بالاتری را در تبیین مسایل به‌دست می‌دهد.
پینوشت:
[1]. مراحل صوری استدلال ذکر شده بدین شرح است:
منابع فارسی
- ارسطو (1378)، منطق ارسطو، ترجمه میرشمسالدین ادیبسلطانی، تهران: انتشارات نگاه.
شهابی، محمود (1364)، رهبر خرد، تهران: کتابفروشی خیام.
- شیرازی، قطبالدین (1369)، درةالتاج، به اهتمام و تصحیح سید محمد مشکوة، تهران: انتشارات حکمت.
- طوسی، نصیرالدین (1380)، اساسالاقتباس، بازنگاری مصطفی بروجردی، تهران: وزارت فرهنگ و ارشاد اسلامی.
- ملکشاهی، حسن (1375)، ترجمه وشرح اشارات و تنبیهات، ج 2، تهران: انتشارات سروش.
_____،(1363)، ترجمه و تفسیر تهذیبالمنطق تفتازانی، تهران: انتشارات دانشگاه تهران.
- موحد، ضیاء (1376)، تمایزات مبنایی منطق قدیم وجدید» نامه مفید، ش.10.
- نبوی، لطفالله (1384)، مبانی منطق وروششناسی، تهران: انتشارات دانشگاه تربیت مدرس.
منابع عربی
-
ابنسینا، حسینبن عبدالله (1375)، الاشارات و التنبیهات، قم: نشرالبلاغه.
_____________، (1428 ق)، الشفاء، قم: ذویالقربی.
-
آشتیانی، میرزا مهدی (1376)، تعلیقه علی شرح المنظومه السبزواری (قسمالمنطق)، قم: دفتر تبلیغات اسلامی.
-
حلی، جمالالدین حسن بن یوسف (1363)، الجوهر النضید، ماتن، نصیرالدین طوسی، قم: بیدار.
-
رازی، قطبالدین محمد (بیتا)، شرح المطالع، ماتن، سراج الدین ارموی، قم: کتبی نجفی.
____________، (1384)، تحریر القواعد المنطقیة فی شرح الرسالة الشمسیة، ماتن، کاتبی قزوینی، قم: بیدار.
-
شیرازی، صدرالدین محمد (1378)، التنقیح فیالمنطق، به اشراف سید محمد خامنهای، تهران: بنیاد حکمت اسلامی صدرا.
-
کاتبی قزوینی، نجم‌الدین و نصیرالدین طوسی (1370)، مطارحات منطقیه در منطق و مباحث الفاظ (مجموعه مقالات)، به کوشش مهدی محقق وتوشیهیکو ایزوتسو، تهران: انتشارات دانشگاه تهران.
-
مظفر، محمدرضا (1388)، المنطق، قم: انتشارات اسماعیلیان.
-
یزدی، مولیعبدالله بن شهابالدینالحسین (1405)، الحاشیة علی تهذیبالمنطق، قم: مؤسسه نشر اسلامی.
-
)