Department of Philosophy, Trinity College Dublin, College Green, 2 Dublin, Ireland
Axioms 2020, 9(1), 18; https://doi.org/10.3390/axioms9010018
Received: 19 December 2019 / Revised: 5 February 2020 / Accepted: 6 February 2020 / Published: 10 February 2020
(This article belongs to the Special Issue Deductive Systems)
The predominant form of logic before Frege, the logic of terms has been largely neglected since. Terms may be singular, empty or plural in their denotation. This article, presupposing propositional logic, provides an axiomatization based on an identity predicate, a predicate of non-existence, a constant empty term, and term conjunction and negation. The idea of basing term logic on existence or non-existence, outlined by Brentano, is here carried through in modern guise. It is shown how categorical syllogistic reduces to just two forms of inference. Tree and diagram methods of testing validity are described. An obvious translation into monadic predicate logic shows the system is decidable, and additional expressive power brought by adding quantifiers enables numerical predicates to be defined. The system’s advantages for pedagogy are indicated.
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited
MDPI and ACS Style
Simons, P. Term Logic. Axioms 2020, 9, 18.
AMA StyleShow more citation formats Show less citations formats
Simons P. Term Logic. Axioms. 2020; 9(1):18.Chicago/Turabian Style
Simons, Peter. 2020. "Term Logic." Axioms 9, no. 1: 18.
Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.