Aristotle's Correspondence Theory of Truth and What Does Not Exist
Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 1
Abstract
While nowhere does he use the term to refer to his own theory, Aristotle is often thought to exemplify an early correspondence theory of truth. In the paper, I examine the textual evidence used to support the idea that Aristotle holds a correspondence theory of truth, and to infer the nuances of this theory. I hold that Aristotle’s theory of truth can account for terms that signify non-existent things, i.e., that on Aristotle’s account, an assertion is not automatically false given its subject term’s “failure to refer”. Terms do not refer for Aristotle, they signify (and his use of the concept of signification extends far beyond linguistic reference).
Authors and Affiliations
Charlene Elsby
Mereology and truth-making
Many mereological propositions are true contingently, so we are entitled to ask why they are true. One frequently given type of answer to such questions evokes truth-makers, that is, entities in virtue of whose existence...
Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Springer, 2016
Book Reviews: Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016, vii + 197 pages, ISBN: 978-3-319-20761-2 (Print), 978-3-319-20762-9 (Online)....
Trivial Dialetheism and the Logic of Paradox
In this paper we explain that the paraconsistent logic LP (Logic of Paradox) promoted by Graham Priest can only be supported by trivial dialetheists, i.e., those who believe that all sentences are dialetheias.
Composition as identity and plural Cantor's theorem
In this paper, I argue that the thesis of Composition as Identity blocks the plural version of Cantor’s Theorem, and that this in turn has implications for our use of Cantor’s theorem in metaphysics. As an example, I sho...
Sequents for non-wellfounded mereology
The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.