بررسی انتقادی یک نقد دربارۀ سمانتیک نظام تابع‌ارزشی آیا نتیجۀ استدلال می‌تواند مستقل از مقدمه‌ها باشد؟

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

a critical analysis of a critique on truth functional system semantics is the conclusion of an argument independent of the premises?

in classical logic, an argument is deemed valid if and only if it lacks a counterexample. however, arguments like  and  are considered valid based on this definition, despite natural intuition challenging their validity. a new outlook on the elements of logic introduces a novel definition for argument validity, rendering the aforementioned arguments unprovable. this new definition necessitates revisions in argument evaluation, the substitution rule, the definition of logical truth, methods for determining argument validity and invalidity, as well as the definition and procedure of soundness and completeness proofs in classical logic. the establishment of the truth functional system of propositional logic stems from this revised definition.asadollah fallahi critiques this system in hajhosseini’s truth functional semantics, published in philosophy and kalam, 2023, vol. 56, issue 1. while proposing scattered criticisms, this article reveals that, aside from one critique requiring rectification due to an inadvertent mistake, the other criticisms stem from fallacies, unfounded accusations, non compliance with certain critique conditions, incorrect formulation of the definition of a valid argument, and oversight of consequences arising from new conditions for argument validity and its definition.