Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'A Puzzle Concerning Matter and Form' and 'Quodlibeta'

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


11 ideas

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 / K. Features of Logics / 5. Incompleteness
We have no argument to show a statement is absolutely undecidable [Koellner]
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]
7. Existence / E. Categories / 3. Proposed Categories
Substance, Quantity and Quality are real; other categories depend on those three [Henry of Ghent]
8. Modes of Existence / A. Relations / 1. Nature of Relations
The only reality in the category of Relation is things from another category [Henry of Ghent]
8. Modes of Existence / B. Properties / 8. Properties as Modes
Accidents are diminished beings, because they are dispositions of substance (unqualified being) [Henry of Ghent]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
The possible Aristotelian view that forms are real and active principles is clearly wrong [Fine,K, by Pasnau]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
Kant says things-in-themselves cause sensations, but then makes causation transcendental! [Henry of Ghent, by Pinkard]