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] |
3643 | The concept of mind excludes body, and vice versa [Descartes] |
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] |
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] |