Combining Texts

All the ideas for 'Counterpart theory and Quant. Modal Logic', 'Letters to Samuel Masson' and 'The Limits of Abstraction'

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


19 ideas

2. Reason / D. Definition / 3. Types of Definition
Implicit definitions must be satisfiable, creative definitions introduce things, contextual definitions build on things [Fine,K, by Cook/Ebert]
'Creative definitions' do not presuppose the existence of the objects defined [Fine,K]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
I don't admit infinite numbers, and consider infinitesimals to be useful fictions [Leibniz]
7. Existence / A. Nature of Existence / 4. Abstract Existence
Abstracts cannot be identified with sets [Fine,K]
Points in Euclidean space are abstract objects, but not introduced by abstraction [Fine,K]
Postulationism says avoid abstract objects by giving procedures that produce truth [Fine,K]
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]
18. Thought / E. Abstraction / 1. Abstract Thought
Fine's 'procedural postulationism' uses creative definitions, but avoids abstract ontology [Fine,K, by Cook/Ebert]
18. Thought / E. Abstraction / 2. Abstracta by Selection
Many different kinds of mathematical objects can be regarded as forms of abstraction [Fine,K]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
We can abstract from concepts (e.g. to number) and from objects (e.g. to direction) [Fine,K]
Fine considers abstraction as reconceptualization, to produce new senses by analysing given senses [Fine,K, by Cook/Ebert]
Abstractionism can be regarded as an alternative to set theory [Fine,K]
An object is the abstract of a concept with respect to a relation on concepts [Fine,K]