What languages have Tarski truth definitions?

DOI10.1016/J.APAL.2003.10.010MaRDI QIDQ598271zbMATH OpenOpenAlexFDO

Authors Wilfrid Hodges

Publication date 6 August 2004

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2003.10.010

zbMATH Keywords

TarskiExplicit definitionmodel-theoretic truth definitionRecursive definition

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Basic properties of first-order languages and structures (03C07)

Recommendations

• What Were Tarski's Truth-Definitions for?
• Tarski, truth and natural languages
• What is Tarski's theory of truth?
• scientific article; zbMATH DE number 3020851
• An update of Tarski: two usages of the word ``true
• What is wrong with the Tarskian theory of truth?
• Tarski's definition and truth-makers
• scientific article; zbMATH DE number 4108174
• Alfred Tarski and the ``Concept of truth in formalized languages. A running commentary with consideration of the Polish original and the German translation

Cites work

• scientific article; zbMATH DE number 3148408 (Why is no real title available?)
• scientific article; zbMATH DE number 3627183 (Why is no real title available?)
• scientific article; zbMATH DE number 976409 (Why is no real title available?)
• scientific article; zbMATH DE number 3009955 (Why is no real title available?)
• scientific article; zbMATH DE number 3399180 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• scientific article; zbMATH DE number 2236677 (Why is no real title available?)
• scientific article; zbMATH DE number 3196255 (Why is no real title available?)
• scientific article; zbMATH DE number 3048212 (Why is no real title available?)
• scientific article; zbMATH DE number 3052380 (Why is no real title available?)
• scientific article; zbMATH DE number 3076636 (Why is no real title available?)
• scientific article; zbMATH DE number 3077150 (Why is no real title available?)
• scientific article; zbMATH DE number 3093421 (Why is no real title available?)
• Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
• Classification theory and the number of non-isomorphic models
• Compositional semantics for a language of imperfect information
• Elementary properties of Abelian groups
• Formal features of compositionality
• Grundzüge des Systemenkalküls II
• Models of axiomatic systems
• Models of logical systems
• Some combinatorics of imperfect information

Cited in

(3)

• Truth via satisfaction?
• Andrzej Mostowski and the notion of a model
• Some remarks on the bearing of model theory on the theory of theories

This page was built for publication: What languages have Tarski truth definitions?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q598271)