more from this thinker | more from this text
Full Idea
Model theory must choose the denotations of the primitives so that all of a group of sentences come out true, so we need a theory of how the truth value of a sentence depends on the denotation of its primitive nonlogical parts, which Tarski gives us.
Gist of Idea
Tarski gives us the account of truth needed to build a group of true sentences in a model
Source
Hartry Field (Tarski's Theory of Truth [1972], §1)
Book Ref
'The Nature of Truth', ed/tr. Lynch, Michael P. [MIT 2001], p.369
5542 | There must be a general content-free account of truth in the rules of logic [Kant] |
10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
10613 | No nice theory can define truth for its own language [Smith,P] |
10819 | Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H] |
9375 | Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian] |
10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |