Combining Texts

All the ideas for 'fragments/reports', 'Is Hume's Principle analytic?' and 'The Foundations of Mathematics'

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


3 ideas

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
You would cripple mathematics if you denied Excluded Middle [Hilbert]
10. Modality / A. Necessity / 8. Transcendental Necessity
Everything happens by reason and necessity [Leucippus]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos]