جستجوي پيشرفته | کتابخانه مجازی الفبا

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