بررسی انتقادی یک نقد درباره سمانتیک نظام تابع ارزشی: آیا نتیجه استدلال می تواند مستقل از مقدمه ها باشد؟ (مقاله علمی وزارت علوم)
درجه علمی: نشریه علمی (وزارت علوم)
آرشیو
چکیده
در منطق کلاسیک، استدلال معتبر است اگر و تنها اگر استدلال فاقد سطر نمونه خلاف باشد، فرقی نمی کند نتیجه مستقل از مقدمه ها باشد یا نباشد. بر اساس این تعریف، استدلال های و معتبر ارزیابی می شوند. شهود طبیعی اما اعتبار این دو استدلال را تایید نمی کند. نویسنده در کتاب طرحی نو از اصول و مبانی منطق (۱۴۰۱) با افزودن دو شرط جدید، تعریفی نو از اعتبار استدلال ارائه کرده است که راه های اثبات اعتبار این دو استدلال را مسدود می کند. این تعریف مستلزم تجدید نظر در ارزیابی برخی استدلال ها، تعریف قاعده جانشینی، تعریف صدق منطقی همتای استنتاج، شیوه تعیین اعتبار و عدم اعتبار استدلال، فرآیند اثبات بهنجاری و تمامیت منطق کلاسیک است که به تأسیس نظریه نظام تابع ارزشی منطق پایه گزاره ها انجامیده است. اسدالله فلاحی در مقاله «سمانتیک تابع ارزشی حاج حسینی» که در مجله فلسفه و کلام اسلامی، ۱۴۰۲، دوره ۵۶، شماره اول منتشر شده است، بی آنکه موضع خود را در قبال استدلال های فوق مشخص نماید، با طرح انتقادات پراکنده، این نظریه را نقد نموده است. در این مقاله این نقدها را در چهار گروه «ابهام در برخی مفاهیم سمانتیک نظام تابع ارزشی»، «اعتبار، صدق نگهداری و مدل»، «پیامدهای تعریف اعتبار و عدم اعتبار استدلال»و «فراقضایای بهنجاری و تمامیت» بررسی می کنیم و نشان می دهیم به جز یک نقد که مستلزم اصلاح یک خطای سهوی است و هیچ آسیبی به اصل نظریه نمی زند، سایر نقدها ناشی از کاربرد شگردهای مغالطی، اتهام های خودساخته، عدول از برخی الزامات نقد، صورت بندی نادرست از تعریف استدلال معتبر و عدم توجه به برخی پیامدهای شروط جدید تعریف اعتبار استدلال است.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.
تبلیغات
