استلزام تابع ارزشی

اثیرالدین ابهری یکی از برجسته ترین منطق دانان دوره اسلامی است که کمتر شناخته شده است. جستار پیش رو، از یکسو، با تصحیح الرساله الزاهره، یکی از منطق نوشته های ارزشمند وی را از پستوی فراموشی به پیشخوان چاپ و انتشار درمی آورد و، از دیگرسو، با شرح و واشکافی و تحلیل آن از دریچه منطق جدید، بر گوشهای از اندیشه های منطقی ابهری پرتو می افکند. مهمترین دستآوردهای این جستار در مقام بازشناسی اندیشه های منطقی ابهری بدین قرارند: 1. ابهری قاعده تعدّی استلزام را منتجِ شرطی متّصل نمی داند. 2. ابهری قاعده دلیل شرطی را می شناخته است؛ 3. ابهری قاعده عکس نقیض شرطی را به چالش می کشد. 4. ابهری بر آن است که در گزاره های حملی، عکس نقیض موافق اعتبار منطقی ندارد. 5. ابهری، همچون منطق دانان ربط، استلزام ربطی را معتبر می داند، درحالیکه جدلیان رقیب وی، همانند رواقیان و پیروان منطق فرگهـراسلی، استلزام مادّی را. الرساله الزاهره بر پایه نسخه های خطّی دانشگاه تهران، مجلس، و کتابخانه آیتاللّه مرعشی، به شیوه گزینشی تصحیح شده است.

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