4 ideas
| 9565 | Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara] |
| Full Idea: The terms 'set' and 'is a member of' are primitives of Zermelo's 1908 axiomatization of set theory. They are not given model-theoretic analyses or definitions. | |
| From: report of Ernst Zermelo (works [1920]) by Charles Chihara - A Structural Account of Mathematics 7.5 | |
| A reaction: This looks like good practice if you want to work with sets, but not so hot if you are interested in metaphysics. |
| 3339 | For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn] |
| Full Idea: For Zermelo's set theory the empty set is zero and the successor of each number is its unit set. | |
| From: report of Ernst Zermelo (works [1920]) by Simon Blackburn - Oxford Dictionary of Philosophy p.280 |
| 17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
| Full Idea: A variable in a proposition of logic ....has the status of a mere auxiliary notion that is really inappropriate to the constant, 'eternal' essence of the propositions of logic. | |
| From: Moses Schönfinkel (Building Blocks of Mathematical Logic [1924], §1) | |
| A reaction: He presumably thinks that what the variables stand for (and he mentions 'argument places' and 'operators') will be included in the essence. My attention was caught by the thought that he takes logic to have an essence. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |