4 ideas
2572 | Logical truth seems much less likely to 'correspond to the facts' than factual truth does [Haack] |
2570 | The same sentence could be true in one language and meaningless in another, so truth is language-relative [Haack] |
10009 | Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |