16 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 22363 | You have only begun to do real science when you can express it in numbers [Kelvin] |
| 21075 | The state of nature always involves the threat of war [Kant] |
| 20569 | Kant made the social contract international and cosmopolitan [Kant, by Oksala] |
| 21079 | The a priori general will of a people shows what is right [Kant] |
| 21077 | Each nation should, from self-interest, join an international security constitution [Kant] |
| 21078 | A constitution must always be improved when necessary [Kant] |
| 21076 | Equality is where you cannot impose a legal obligation you yourself wouldn't endure [Kant] |
| 20570 | There is now a growing universal community, and violations of rights are felt everywhere [Kant] |
| 20571 | There are political and inter-national rights, but also universal cosmopolitan rights [Kant] |
| 21073 | Hiring soldiers is to use them as instruments, ignoring their personal rights [Kant] |
| 21074 | Some trust in the enemy is needed during wartime, or peace would be impossible [Kant] |
| 20644 | Energy has progressed from a mere formula, to a principle pervading all nature [Kelvin] |