A Critical Analysis of a Critique on Truth-Functional System Semantics Is the Conclusion of an Argument Independent of the Premises?

Document Type : Research Paper

Authors

1 Associate Professor, Department of Philosophy, Faculty of Literature and Humanities, University of Isfahan, Isfahan, Iran.

2 PhD, Department of Philosophy, Faculty of Literature and Humanities, University of Isfahan, Isfahan, Iran.

Abstract

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.

Keywords

Main Subjects


حاج‌حسینی، مرتضی (۱۴۰۱)، طرحی نو از اصول و مبانی منطق با معرفی دو نظام منطقی پایۀ غیرکلاسیک، جلد اول: منطق پایۀ گزاره‌ها، اصفهان، دانشگاه اصفهان،
حاج‌حسینی، مرتضی و بهمن‌پور، حمیده (۱۴۰۲ الف)، بررسی انتقادی یک نقد بر نظام تابع‌ارزشی، نشریۀ علمی آینۀ معرفت، ۲۳ (۳)، (در دست انتشار)
حاج‌حسینی، مرتضی و بهمن‌پور، حمیده (۱۴۰۲ب)، بررسی انتقادی مقالۀ ملاحظات تاریخی نظام‌های حاج‌حسینی، نشریۀ علمی شناخت،۱۶ (۲)، (در دست انتشار)
فلاحی، اسدالله، نظام تابع‌ارزشی حاج‌حسینی (۱۴۰۲الف)، نشریۀ علمی آینۀ معرفت، ۲۳ (۱)، ۲۱-۴۶
ــــــــــ (۱۴۰۲ب)، ملاحظات تاریخی در بارۀ نظام‌های معرفی شده توسط حاج‌حسینی، نشریۀ علمی شناخت، ۱۶ (۱)، ۱۵۱-۱۷۰
ــــــــــ (۱۴۰۲ج)، سمانتیک تابع‌ارزشی حاج‌حسینی، نشریۀ علمی فلسفه و کلام اسلامی، ۵۶ (۱)، ۱۱۵-۱۲۹