Combining Philosophers

All the ideas for Eubulides, David Miller and Hilbert,D/Ackermann,W

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

---

6 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

17750

The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]

5. Theory of Logic / L. Paradox / 1. Paradox

6007	If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R]

5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox

6006	If you say truly that you are lying, you are lying [Eubulides, by Dancy,R]

5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')

6008	Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R]

24. Political Theory / B. Nature of a State / 4. Citizenship

22817

Citizenship involves a group of mutually supporting rights, which create community and equality [Miller,D]

24. Political Theory / D. Ideologies / 14. Nationalism

22816

Socialists reject nationality as a false source of identity [Miller,D]