Combining Texts

All the ideas for 'Defining 'Intrinsic' (with Rae Langton)', 'works' and 'Essence, Necessity and Explanation'

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


18 ideas

2. Reason / D. Definition / 1. Definitions
Interdefinition is useless by itself, but if we grasp one separately, we have them both [Lewis]
2. Reason / D. Definition / 4. Real Definition
A successful Aristotelian 'definition' is what sciences produces after an investigation [Koslicki]
2. Reason / D. Definition / 6. Definition by Essence
Essences cause necessary features, and definitions describe those necessary features [Koslicki]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna]
The logical connectives are 'defined' by their introduction rules [Gentzen]
Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave]
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
We must avoid circularity between what is intrinsic and what is natural [Lewis, by Cameron]
A property is 'intrinsic' iff it can never differ between duplicates [Lewis]
Ellipsoidal stars seem to have an intrinsic property which depends on other objects [Lewis]
9. Objects / D. Essence of Objects / 1. Essences of Objects
An essence and what merely follow from it are distinct [Koslicki]
9. Objects / D. Essence of Objects / 3. Individual Essences
Individuals are perceived, but demonstration and definition require universals [Koslicki]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
If an object exists, then its essential properties are necessary [Koslicki]
14. Science / A. Basis of Science / 2. Demonstration
In demonstration, the explanatory order must mirror the causal order of the phenomena [Koslicki]
In a demonstration the middle term explains, by being part of the definition [Koslicki]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
Greek uses the same word for 'cause' and 'explanation' [Koslicki]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
Discovering the Aristotelian essence of thunder will tell us why thunder occurs [Koslicki]