9 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
5637 | Nowadays logic is seen as the science of extensions, not intensions [Scruton] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
5636 | Cartesian 'ideas' confuse concepts and propositions [Scruton] |
467 | A virtue is a combination of intelligence, strength and luck [Ion] |
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] |