Next Article in Journal
A Discussion on the Existence of Best Proximity Points That Belong to the Zero Set
Previous Article in Journal
Optimal Saving by Expected Utility Operators
Previous Article in Special Issue
The Zahl-Anzahl Distinction in Gottlob Frege: Arithmetic of Natural Numbers with Anzahl as a Primitive Term
Open AccessFeature PaperArticle

Term Logic

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.
Keywords: term logic; Franz Brentano; Lewis Carroll; logic trees; logic diagrams term logic; Franz Brentano; Lewis Carroll; logic trees; logic diagrams
MDPI and ACS Style

Simons, P. Term Logic. Axioms 2020, 9, 18.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop