In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2016. London: College Publications. pp. 273-287 (2017)
AbstractOne of Tarski’s stated aims was to give an explication of the classical conception of truth—truth as ‘saying it how it is’. Many subsequent commentators have felt that he achieved this aim. Tarski’s core idea of defining truth via satisfaction has now found its way into standard logic textbooks. This paper looks at such textbook definitions of truth in a model for standard first-order languages and argues that they fail from the point of view of explication of the classical notion of truth. The paper furthermore argues that a subtly different definition—also to be found in classic textbooks but much less prevalent than the kind of definition that proceeds via satisfaction—succeeds from this point of view.
Similar books and articles
What Languages Have Tarski Truth Definitions?Wilfrid Hodges - 2004 - Annals of Pure and Applied Logic 126 (1-3):93-113.
Die Idee Hinter Tarskis Definition Von Wahrheit.Dirk Greimann - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (1):121-158.
A Case for Satisfaction Classes: Model Theoretic Vs Axiomatic Approaches to the Notion of Truth.Andrea Strollo - 2013 - Logical Investigations 19:246-259.
Tarskian Truth and the Correspondence Theory.Luis Fern & Ndez Moreno - 2001 - Synthese 126 (1-2):123-147.
Tarskian Truth and the Correspondence Theory.Luis Fernández Moreno - 2001 - Synthese 126 (1):123-148.
Undefinability Vs. Definability of Satisfaction and Truth.Roman Murawski - 1999 - Vienna Circle Institute Yearbook 6:203-215.
Troubles with (the Concept of) Truth in Mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.
Tarski, Truth and Model Theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.
What Were Tarski's Truth-Definitions For?John F. Fox - 1989 - History and Philosophy of Logic 10 (2):165-179.
Tarski, the Liar and Tarskian Truth Definitions.Greg Ray - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Blackwell. pp. 164-176.
Nihilism and Tarski's truth definition: an interests incompatibility.Maurilio Lovatti - 1998 - Per la Filosofia (43):46-56.
Added to PP
Historical graph of downloads
References found in this work
The Complete Works of Aristotle the Revised Oxford Translation.Jonathan Barnes (ed.) - 1984 - Princeton University Press, 1984.
Mathematical Logic.Joseph R. Shoenfield - 1967 - Reading, MA, USA: Reading, Mass., Addison-Wesley Pub. Co..
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.