Combining Texts

All the ideas for 'works', 'Summa quaestionum super Sententias' and 'On the Source of Necessity'

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


8 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara]
For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn]
8. Modes of Existence / A. Relations / 1. Nature of Relations
Relations do not add anything to reality, though they are real aspects of the world [Olivi]
9. Objects / C. Structure of Objects / 4. Quantity of an Object
Quantity just adds union and location to the extension of parts [Olivi]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron]
27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism
The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron]
27. Natural Reality / G. Biology / 5. Species
Things are limited by the species to certain modes of being [Olivi]