Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Guidebook to Wittgenstein's Tractatus' and 'Principia Ethica'

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


27 ideas

1. Philosophy / H. Continental Philosophy / 3. Hermeneutics
Interpreting a text is representing it as making sense [Morris,M]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
'Reflection principles' say the whole truth about sets can't be captured [Koellner]
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Bipolarity adds to Bivalence the capacity for both truth values [Morris,M]
5. Theory of Logic / G. Quantification / 1. Quantification
Conjunctive and disjunctive quantifiers are too specific, and are confined to the finite [Morris,M]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Counting needs to distinguish things, and also needs the concept of a successor in a series [Morris,M]
To count, we must distinguish things, and have a series with successors in it [Morris,M]
Discriminating things for counting implies concepts of identity and distinctness [Morris,M]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
There are at least eleven types of large cardinal, of increasing logical strength [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Arithmetical undecidability is always settled at the next stage up [Koellner]
19. Language / D. Propositions / 1. Propositions
There must exist a general form of propositions, which are predictabe. It is: such and such is the case [Morris,M]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
The beautiful is whatever it is intrinsically good to admire [Moore,GE]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / b. Defining ethics
Moore tries to show that 'good' is indefinable, but doesn't understand what a definition is [MacIntyre on Moore,GE]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / a. Idealistic ethics
The Open Question argument leads to anti-realism and the fact-value distinction [Boulter on Moore,GE]
The naturalistic fallacy claims that natural qualties can define 'good' [Moore,GE]
Moore cannot show why something being good gives us a reason for action [MacIntyre on Moore,GE]
Can learning to recognise a good friend help us to recognise a good watch? [MacIntyre on Moore,GE]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
Moore's combination of antinaturalism with strong supervenience on the natural is incoherent [Hanna on Moore,GE]
Despite Moore's caution, non-naturalists incline towards intuitionism [Moore,GE, by Smith,M]
22. Metaethics / B. Value / 1. Nature of Value / c. Objective value
We should ask what we would judge to be good if it existed in absolute isolation [Moore,GE]
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
It is always an open question whether anything that is natural is good [Moore,GE]
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
The three main values are good, right and beauty [Moore,GE, by Ross]
22. Metaethics / C. The Good / 1. Goodness / c. Right and good
For Moore, 'right' is what produces good [Moore,GE, by Ross]
'Right' means 'cause of good result' (hence 'useful'), so the end does justify the means [Moore,GE]
23. Ethics / E. Utilitarianism / 1. Utilitarianism
Relationships imply duties to people, not merely the obligation to benefit them [Ross on Moore,GE]