حمیده بهمن پور

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

در منطق کلاسیک، استدلال درست است اگر و تنها اگر نتیجه به کمک قاعده های استنتاج از مقدمه ها به دست آید. بر اساس این تعریف، استدلال های   P ∧ ∼ P ⊢ Q  و Q ⊢ P ∨ ∼ P درست به شمار می آیند. اما شهود طبیعی درستی این دو استدلال را تأیید نمی کند. نویسنده، در نظریه منطق پایه دو بخشی گزاره ها در کتاب «طرحی نو از اصول و مبانی منطق»، با افزودن دو شرط جدید، تعریفی جدید از درستی استدلال ارائه کرده و بر پایه این تعریف، راه های اثبات این دو استدلال را مسدود کرده است. این تعریف مستلزم برخی تجدید نظرها در برخی قاعده های استنتاج و برخی استدلال ها در منطق کلاسیک است و به تأسیس نظریه نظام تابع ارزشی انجامیده است. اسدالله فلاحی در مقاله ای که با عنوان «نظام تابع ارزشی حاج حسینی» در شماره بهار ۱۴۰۲ نشریه علمی آینه معرفت منتشر شده است، بی آنکه موضع خود را در قبال استدلال های فوق مشخص نماید، با طرح انتقادات پراکنده، این نظریه را نقد کرده است. در این میان، تنها یک نقد اصل نظریه را هدف گرفته که به تفصیل به آن پاسخ خواهم داد. دو نقد مستلزم اصلاح خطای سهوی یا رفع ابهام از متن کتاب است. سایر نقدها ناشی از عدول از برخی الزامات نقد، فهم ناصواب از متن کتاب، نادیده گرفتن وجوه معتبر دیگر، غفلت از برخی توضیحات نویسنده با تکیه بر پیش فرض های ناقد به جای تکیه بر پیش فرض های نویسنده است.