4 ideas
18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
15160 | Davidson rejected ordinary meaning, and just used truth and reference instead [Davidson, by Soames] |
14612 | Davidson aimed to show that language is structured by first-order logic [Davidson, by Smart] |
6316 | We translate in a way that makes the largest possible number of statements true [Wilson,NL] |