ادات نقیض

دو جمله «اگر خورشید طلوع کند، هوا روشن می شود» و «اگر باران ببارد، زمین خیس می شود» اگر در منطق کلاسیک صورت بندی شوند این نتیجه از آن ها به دست می آید که «اگر خورشید طلوع کند، زمین خیس می شود یا اگر باران ببارد، هوا روشن می شود». دریافت شهودی ما به وضوح اعتبار این استدلال را رد می کند. در کتاب طرحی نو از اصول و مبانی منطق، نویسنده بر پایه تقسیم ادات های پایه به دو نوع تابع ارزشی و تابع ارزشی، به شناسایی رفتار نحوی و معنایی ادات های پایه تابع ارزشی پرداخته و با معرفی قاعده های استنتاج و دلالت این ادات ها به تأسیس نظام تابع ارزشی منطق گزاره ها پرداخته و با اختصاص نظام تابع ارزشی منطق پایه گزاره ها به حوزه روابط علّی، معنایی و صوری و صورت بندی استدلال فوق در این نظام، نادرستی و عدم اعتبار استدلال فوق را نشان داده است. اسدالله فلاحی در مقاله «سمانتیک نظام تابع ارزشی حاج حسینی» که در شماره ۲ دوره ۲۱ نشریه فلسفه (۱۴۰۲) منتشر شده است، سمانتیک این نظام را با انتقادهای پراکنده مورد نقد قرار داده است. در این مقاله این نقدها را در پنج گروه «رفتار ادات نقیض»، «مدل و اجزای آن»، «سمانتیک نظام تابع ارزشی و منطق موجهات»، «مفهوم اعتبار»، «فراقضایای تمامیت و تصمیم پذیری» بررسی می کنیم و نشان می دهیم به جز یک مورد خطای سهوی که در نقد ایشان بزرگ نمایی شده است، سایر نقدها ناشی از رها نکردن پیش فرض، عدول از برخی الزامات نقد، خطا در فهم و تفسیر برخی فرمول ها، خطا در تفسیر و ارزیابی برخی استدلال ها، کاربرد شیوه های مغالطی، غفلت از برخی مطالب کتاب و توسل به دلایل نامربوط در نقد مطالب است.