16 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] |
| 3291 | Emergent properties appear at high levels of complexity, but aren't explainable by the lower levels [Nagel] |
| 6230 | If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth] |
| 6228 | Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth] |
| 6229 | Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth] |
| 6227 | Keeping promises and contracts is an obligation of natural justice [Cudworth] |
| 6225 | Obligation to obey all positive laws is older than all laws [Cudworth] |
| 3290 | Given the nature of heat and of water, it is literally impossible for water not to boil at the right heat [Nagel] |
| 6224 | An omnipotent will cannot make two things equal or alike if they aren't [Cudworth] |
| 6223 | If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth] |
| 6226 | The requirement that God must be obeyed must precede any authority of God's commands [Cudworth] |