مرور درختی موضوعات | کتابخانه مجازی الفبا

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

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

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