Combining Texts

All the ideas for 'fragments/reports', 'The Nature of Necessity' and 'New Foundations for Mathematical Logic'

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


7 ideas

2. Reason / C. Styles of Reason / 1. Dialectic
Like spiderswebs, dialectical arguments are clever but useless [Ariston, by Diog. Laertius]
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]
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Plantinga says there is just this world, with possibilities expressed in propositions [Plantinga, by Armstrong]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Possibilities for an individual can only refer to that individual, in some possible world [Plantinga, by Mackie,P]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / f. The Mean
The chief good is indifference to what lies midway between virtue and vice [Ariston, by Diog. Laertius]
23. Ethics / D. Deontological Ethics / 1. Deontology
Ariston says rules are useless for the virtuous and the non-virtuous [Ariston, by Annas]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B]