Single Idea 19175

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

Full Idea

Tarski turned his axiomatic characterisation of satisfaction into an explicit definition of the satisfaction-predicate using some fancy set theoretical apparatus, and this in turn leads to the explicit definition of the truth predicate.

Gist of Idea

Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth

Source

report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 7

Book Reference

Davidson,Donald: 'Truth and Predication' [Belknap Harvard 2005], p.160


Related Idea

Idea 19174 Axioms spell out sentence satisfaction. With no free variables, all sequences satisfy the truths [Davidson]