Combining Texts

All the ideas for 'Philosophical Studies 1611-19', 'Intuitionism: an Introduction' and 'On the Reduction of Necessity to Essence'

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

---

5 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives

16974

The nature of each logical concept is given by a collection of inference rules [Correia]

6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique

8754	Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro]

9. Objects / C. Structure of Objects / 2. Hylomorphism / c. Form as causal

16625

In hylomorphism all the explanation of actions is in the form, and the matter doesn't do anything [Bacon]

10. Modality / A. Necessity / 6. Logical Necessity

16973

Explain logical necessity by logical consequence, or the other way around? [Correia]

26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / a. Greek matter

16624

Stripped and passive matter is just a human invention [Bacon]