Combining Texts

All the ideas for 'On What Grounds What', 'Intensions Revisited' and 'Definitions'

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


30 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Modern Quinean metaphysics is about what exists, but Aristotelian metaphysics asks about grounding [Schaffer,J]
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
If you tore the metaphysics out of philosophy, the whole enterprise would collapse [Schaffer,J]
2. Reason / B. Laws of Thought / 6. Ockham's Razor
We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J]
2. Reason / D. Definition / 1. Definitions
Definitions usually have a term, a 'definiendum' containing the term, and a defining 'definiens' [Gupta]
Notable definitions have been of piety (Plato), God (Anselm), number (Frege), and truth (Tarski) [Gupta]
2. Reason / D. Definition / 2. Aims of Definition
A definition needs to apply to the same object across possible worlds [Gupta]
The 'revision theory' says that definitions are rules for improving output [Gupta]
2. Reason / D. Definition / 3. Types of Definition
Traditional definitions are general identities, which are sentential and reductive [Gupta]
Traditional definitions need: same category, mention of the term, and conservativeness and eliminability [Gupta]
A definition can be 'extensionally', 'intensionally' or 'sense' adequate [Gupta]
2. Reason / D. Definition / 4. Real Definition
Chemists aim at real definition of things; lexicographers aim at nominal definition of usage [Gupta]
2. Reason / D. Definition / 6. Definition by Essence
If definitions aim at different ideals, then defining essence is not a unitary activity [Gupta]
2. Reason / D. Definition / 10. Stipulative Definition
Stipulative definition assigns meaning to a term, ignoring prior meanings [Gupta]
2. Reason / D. Definition / 11. Ostensive Definition
Ostensive definitions look simple, but are complex and barely explicable [Gupta]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Quantified modal logic collapses if essence is withdrawn [Quine]
4. Formal Logic / F. Set Theory ST / 6. Ordering in Sets
The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J]
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
Grounding is unanalysable and primitive, and is the basic structuring concept in metaphysics [Schaffer,J]
7. Existence / C. Structure of Existence / 5. Supervenience / a. Nature of supervenience
Supervenience is just modal correlation [Schaffer,J]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
The cosmos is the only fundamental entity, from which all else exists by abstraction [Schaffer,J]
7. Existence / E. Categories / 4. Category Realism
Maybe categories are just the different ways that things depend on basic substances [Schaffer,J]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
There exist heaps with no integral unity, so we should accept arbitrary composites in the same way [Schaffer,J]
The notion of 'grounding' can explain integrated wholes in a way that mere aggregates can't [Schaffer,J]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Essences can make sense in a particular context or enquiry, as the most basic predicates [Quine]
10. Modality / A. Necessity / 11. Denial of Necessity
Necessity is relative to context; it is what is assumed in an inquiry [Quine]
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
Belief in impossible worlds may require dialetheism [Schaffer,J]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Possible worlds are a way to dramatise essentialism, and yet they presuppose essentialism [Quine]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
A rigid designator (for all possible worlds) picks out an object by its essential traits [Quine]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
Beliefs can be ascribed to machines [Quine]
11. Knowledge Aims / B. Certain Knowledge / 2. Common Sense Certainty
'Moorean certainties' are more credible than any sceptical argument [Schaffer,J]