Combining Texts

All the ideas for 'fragments/reports', 'Set Theory and its Logic' and 'The Foundations of Mathematics (2nd ed)'

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


3 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B]
8. Modes of Existence / A. Relations / 4. Formal Relations / b. Equivalence relation
An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]