What languages have Tarski truth definitions?

Annals of Pure and Applied Logic 126 (1-3):93-113 (2004)
  Copy   BIBTEX


Tarski's model-theoretic truth definition of the 1950s differs from his 1930s truth definition by allowing the language to have a set of parameters that are interpreted by means of structures. The paper traces how the model-theoretic theorems that Tarski and others were proving in the period between these two truth definitions became increasingly difficult to fit into the framework of the earlier truth definition, making the later one more or less inevitable. The paper also maintains that neither recursiveness nor satisfaction are essential features of the truth definition . The recursive form was a ‘practical’ step towards the explicit definition that was Tarski's target. There are model-theoretic languages for which satisfaction is provably too crude a notion for expressing those properties of formulas that are needed for determining the truth of sentences



    Upload a copy of this work     Papers currently archived: 92,227

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

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.
Circularity or Lacunae in Tarski’s Truth-Schemata.Dale Jacquette - 2010 - Journal of Logic, Language and Information 19 (3):315-326.
Tarski on “essentially richer” metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
Tarski's truth definitions.Wilfrid Hodges - forthcoming - Stanford Encyclopedia of Philosophy.
Tarski on truth and its definition.Peter Milne - 1997 - In Timothy Childers, Petr Kolft & Vladimir Svoboda (eds.), Logica '96: Proceedings of the 10th International Symposium. Filosofia. pp. 198-210.
Tarski and Primitivism About Truth.Jamin Asay - 2013 - Philosophers' Imprint 13:1-18.


Added to PP

52 (#307,868)

6 months
19 (#137,612)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.
Truth via Satisfaction?Nicholas J. J. Smith - 2017 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2016. London: College Publications. pp. 273-287.
Alfred Tarski.Mario Gómez-Torrente - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Formal features of compositionality.Wilfrid Hodges - 2001 - Journal of Logic, Language and Information 10 (1):7-28.
Some combinatorics of imperfect information.Peter Cameron & Wilfrid Hodges - 2001 - Journal of Symbolic Logic 66 (2):673-684.
On Models of Axiomatic Systems.A. Mostowski - 1954 - Journal of Symbolic Logic 19 (3):220-221.

View all 11 references / Add more references