Combining Texts

All the ideas for 'Truth (frags)', 'An Axiomatization of Set Theory' and 'Euthyphro'

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


5 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]
     Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong.
     From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
All the axioms for mathematics presuppose set theory [Neumann]
     Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory.
     From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2
     A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this.
13. Knowledge Criteria / E. Relativism / 6. Relativism Critique
Do the gods also hold different opinions about what is right and honourable? [Plato]
     Full Idea: Do the gods too hold different opinions about what is right, and similarly about what is honourable and dishonourable, good and bad?
     From: Plato (Euthyphro [c.398 BCE], 07e)
28. God / A. Divine Nature / 6. Divine Morality / b. Euthyphro question
Is what is pious loved by the gods because it is pious, or is it pious because they love it? (the 'Euthyphro Question') [Plato]
     Full Idea: Is what is pious loved by the gods because it is pious, or is it pious because they love it?
     From: Plato (Euthyphro [c.398 BCE], 10a)
     A reaction: The famous Euthyphro Question, the key question about the supposed religious basis of morality. The answer of Socrates is Idea 337.
It seems that the gods love things because they are pious, rather than making them pious by loving them [Plato]
     Full Idea: So things are loved by the gods because they are pious, and not pious because they are loved? It seems so.
     From: Plato (Euthyphro [c.398 BCE], 10e)
     A reaction: Socrates' answer to the Euthyphro Question (see Idea 336). The form of piety precedes the gods.