Next Article in Journal
A Discussion on the Existence of Best Proximity Points That Belong to the Zero Set
Next Article in Special Issue
A Note on Fernández–Coniglio’s Hierarchy of Paraconsistent Systems
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

Term Logic

Department of Philosophy, Trinity College Dublin, College Green, Dublin 2, Ireland
Axioms 2020, 9(1), 18;
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 in Traditional and Modern Logic)
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. View Full-Text
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.

AMA Style

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.

Article Access Map by Country/Region

Back to TopTop