TY - JOUR
ID - 103576
TI - Hajhosseini''''s Truth-Functional Logic
JO - The Mirror of Knowledge
JA - JIPT
LA - en
SN - 2251-8010
AU - Fallahi, Asadollah
AD - Professor of the Department of Logic, Iranian Institute of Philosophy, Tehran, Iran
Y1 - 2023
PY - 2023
VL - 23
IS - 1
SP - 21
EP - 46
KW - Classical logic
KW - truth-functional system
KW - cyclic
KW - transitivity
KW - inference
DO - 10.48308/jipt.2023.103576
N2 - Mortaza Hajhosseini has recently published the second edition of his book Two Non-Classical Logic Systems, A new Outlook on Elements of Logic. Similar to the first edition, he has introduced four non-classical logics (truth-functional, non-truth-functional and a combination of the two). In this article, I will only deal with his truth-functional system and the formal-mathematical criticisms levelled against it. I will leave the discussions related to the non-truth-functional system, as well as the philosophical and non-formal criticisms of both systems, and the related historical materials to a future article. The major formal criticisms are as follows: 1. the cyclic nature of some definitions; 2. Losing the rule of substitution; 3. The incorrect expression of the rules of reduction ad absurdum; 4. The lack of relationship between premises and conclusions of inferences; 5. Equivalence of formulas to several inequivalent ones; 6. Lack of correspondence between a condition with an inference. There are some less important criticisms: 7. Failure to express the rule of assumption; 8. Failure to state the reason for the lack of harmony in the rule of disjunction elimination in classical logic and the harmony of the disjunctive syllogism in the truth-functional system; 9. Expressing the rules of sub-proofs without using them.
UR - https://jipt.sbu.ac.ir/article_103576.html
L1 - https://jipt.sbu.ac.ir/article_103576_939c43eba95e84f64037b79fefcebb63.pdf
ER -