Single Idea 13634

[catalogued under 3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth]

Full Idea

In a sense, satisfaction is the notion of 'truth in a model', and (as Hodes 1984 elegantly puts it) 'truth in a model' is a model of 'truth'.

Gist of Idea

Satisfaction is 'truth in a model', which is a model of 'truth'

Source

Stewart Shapiro (Foundations without Foundationalism [1991], 1.1)

Book Reference

Shapiro,Stewart: 'Foundations without Foundationalism' [OUP 1991], p.6


A Reaction

So we can say that Tarski doesn't offer a definition of truth itself, but replaces it with a 'model' of truth.

Related Ideas

Idea 10017 Truth in a model is more tractable than the general notion of truth [Hodes]

Idea 10170 While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price]