مرتضی حاج حسینی

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

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

فیلسوفان مسلمان نظریة مطابقت صدق را بر تحلیل سازمان جمله استوار نموده، جمله را به عنوان «حامل صدق»(truth bearer) و واقع یا نفس الامر را به عنوان «سازندة صدق»(truth -maker) تلقی کرده­اند. دراین مقاله, پس از بحث دربارة موارد کاربرد این نظریه در فلسفة اسلامی و شناسایی اصول و مبانی آن، توانایی این نظریه را در مقایسه با نظر منطق جدید در تحلیل سازمان قضیه ارزیابی نموده، با عنایت به مغایرت واقعیت با اندیشه, به شناسایی عناصر اصلی تئوری مطابقت می پردازیم. براساس این تحلیل، جمله «حامل صدق» و «صدق» محمولی تک موضعی است که احراز آن تابعی از احراز نسبت «مطابقت» است. اما « مطابقت » محمولی دو موضعی است که از نسبت بین وضعیت ترسیم شده توسط آن جمله و وضعیتی که در واقع اتفاق افتاده است حکایت می­کند. بنابراین سازنده صدق نه واقع و نفس الامر, بلکه نسبت مذکور است. به علاوه, احراز مطابقت تابع احراز دست­رسی به واقع یا نفس الامر می باشد

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

تبیین حقیقت علم و چگونگی دسترسی به واقع از جمله مباحث عمیق و پر ماجرائی است که فیلسوفان از آغاز پیدایش فلسفه تاکنون به آن توجه داشته اند و سنگینی آن را بر دوش خود احساس نموده اند و هنوز نیز از معماهای ناگشوده فلسفی به شمار می آید. در فلسفه اسلامی این موضوع از جهت رابطه ادراک با شیء ادراک شده و رابطه ادراک با شخص ادراک کننده مورد توجه قرار گرفته است .این بحث با توجه به تعریف علم به تمثّل حقیقت شیء یاحضور ماهیت شیء در نزد مدرک همواره با اشکال معروف اجتماع جوهر و عرض مواجه بوده است و به آراء گوناگونی انجامیده است :1)نظریه کیفیت ذات اضافه 2)نظریه شبح 3)نظریه ماهوی در تبیین های مختلف. در این مقاله پس از بیان چگونگی تحول آراء فیلسوفان مسلمان در این موضوع به بررسی ‘ تحلیل و ارزیابی هر یک از این نظریات پرداخته ‘ پیش فرض ها ‘ عوامل مؤثر بر شکل گیری آنها ‘ همچنین اشکالات وارد بر آنها را بر اساس ملاک های سازگاری (consistency)‘استقلال(independence)‘تمامیت(completeness)ومیزان مقاومت آنها در برابر حملات شکاکانه بیان می نمائیم.