Combining Texts

All the ideas for 'fragments/reports', 'works' and 'Introduction to Russell's Theory of Types'

unexpand 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
18170 The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
     Full Idea: The Axiom of Reducibility is self-effacing: if it is true, the ramification it is meant to cope with was pointless to begin with.
     From: Willard Quine (Introduction to Russell's Theory of Types [1967], p.152), quoted by Penelope Maddy - Naturalism in Mathematics I.1
     A reaction: Maddy says the rejection of Reducibility collapsed the ramified theory of types into the simple theory.
9. Objects / F. Identity among Objects / 5. Self-Identity
3144 Everything is what it is, and not another thing [Butler]
     Full Idea: Everything is what it is, and not another thing.
     From: Joseph Butler (works [1732]), quoted by Georges Rey - Contemporary Philosophy of Mind 2.4
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
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?