Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Appearance and Reality' and 'Structuralism and the Notion of Dependence'

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

24 ideas

1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
5182 Claims about 'the Absolute' are not even verifiable in principle [Ayer on Bradley]
1. Philosophy / E. Nature of Metaphysics / 7. Against Metaphysics
6864 Metaphysics is finding bad reasons for instinctive beliefs [Bradley]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
17884 Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
17893 'Reflection principles' say the whole truth about sets can't be captured [Koellner]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
10999 Names need a means of reidentifying their referents [Bradley, by Read]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
17894 We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
17890 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
17887 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
17891 Arithmetical undecidability is always settled at the next stage up [Koellner]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
14085 'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo]
14084 Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo]
14086 'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo]
14087 'Set-theoretic' structuralism treats mathematics as various structures realised among the sets [Linnebo]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
14089 Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
14083 Structuralism is right about algebra, but wrong about sets [Linnebo]
14090 In mathematical structuralism the small depends on the large, which is the opposite of physical structures [Linnebo]
7. Existence / C. Structure of Existence / 4. Ontological Dependence
14091 There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo]
8. Modes of Existence / A. Relations / 2. Internal Relations
6422 Internal relations are said to be intrinsic properties of two terms, and of the whole they compose [Bradley, by Russell]
7966 Relations must be linked to their qualities, but that implies an infinite regress of relations [Bradley]
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
14088 An 'intrinsic' property is either found in every duplicate, or exists independent of all externals [Linnebo]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
6404 British Idealists said reality is a single Mind which experiences itself [Bradley, by Grayling]
22299 Bradley's objective idealism accepts reality (the Absolute), but says we can't fully describe it [Bradley, by Potter]
21343 Qualities and relations are mere appearance; the Absolute is a single undifferentiated substance [Bradley, by Heil]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
6406 Reality is one, because plurality implies relations, and they assert a superior unity [Bradley]