Philosophy

Philosophy

Hajhosseini's Non-Truth-Functional Semantics

Document Type : Research Paper

Author
Asadollah Falahi
Department of Logic, Iranian Institute of Philosophy, Tehran,, Iran.
10.22059/jop.2023.357961.1006777
Abstract
Mortaza Hajhosseini introduced two truth-functional and non-truth-functional systems in the second edition of his book Two Non-Classical Logic Systems, A New Outlook on Elements of Logic. In other articles, I have reviewed the natural deduction and the semantics of the truth-functional system. In this paper, I will address the semantics of the non-truth-functional system and the meta-theorems of soundness and completeness that he claimed to have proven. I demonstrate that: 1. This semantics is based on a new set theory that has not yet been formulated. 2. The definition of ‘model’ in this book defines ‘complete models,’ while all introduced models are ‘incomplete models’. 3. The truth conditions of non-truth-functional formulas are reminiscent of similar formula truth conditions in logic, as emphasized by C.I. Lewis, but are valid in Libnizian semantics. 4. This semantics is not consistent with the proof theory of the book. 5. Therefore, the validity and completeness consequences are actually incorrect and have counterexamples. 6. Negation operators in this non-truth-functional system have been considered truth-functional, while they should be non-truth-functional. 7. A finite number of relationships (exactly five) have been introduced in this semantics, while this number is infinite. 8. Therefore, non-truth-functional logic must be undecidable, while the non-truth-functional system has been declared decidable
Keywords
Classical logic
non-truth-functional system
conceptual relations
decidability
Subjects
Quine, W. O., (1970), Philosophy of logic, Englewood Cliffs, NJ: Prentice Hall.
Haj Hosseini, Morteza, (2016), A new outline of the principles and foundations of logic and two non-classical basic logical systems, Volume 1: Basic Propositional Logic, Isfahan, Isfahan University Press.[In Persian].
---------------------,(1401), a new design of the principles and foundations of logic with the introduction of two basic non-classical logical systems, first volume: basic logic of propositions, Isfahan, Isfahan University Press. .[In Persian].
Reid, Steven, (2015), Philosophy of Logical Context, translated by Asadullah Fallahi, Qom, Mofid University .[In Persian].
Falahi, Asadullah, (1402 A), "Haj Hosseini's Subordinate Value System", Ayna Marafat 23, no. 1, pp. 21-43. [In Persian].
-------------------, (1402b), "Haj Hosseini's non-subjective value system", Logical Studies 14, vol. 1, pp. 103-126. [In Persian].
---------------------(1402), "Haj Hosseini's value-based semantics", Islamic Philosophy and Theology 56, no. 1, pp. 115-129. [In Persian].
------------------- (1402 AD), "Logic and Knowledge Sharing in Haj Hosseini's Systems", Hasti and Cognition 16, no. 1,??. [In Persian].
-----------------, (1402 AH), "The Philosophical Foundations of Haj Hosseini's Systems", Contemporary Wisdom 14, no. 1, pp. 31-57. [In Persian].
-------------, (1402f), "Historical observations about Haj Hosseini's logical systems", Noght 88, vol. 1, 151-170. [In Persian].

  • Receive Date 17 April 2023
  • Revise Date 15 January 2024
  • Accept Date 11 June 2023