display all the ideas for this combination of texts
3 ideas
10819 | Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H] |
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. | |
From: Hartry Field (Tarski's Theory of Truth [1972], §1) |
10827 | Model theory is unusual in restricting the range of the quantifiers [Field,H] |
Full Idea: In model theory we are interested in allowing a slightly unusual semantics for quantifiers: we are willing to allow that the quantifier not range over everything. | |
From: Hartry Field (Tarski's Theory of Truth [1972], n 5) |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |