Combining Texts

All the ideas for 'poems', 'Principles of Theoretical Logic' and 'Clitophon'

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

3 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]
     Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann.
     From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
6017 Nomos is king [Pindar]
     Full Idea: Nomos is king.
     From: Pindar (poems [c.478 BCE], S 169), quoted by Thomas Nagel - The Philosophical Culture
     A reaction: This seems to be the earliest recorded shot in the nomos-physis wars (the debate among sophists about moral relativism). It sounds as if it carries the full relativist burden - that all that matters is what has been locally decreed.
22. Metaethics / B. Value / 2. Values / f. Altruism
1590 The just man does not harm his enemies, but benefits everyone [Plato]
     Full Idea: First, Socrates, you told me justice is harming your enemies and helping your friends. But later it seemed that the just man, since everything he does is for someone's benefit, never harms anyone.
     From: Plato (Clitophon [c.372 BCE], 410b)
     A reaction: Socrates certainly didn't subscribe to the first view, which is the traditional consensus in Greek culture. In general Socrates agreed with the views later promoted by Jesus.