Combining Texts

All the ideas for 'What is Logic?st1=Ian Hacking', 'Substance' and 'Intrinsic and Extrinsic Properties'

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


30 ideas

2. Reason / D. Definition / 3. Types of Definition
A decent modern definition should always imply a semantics [Hacking]
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Give up objects necessitating truths, and say their natures cause the truths? [Cameron]
3. Truth / B. Truthmakers / 5. What Makes Truths / c. States of affairs make truths
Truthmaker requires a commitment to tropes or states of affairs, for contingent truths [Cameron]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking]
Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking]
Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
The various logics are abstractions made from terms like 'if...then' in English [Hacking]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking]
A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Second-order completeness seems to need intensional entities and possible worlds [Hacking]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking]
8. Modes of Existence / A. Relations / 4. Formal Relations / c. Ancestral relation
An ancestral relation is either direct or transitively indirect [Wiggins]
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
Essentialists say intrinsic properties arise from what the thing is, irrespective of surroundings [Cameron]
An object's intrinsic properties are had in virtue of how it is, independently [Cameron]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
Substances contain a source of change or principle of activity [Wiggins]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
We never single out just 'this', but always 'this something-or-other' [Wiggins]
Sortal predications are answers to the question 'what is x?' [Wiggins]
A river may change constantly, but not in respect of being a river [Wiggins]
Sortal classification becomes science, with cross reference clarifying individuals [Wiggins]
If the kinds are divided realistically, they fall into substances [Wiggins]
'Human being' is a better answer to 'what is it?' than 'poet', as the latter comes in degrees [Wiggins]
Secondary substances correctly divide primary substances by activity-principles and relations [Wiggins]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
We refer to persisting substances, in perception and in thought, and they aid understanding [Wiggins]
9. Objects / C. Structure of Objects / 3. Matter of an Object
Matter underlies things, composes things, and brings them to be [Wiggins]
9. Objects / E. Objects over Time / 1. Objects over Time
Most criteria for identity over time seem to leave two later objects identical to the earlier one [Cameron]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
The category of substance is more important for epistemology than for ontology [Wiggins]
Naming the secondary substance provides a mass of general information [Wiggins]
15. Nature of Minds / C. Capacities of Minds / 4. Objectification
Seeing a group of soldiers as an army is irresistible, in ontology and explanation [Wiggins]