A Critical Examination of a Criticism on the Truth Functional System of Basic Propositional Logic: Are The Ways of Proving the EQT and EFQ Principles Closed?

Document Type : Scientific-research

Authors

1 Associate Professor, Department of Philosophy, Faculty of Literature and Humanities, University of Isfahan, Iran (Responsible Author)

2 Ph.D. in Philosophical Logic, Department of Philosophy, Faculty of Literature and Humanities, University of Isfahan, Isfahan, Iran

Abstract

In Classical Logic, an argument is valid if and only if the conclusion can be deduced from the premises by using the rules of inference. According to this definition, arguments like   and   are considered as valid. However, our intuition cannot confirm the validity of these arguments. By adding two new conditions to the conditions of validity of arguments, HajHosseini has presented a new definition of the validity of argument in his book A New Sketch for the Principles and Foundations of Logic, and, based on this new definition, has closed the ways of proving the two above-mentioned arguments. This new definition requires some revisions in some rules of inference and some arguments in Classical Logic, and has led to establishing the theory of truth function. Asadollah Fallahi, in a paper entitled “HajHosseini’s truth-functional system”, published in Ayeneye Marefat, Spring 2023, has criticized this theory without stating his own view on two above-mentioned arguments. Among Fallahi’s criticisms, only one criticism directly aims at the main idea of the theory, which we will deal with at length. Two criticisms require correcting an inadvertent error or removing the ambiguity from the book. Other criticisms have arisen from leaving some requirements of criticism, incorrect understanding of the theory, ignoring other valid aspects, and neglecting some of HajHosseini’s expositions.

Keywords

References

Fallahi, A. An Introduction to Relevant Logic, Iranian Institute of Philosophy, Tehran, 2013, (In Persian).
Fallahi, “Hajhosseini's Truth-Functional Logic”, Scientific Journal of Ayeneh Ma'refat, No.74, Spring, 2023. (In Persian)
Hajihosseini, M. Two Non-Classical Logic Systems; A New Outlook on Elements of Logic, University of Isfahan, 2023. (In Persian)
Hjortland, “Antiexceptionalism about logic, philosophical studies”, vol 174, p,658- 631, 2017.
Movahhed, Z. An Introduction to First-order Predicate Logic, Islamic Revolution Publishing and Education Organization, the Ministry of Culture and Higher Education,1368. (In Persian)
Nabavi, L. The Elements of Modern Logic, SAMT Pub, 1377. (In Persian)

Files

Share

How to cite

Statistics