Combining Texts

All the ideas for 'On What Grounds What', 'Against Liberalism' and 'On Formally Undecidable Propositions'

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


68 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Modern Quinean metaphysics is about what exists, but Aristotelian metaphysics asks about grounding [Schaffer,J]
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
If you tore the metaphysics out of philosophy, the whole enterprise would collapse [Schaffer,J]
2. Reason / B. Laws of Thought / 6. Ockham's Razor
We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J]
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 / 1. Mathematical Platonism / a. For mathematical platonism
If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J]
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]
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
Grounding is unanalysable and primitive, and is the basic structuring concept in metaphysics [Schaffer,J]
7. Existence / C. Structure of Existence / 5. Supervenience / a. Nature of supervenience
Supervenience is just modal correlation [Schaffer,J]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
The cosmos is the only fundamental entity, from which all else exists by abstraction [Schaffer,J]
7. Existence / E. Categories / 4. Category Realism
Maybe categories are just the different ways that things depend on basic substances [Schaffer,J]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
There exist heaps with no integral unity, so we should accept arbitrary composites in the same way [Schaffer,J]
The notion of 'grounding' can explain integrated wholes in a way that mere aggregates can't [Schaffer,J]
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
Belief in impossible worlds may require dialetheism [Schaffer,J]
11. Knowledge Aims / B. Certain Knowledge / 2. Common Sense Certainty
'Moorean certainties' are more credible than any sceptical argument [Schaffer,J]
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
Intuitions don't prove things; they just receptivity to interpretations [Kekes]
17. Mind and Body / C. Functionalism / 2. Machine Functionalism
Basic logic can be done by syntax, with no semantics [Gödel, by Rey]
20. Action / C. Motives for Action / 4. Responsibility for Actions
Liberals say we are only responsible for fully autonomous actions [Kekes]
Collective responsibility conflicts with responsibility's requirement of authonomy [Kekes]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / g. Moral responsibility
Moral and causal responsibility are not clearly distinct [Kekes]
Morality should aim to prevent all evil actions, not just autonomous ones [Kekes]
Much human evil is not autonomous, so moral responsibility need not be autonomous [Kekes]
Effects show the existence of moral responsibility, and mental states show the degree [Kekes]
Ought implies can means moral responsibility needs autonomy [Kekes]
Why should moral responsibility depend on autonomy, rather than social role or experience? [Kekes]
Evil people may not be autonomously aware, if they misjudge the situation [Kekes]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Liberals assume people are naturally free, equal, rational, and morally good [Kekes]
22. Metaethics / B. Value / 2. Values / g. Love
Love should be partial, and discriminate in favour of its object [Kekes]
Sentimental love distorts its object [Kekes]
22. Metaethics / B. Value / 2. Values / j. Evil
Evil is not deviation from the good, any more than good is a deviation from evil [Kekes]
22. Metaethics / C. The Good / 1. Goodness / g. Consequentialism
What matters for morality is the effects of action, not the psychological causes [Kekes]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
It is said that if an agent is not autonomous then their evil actions don't reflect on their character [Kekes]
23. Ethics / C. Virtue Theory / 3. Virtues / f. Compassion
Awareness of others' suffering doesn't create an obligation to help [Kekes]
24. Political Theory / A. Basis of a State / 4. Original Position / b. Veil of ignorance
The veil of ignorance is only needed because people have bad motivations [Kekes]
24. Political Theory / B. Nature of a State / 1. Purpose of a State
The chief function of the state is to arbitrate between contending visions of the good life [Kekes]
24. Political Theory / B. Nature of a State / 4. Citizenship
Citizenship is easier than parenthood [Kekes]
24. Political Theory / C. Ruling a State / 1. Social Power
Power is meant to be confined to representatives, and subsequent delegation [Kekes]
24. Political Theory / D. Ideologies / 3. Conservatism
Prosperity is a higher social virtue than justice [Kekes]
24. Political Theory / D. Ideologies / 6. Liberalism / a. Liberalism basics
Liberal basics are pluralism, freedom, rights, equality, and distributive justice - for autonomy [Kekes]
24. Political Theory / D. Ideologies / 6. Liberalism / b. Liberal individualism
The key liberal values are explained by the one core value, which is autonomy [Kekes]
Agents have little control over the capacities needed for liberal autonomy [Kekes]
24. Political Theory / D. Ideologies / 6. Liberalism / c. Liberal equality
Liberals are egalitarians, but in varying degrees [Kekes]
24. Political Theory / D. Ideologies / 6. Liberalism / d. Liberal freedom
Are egalitarians too coercive, or not egalitarian enough, or lax over morality? [Kekes]
24. Political Theory / D. Ideologies / 6. Liberalism / g. Liberalism critique
Liberal justice ignores desert, which is the essence of justice [Kekes]
Why do liberals not see a much wider range of values as basic? [Kekes]
Liberals ignore contingency, and think people are good and equal, and institutions cause evil [Kekes]
Liberal distribution cares more about recipients than donors [Kekes]
25. Social Practice / B. Equalities / 1. Grounds of equality
To rectify the undeserved equality, we should give men longer and women shorter lives [Kekes]
It is just a fact that some people are morally better than others [Kekes]
25. Social Practice / B. Equalities / 4. Economic equality
It is not deplorable that billionaires have more than millionaires [Kekes]
The problem is basic insufficiency of resources, not their inequality [Kekes]
25. Social Practice / D. Justice / 1. Basis of justice
Justice combines consistency and desert; treat likes alike, judging likeness by desert [Kekes]
25. Social Practice / E. Policies / 3. Welfare provision
Liberal welfare focuses on need rather than desert [Kekes]
25. Social Practice / F. Life Issues / 5. Sexual Morality
Sexual morality doesn't require monogamy, but it needs a group of sensible regulations [Kekes]