رضا رسولی شربیانی

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

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

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