Combining Texts

All the ideas for 'Counterpart theory and Quant. Modal Logic', 'Elements of Intuitionism' and 'Intro to 'Provenance of Pure Reason''

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


10 ideas

5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / c. Potential infinite
Platonists ruin infinity, which is precisely a growing structure which is never completed [Dummett]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
For intuitionists it is constructed proofs (which take time) which make statements true [Dummett]
9. Objects / D. Essence of Objects / 1. Essences of Objects
Aristotelian essentialism says essences are not relative to specification [Lewis]
10. Modality / A. Necessity / 7. Natural Necessity
Causal necessities hold in all worlds compatible with the laws of nature [Lewis]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
It doesn't take the whole of a possible Humphrey to win the election [Lewis]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Counterpart theory is bizarre, as no one cares what happens to a mere counterpart [Kripke on Lewis]
Counterparts are not the original thing, but resemble it more than other things do [Lewis]
If the closest resembler to you is in fact quite unlike you, then you have no counterpart [Lewis]
Essential attributes are those shared with all the counterparts [Lewis]