Combining Texts

All the ideas for 'Frege versus Cantor and Dedekind', 'In Defense of Essentialism' and 'World and Essence'

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


28 ideas

1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Analytic philosophy focuses too much on forms of expression, instead of what is actually said [Tait]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The null set was doubted, because numbering seemed to require 'units' [Tait]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
We can have a series with identical members [Tait]
9. Objects / A. Existence of Objects / 4. Impossible objects
Plantinga proposes necessary existent essences as surrogates for the nonexistent things [Plantinga, by Stalnaker]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
The 'identity criteria' of a name are a group of essential and established facts [Plantinga]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
'Being Socrates' and 'being identical with Socrates' characterise Socrates, so they are among his properties [Plantinga]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
'Substance theorists' take modal properties as primitive, without structure, just falling under a sortal [Paul,LA]
If an object's sort determines its properties, we need to ask what determines its sort [Paul,LA]
Substance essentialism says an object is multiple, as falling under various different sortals [Paul,LA]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
Absolutely unrestricted qualitative composition would allow things with incompatible properties [Paul,LA]
9. Objects / D. Essence of Objects / 2. Types of Essence
Does Socrates have essential properties, plus a unique essence (or 'haecceity') which entails them? [Plantinga]
Deep essentialist objects have intrinsic properties that fix their nature; the shallow version makes it contextual [Paul,LA]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Deep essentialists say essences constrain how things could change; modal profiles fix natures [Paul,LA]
9. Objects / D. Essence of Objects / 9. Essence and Properties
Properties are 'trivially essential' if they are instantiated by every object in every possible world [Plantinga]
X is essentially P if it is P in every world, or in every X-world, or in the actual world (and not ¬P elsewhere) [Plantinga]
If a property is ever essential, can it only ever be an essential property? [Plantinga]
Essences are instantiated, and are what entails a thing's properties and lack of properties [Plantinga]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Essentialism must deal with charges of arbitrariness, and failure to reduce de re modality [Paul,LA]
An object's modal properties don't determine its possibilities [Paul,LA]
9. Objects / F. Identity among Objects / 5. Self-Identity
Does 'being identical with Socrates' name a property? I can think of no objections to it [Plantinga]
10. Modality / A. Necessity / 4. De re / De dicto modality
'De re' modality is as clear as 'de dicto' modality, because they are logically equivalent [Plantinga]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
We can imagine being beetles or alligators, so it is possible we might have such bodies [Plantinga]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA]
18. Thought / E. Abstraction / 2. Abstracta by Selection
Abstraction is 'logical' if the sense and truth of the abstraction depend on the concrete [Tait]
Cantor and Dedekind use abstraction to fix grammar and objects, not to carry out proofs [Tait]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Abstraction may concern the individuation of the set itself, not its elements [Tait]
18. Thought / E. Abstraction / 8. Abstractionism Critique
Why should abstraction from two equipollent sets lead to the same set of 'pure units'? [Tait]
If abstraction produces power sets, their identity should imply identity of the originals [Tait]