Combining Texts

All the ideas for 'fragments/reports', 'works' and 'Building Blocks of Mathematical Logic'

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


4 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara]
For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]