display all the ideas for this combination of texts
4 ideas
13469 | Tarski showed how we could have a correspondence theory of truth, without using 'facts' [Hart,WD] |
13504 | Truth for sentences is satisfaction of formulae; for sentences, either all sequences satisfy it (true) or none do [Hart,WD] |
13503 | A first-order language has an infinity of T-sentences, which cannot add up to a definition of truth [Hart,WD] |
4749 | We cannot analyse the concept of 'truth', because it is simply a mark that a sentence is asserted [Ayer] |