Combining Texts

All the ideas for 'Locke on Essences and Kinds', 'Difference and Repetition' and 'Gentzen's Analysis of First-Order Proofs'

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


12 ideas

1. Philosophy / H. Continental Philosophy / 1. Continental Philosophy
'Difference' refers to that which eludes capture [Deleuze, by May]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
'Being' is univocal, but its subject matter is actually 'difference' [Deleuze]
Ontology can be continual creation, not to know being, but to probe the unknowable [Deleuze]
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
Ontology does not tell what there is; it is just a strange adventure [Deleuze, by May]
Being is a problem to be engaged, not solved, and needs a new mode of thinking [Deleuze, by May]
9. Objects / D. Essence of Objects / 13. Nominal Essence
If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle]
Nominal essence are the observable properties of things [Eagle]
Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle]
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle]