15 ideas
| 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] |
| 22036 | In Hegel's time naturalism was called 'Spinozism' [Pinkard] |
| 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] |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| 13412 | Obtaining numbers by abstraction is impossible - there are too many; only a rule could give them, in order [Benacerraf] |
| 13413 | We must explain how we know so many numbers, and recognise ones we haven't met before [Benacerraf] |
| 13411 | If numbers are basically the cardinals (Frege-Russell view) you could know some numbers in isolation [Benacerraf] |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| 13415 | An adequate account of a number must relate it to its series [Benacerraf] |
| 22048 | Idealism is the link between reason and freedom [Pinkard] |