11 ideas
14231 | We should always apply someone's theory of meaning to their own utterances [Liggins] |
17879 | Axiomatising set theory makes it all relative [Skolem] |
14232 | We normally formalise 'There are Fs' with singular quantification and predication, but this may be wrong [Liggins] |
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] |
14233 | Nihilists needn't deny parts - they can just say that some of the xs are among the ys [Liggins] |
20508 | How people vote should be on public record, so they can be held accountable [Mill, by Wolff,J] |
20507 | Voting is a strict duty, like jury service, and must only be aimed at the public good [Mill] |
20505 | Direct democracy is inexperience judging experience, and ignorance judging knowledge [Mill] |
20504 | People can only participate in decisions in small communities, so representatives are needed [Mill] |