9 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
5637 | Nowadays logic is seen as the science of extensions, not intensions [Scruton] |
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] |
5636 | Cartesian 'ideas' confuse concepts and propositions [Scruton] |
5660 | Allegiance is prior to the recognition of individual rights [Scruton] |
5653 | A right is a power which is enforced in the name of justice [Scruton] |
16746 | Principles of things are not hidden features of forms, but the laws by which they were formed [Newton] |