14 ideas
| 20955 | Art can make reason more all-inclusive, by articulating what seemed inexpressible [Bowie] |
| 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] |
| 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] |
| 5044 | Reality must be made of basic unities, which will be animated, substantial points [Leibniz] |
| 20950 | German Idealism says our thinking and nature have the same rational structure [Bowie] |
| 5045 | No machine or mere organised matter could have a unified self [Leibniz] |
| 20942 | Nazis think race predetermines the self [Bowie] |
| 5046 | The soul does know bodies, although they do not influence one another [Leibniz] |
| 20946 | Rhetoric is built into language, so it cannot be stripped from philosophy [Bowie] |
| 5043 | To regard animals as mere machines may be possible, but seems improbable [Leibniz] |