display all the ideas for this combination of texts
4 ideas
| 15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
| 6264 | In Tarski's definition, you understand 'true' if you accept the notions of the object language [Putnam] |
| 6265 | Tarski has given a correct account of the formal logic of 'true', but there is more to the concept [Putnam] |
| 6269 | Only Tarski has found a way to define 'true' [Putnam] |