Combining Texts

All the ideas for 'Law and Causality', 'The Problem of the Soul' and 'On Formally Undecidable Propositions'

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


46 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Philosophy needs wisdom about who we are, as well as how we ought to be [Flanagan]
1. Philosophy / G. Scientific Philosophy / 1. Aims of Science
We resist science partly because it can't provide ethical wisdom [Flanagan]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Prior to Gödel we thought truth in mathematics consisted in provability [Gödel, by Quine]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Gödel show that the incompleteness of set theory was a necessity [Gödel, by Hallett,M]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
The limitations of axiomatisation were revealed by the incompleteness theorems [Gödel, by Koellner]
5. Theory of Logic / K. Features of Logics / 2. Consistency
Second Incompleteness: nice theories can't prove their own consistency [Gödel, by Smith,P]
5. Theory of Logic / K. Features of Logics / 3. Soundness
If soundness can't be proved internally, 'reflection principles' can be added to assert soundness [Gödel, by Halbach/Leigh]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
Gödel's First Theorem sabotages logicism, and the Second sabotages Hilbert's Programme [Smith,P on Gödel]
The undecidable sentence can be decided at a 'higher' level in the system [Gödel]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
There can be no single consistent theory from which all mathematical truths can be derived [Gödel, by George/Velleman]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Gödel showed that arithmetic is either incomplete or inconsistent [Gödel, by Rey]
First Incompleteness: arithmetic must always be incomplete [Gödel, by Smith,P]
Arithmetical truth cannot be fully and formally derived from axioms and inference rules [Gödel, by Nagel/Newman]
Gödel's Second says that semantic consequence outruns provability [Gödel, by Hanna]
First Incompleteness: a decent consistent system is syntactically incomplete [Gödel, by George/Velleman]
Second Incompleteness: a decent consistent system can't prove its own consistency [Gödel, by George/Velleman]
There is a sentence which a theory can show is true iff it is unprovable [Gödel, by Smith,P]
'This system can't prove this statement' makes it unprovable either way [Gödel, by Clegg]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
Ramsey's Test: believe the consequent if you believe the antecedent [Ramsey, by Read]
10. Modality / B. Possibility / 8. Conditionals / e. Supposition conditionals
Asking 'If p, will q?' when p is uncertain, then first add p hypothetically to your knowledge [Ramsey]
14. Science / A. Basis of Science / 4. Prediction
Explanation does not entail prediction [Flanagan]
14. Science / B. Scientific Theories / 8. Ramsey Sentences
Mental terms can be replaced in a sentence by a variable and an existential quantifier [Ramsey]
15. Nature of Minds / A. Nature of Mind / 3. Mental Causation
In the 17th century a collisionlike view of causation made mental causation implausible [Flanagan]
15. Nature of Minds / B. Features of Minds / 3. Privacy
Only you can have your subjective experiences because only you are hooked up to your nervous system [Flanagan]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / b. Self as mental continuity
We only have a sense of our self as continuous, not as exactly the same [Flanagan]
16. Persons / E. Rejecting the Self / 3. Narrative Self
The self is an abstraction which magnifies important aspects of autobiography [Flanagan]
We are not born with a self; we develop a self through living [Flanagan]
16. Persons / E. Rejecting the Self / 4. Denial of the Self
For Buddhists a fixed self is a morally dangerous illusion [Flanagan]
16. Persons / F. Free Will / 1. Nature of Free Will
Normal free will claims control of what I do, but a stronger view claims control of thought and feeling [Flanagan]
Free will is held to give us a whole list of desirable capacities for living [Flanagan]
16. Persons / F. Free Will / 5. Against Free Will
People believe they have free will that circumvents natural law, but only an incorporeal mind could do this [Flanagan]
We only think of ourselves as having free will because we first thought of God that way [Flanagan]
17. Mind and Body / A. Mind-Body Dualism / 8. Dualism of Mind Critique
People largely came to believe in dualism because it made human agents free [Flanagan]
17. Mind and Body / B. Behaviourism / 4. Behaviourism Critique
Behaviourism notoriously has nothing to say about mental causation [Flanagan]
17. Mind and Body / C. Functionalism / 2. Machine Functionalism
Basic logic can be done by syntax, with no semantics [Gödel, by Rey]
17. Mind and Body / D. Property Dualism / 2. Anomalous Monism
Cars and bodies obey principles of causation, without us knowing any 'strict laws' about them [Flanagan]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
Physicalism doesn't deny that the essence of an experience is more than its neural realiser [Flanagan]
18. Thought / A. Modes of Thought / 3. Emotions / f. Emotion and reason
Emotions are usually very apt, rather than being non-rational and fickle [Flanagan]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
Intellectualism admires the 'principled actor', non-intellectualism admires the 'good character' [Flanagan]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / e. Ethical cognitivism
Cognitivists think morals are discovered by reason [Flanagan]
22. Metaethics / B. Value / 2. Values / a. Normativity
Ethics is the science of the conditions that lead to human flourishing [Flanagan]
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
All knowledge needs systematizing, and the axioms would be the laws of nature [Ramsey]
Causal laws result from the simplest axioms of a complete deductive system [Ramsey]
29. Religion / A. Polytheistic Religion / 3. Hinduism
The Hindu doctrine of reincarnation only appeared in the eighth century CE [Flanagan]
29. Religion / D. Religious Issues / 2. Immortality / b. Soul
The idea of the soul gets some support from the scientific belief in essential 'natural kinds' [Flanagan]