What languages have Tarski truth definitions?

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

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Truth via Satisfaction?Nicholas J. J. Smith - 2017 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2016. London: College Publications. pp. 273-287.
Tarski's definition and truth-makers.Ilkka Niiniluoto - 2004 - Annals of Pure and Applied Logic 126 (1-3):57-76.
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.
Tarski’s one and only concept of truth.Jeroen Smid - 2014 - Synthese 191 (14):3393-3406.
Tarski, truth and model theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.
What Is a Tarskian Definition of Truth?Manuel García-Carpintero - 1996 - Philosophical Studies 82 (2):113 - 144.
Tarski, Model Theory, and Logical Truth.John William Etchemendy - 1982 - Dissertation, Stanford University

Analytics

Added to PP
2014-01-16

Downloads
53 (#309,121)

6 months
20 (#138,575)

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