Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Philosophy of Mathematics' and 'Nominalism'

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


14 ideas

2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions only refer to entities outside the defined collection [Horsten]
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]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
What is a singleton set, if a set is meant to be a collection of objects? [Szabó]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
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 / 2. Proof in Mathematics
Computer proofs don't provide explanations [Horsten]
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]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
Abstract entities don't depend on their concrete entities ...but maybe on the totality of concrete things [Szabó]
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
Geometrical circles cannot identify a circular paint patch, presumably because they lack something [Szabó]
18. Thought / E. Abstraction / 5. Abstracta by Negation
Abstractions are imperceptible, non-causal, and non-spatiotemporal (the third explaining the others) [Szabó]