Combining Texts

All the ideas for 'Semantics for Natural Languages', 'New Foundations for Mathematical Logic' and 'Reductive Theories of Modality'

expand these ideas     |    start again     |     specify just one area for these texts


4 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Maybe what distinguishes philosophy from science is its pursuit of necessary truths [Sider]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
Davidson rejected ordinary meaning, and just used truth and reference instead [Davidson, by Soames]
Davidson aimed to show that language is structured by first-order logic [Davidson, by Smart]