نوع مقاله : ترجمه و نقد
نویسنده
دانشیار گروه فلسفة دانشگاه اصفهان
چکیده
متصلۀ لزومی که از ارکان منطق سینوی است در منطق شفاء به لزومی بدیهی و غیربدیهی و نیز به لزومی بهحسب الزام و لزومی بهحسب واقع و نفسالامر تقسیم شده است. فهم ماهیت متصلۀ لزومی و احکام آن و نیز رابطۀ آن با انواع استلزام در منطق جدید و شناسایی ساختار متصلۀ لزومی، بدون شناسایی و فهم انواع آن امکانپذیر نیست. ازاینرو در این مقاله پس از بیان تعریف بوعلی از متصلۀ لزومی بدیهی و غیربدیهی و تحلیل و نقد برخی دیدگاهها دراینباره، به تحلیل نظر ابن سینا و برخی منطقدانان متأخر درمورد متصلۀ لزومی بهحسب الزام و متصلۀ لزومی بهحسب واقع و نفسالامر (یا بهتعبیر خواجه لزومی لفظی و لزومی حقیقی) میپردازیم و در ادامه برخی دیدگاهها در این زمینه، که به گمان نگارنده به بیراهه رفتهاند و به نام ابن سینا از ابن سینا دور شدهاند، را تحلیل، نقد و بررسی میکنیم. براساس نتایج این تحقیق اولاً تقسیم لزومی به بدیهی و غیربدیهی در شفاء بوعلی هیچ ارتباطی با تقسیم شرطی به لزومی و اتفاقی ندارد؛ ثانیاً ابن سینا در تقسیم لزومی به بدیهی و غیربدیهی بر جهان واقع و روابط لزومی موجود در آن تکیه کرده است. بنابراین نباید تصور شود که این تقسیم برپایۀ روابط منطقی و صرفاً صوری استوار است؛ ثالثاً ابن سینا متصلۀ لزومی «اگر پنج زوج است پنج عدد است» را بهحسب الزام صادق و بهحسب نفسالامر و واقع کاذب دانسته است. بنابراین دلیلی که بر کذب این متصله اقامه کرده است مربوط به مقام واقع و نفسالامر است و نباید با مقام الزام خلط شود؛ رابعاً دلیل ابن سینا بر کذب متصلۀ مذکور بهحسب نفسالامر نیز یک دلیل پیوسته و واحد است که مراحل مختلفی دارد و نباید مراحل مختلف آن بهمنزلۀ دلیلی مستقل تلقی شود. بهعلاوه این دلیل به زبان منطق محمولها و نه زبان منطق گزارهها بیان شده است و هیچ ارتباطی با مغالطۀ پنهانسازی در منطق ندارد.
بنابراین نه این تصور که، تقسیم متصلۀ لزومی به بدیهی و غیربدیهی با تقسیم متصله به اتفاقی و لزومی متناظر است، با متن شفاء و دیدگاه نگارنده در تفسیر آن مطابقت دارد و نه این تصور که ابن سینا لزومی با مقدم ممتنع را متصلۀ لزومی بهحسب الزام بهشمار آورده و آن را بهحسب واقع و نفسالامر کاذب دانسته است، با تفکیکی که ابن سینا بین دو مقام الزام و نفسالامر قائل شده است سازگار است.
کلیدواژهها
عنوان مقاله [English]
Necessary Connective and its Kinds in Sinean Logic with Analysis and Critique of some Views
نویسنده [English]
- Morteza Hajhosseini
Associate Professor, Isfahan University
چکیده [English]
connective [statement] is among the foundations of Sinean logic. In the Logic of Shifa, it has been divided into evident and non-evident necessary as well as into various kinds of necessary in terms of necessity and necessary in terms of facts. Without knowing and understanding various kinds of necessary, the nature of necessary connective, its rules, its relation to various kinds of entailment in the modern logic, and the structure of necessary connective cannot be understood and known. Thus, in the present article, after providing Ibn Sina's definition for evident and non-evident necessary connective and analyzing and criticizing some views posed in this concern, I analyze views introduced by Ibn Sina and some later logicians about necessary connective in terms of necessity and in terms of facts (or, as put by Khwajah, verbal and true necessary). Then, I examine and criticize some views posed in this regard which, I think, have gone in wrong direction and got far from Ibn Sina while speaking of Ibn Sina.
According to the results of the present study, firstly, division of necessary into evident and non-evident in Ibn Sina's Shifa has nothing to do with division of conditional into necessary and accidental. Secondly, in dividing necessary into evident and non-evident, Ibn Sina has relied upon the factual world and the necessary relations existing in it. Thus, it should not be thought that such a division is merely based upon logical and merely formal relations. Thirdly, according to Ibn Sina, the necessary connective statement "if five is even, then it is a number" is true in terms of necessity and false in terms of facts. Thus, the reason provided by him for falsity of this connective statement concerns facts and should not be confused with the station of necessity. Fourthly, Ibn Sina's argument for falsity of the above connective statement in terms of facts is a continuous and integrated one consisting of various steps none of which should be regarded as an independent argument. Furthermore, this argument has been stated in the language of predicative logic (and not in the language of propositional logic) and has nothing to do with the fallacy of hiding in the relevance logic.
Thus, the idea that division of necessary connective into evident and non-evident corresponds to division of connective into accidental and necessary is not consistent with the contents of Shifa and the present author's interpretation of it. Nor is the idea that Ibn Sina has regarded a necessary with impossible precedent as a necessary connective in terms of necessity and thought that it is false in factual world consistent with his distinction between two stations of necessity and facts.
کلیدواژهها [English]
- necessary connective
- evident necessary
- verbal necessary
- station of necessity
- station of facts