Combining Texts

All the ideas for 'fragments/reports', 'Second Philosophy' and 'Introduction to 'Hippias Minor''

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


3 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Henkin semantics is more plausible for plural logic than for second-order logic [Maddy]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
A mathematical object exists if there is no contradiction in its definition [Waterfield]
9. Objects / C. Structure of Objects / 6. Constitution of an Object
If someone squashed a horse to make a dog, something new would now exist [Mnesarchus]