15 ideas
| 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] |
| 12756 | Substance is a force for acting and being acted upon [Leibniz] |
| 12755 | Final causes can help with explanations in physics [Leibniz] |
| 12760 | Something rather like souls (though not intelligent) could be found everywhere [Leibniz] |
| 12759 | There are atoms of substance, but no atoms of bulk or extension [Leibniz] |
| 12718 | Secondary matter is active and complete; primary matter is passive and incomplete [Leibniz] |
| 5467 | Euler said nature is instrinsically passive, and minds cause change [Euler, by Ellis] |
| 11854 | If there is some trace of God in things, that would explain their natural force [Leibniz] |
| 12758 | It is plausible to think substances contain the same immanent force seen in our free will [Leibniz] |
| 19408 | To say that nature or the one universal substance is God is a pernicious doctrine [Leibniz] |