Single Idea 10672

[catalogued under 3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition]

Full Idea

Tarskian semantics says that a sentence is true iff it is satisfied by every sequence, where a sequence is a set-theoretic individual, a set of ordered pairs each with a natural number as its first element and an object from the domain for its second.

Gist of Idea

Tarskian semantics says that a sentence is true iff it is satisfied by every sequence

Source

report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Keith Hossack - Plurals and Complexes 3

Book Reference

-: 'British Soc for the Philosophy of Science' [-], p.417