Combining Texts

All the ideas for 'fragments/reports', 'Semantics for Natural Languages' and 'Completeness of Axioms of Logic'

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

---

4 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC

17751

Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]

19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions

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]

23. Ethics / A. Egoism / 1. Ethical Egoism

3031	The greatest good is not the achievement of desire, but to desire what is proper [Menedemus, by Diog. Laertius]