Tarski, Truth and Model Theory

Author: Milne P.

Source: Proceedings of the Aristotelian Society, Volume 99, Number 2, 1999 , pp. 141-167(27)

Buy & download fulltext article:

The full text article is temporarily unavailable.

We apologise for the inconvenience. Please try again later.

Abstract:

As Wilfred Hodges has observed, there is no mention of the notion truth-in-a-model in Tarski’s article ‘The Concept of Truth in Formalized Languages’; nor does truth make many appearances in his papers on model theory from the early 1950s. In later papers from the same decade, however, this reticence is cast aside. Why should Tarski, who defined truth for formalized languages and pretty much founded model theory, have been so reluctant to speak of truth in a model? What might explain the change in his practice? The answers, I believe, lie in Tarski’s views on truth simpliciter.

Language: English

Document Type: Research article

Affiliations: 1: Department of Philosophy, The University of Edinburgh, UK

Publication date: 1999-01-01