Truth via Satisfaction?

In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2016. London: College Publications. pp. 273-287 (2017)
  Copy   BIBTEX


One 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.



    Upload a copy of this work     Papers currently archived: 74,509

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
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.
Tarski and Primitivism About Truth.Jamin Asay - 2013 - Philosophers' Imprint 13:1-18.
Tarski’s Truth Condition Revisited.Paul Weingartner - 1999 - Vienna Circle Institute Yearbook 6:193-201.


Added to PP

29 (#399,587)

6 months
2 (#277,663)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nicholas J. J. Smith
University of Sydney

Citations of this work

Alfred Tarski.Mario Gómez-Torrente - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

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.
Non-Standard Analysis.Abraham Robinson - 1961 - North-Holland Publishing Co..

View all 32 references / Add more references