Combining Texts

All the ideas for 'Roman Law', 'Elbow Room: varieties of free will' and 'Model Theory'

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


19 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
An overexamined life is as bad as an unexamined one [Dennett]
2. Reason / A. Nature of Reason / 9. Limits of Reason
Rationality requires the assumption that things are either for better or worse [Dennett]
2. Reason / D. Definition / 7. Contextual Definition
The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
Since first-order languages are complete, |= and |- have the same meaning [Hodges,W]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
|= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
|= should be read as 'is a model for' or 'satisfies' [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]
A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]
Models in model theory are structures, not sets of descriptions [Hodges,W]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / c. Possible but inconceivable
Why pronounce impossible what you cannot imagine? [Dennett]
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
Causal theories require the "right" sort of link (usually unspecified) [Dennett]
16. Persons / A. Concept of a Person / 4. Persons as Agents
I am the sum total of what I directly control [Dennett]
16. Persons / F. Free Will / 1. Nature of Free Will
You can be free even though force would have prevented you doing otherwise [Dennett, by PG]
Can we conceive of a being with a will freer than our own? [Dennett]
16. Persons / F. Free Will / 2. Sources of Free Will
Awareness of thought is a step beyond awareness of the world [Dennett]
Foreknowledge permits control [Dennett]
17. Mind and Body / B. Behaviourism / 3. Intentional Stance
The active self is a fiction created because we are ignorant of our motivations [Dennett]
25. Social Practice / D. Justice / 3. Punishment / a. Right to punish
No crime and no punishment without a law [Roman law]