4 ideas
10835 | True sentences says the appropriate descriptive thing on the appropriate demonstrative occasion [Austin,JL] |
10836 | Correspondence theorists shouldn't think that a country has just one accurate map [Austin,JL] |
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
17622 | We come to believe mathematical propositions via their grounding in the structure [Burge] |