Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Empty Names' and 'German Philosophy 1760-1860'

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

16 ideas

1. Philosophy / C. History of Philosophy / 4. Later European Philosophy / c. Eighteenth century philosophy
22002 Wolff's version of Leibniz dominated mid-18th C German thought [Pinkard]
22021 Romantics explored beautiful subjectivity, and the re-enchantment of nature [Pinkard]
22010 The combination of Kant and the French Revolution was an excited focus for German philosophy [Pinkard]
1. Philosophy / C. History of Philosophy / 4. Later European Philosophy / d. Nineteenth century philosophy
22036 In Hegel's time naturalism was called 'Spinozism' [Pinkard]
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 / a. Names
18935 Semantic theory should specify when an act of naming is successful [Sawyer]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
18945 Millians say a name just means its object [Sawyer]
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
18934 Sentences with empty names can be understood, be co-referential, and even be true [Sawyer]
18938 Frege's compositional account of truth-vaues makes 'Pegasus doesn't exist' neither true nor false [Sawyer]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
18947 Definites descriptions don't solve the empty names problem, because the properties may not exist [Sawyer]
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]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / a. Idealism
22048 Idealism is the link between reason and freedom [Pinkard]