Combining Texts

All the ideas for 'A Puzzle Concerning Matter and Form', 'Explanation in Mathematics' and 'New Foundations for Mathematical Logic'

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 / a. Axioms for sets
NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
The possible Aristotelian view that forms are real and active principles is clearly wrong [Fine,K, by Pasnau]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu]