Combining Texts

All the ideas for 'works', 'Representative Government' and 'Investigations into Logical Deduction'

expand these ideas     |    start again     |     specify just one area for these texts

6 ideas

5. Theory of Logic / G. Quantification / 2. Domain of Quantification
17743 De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
13832 Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]
24. Political Theory / D. Ideologies / 5. Democracy / b. Consultation
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]
24. Political Theory / D. Ideologies / 5. Democracy / c. Direct democracy
20505 Direct democracy is inexperience judging experience, and ignorance judging knowledge [Mill]
24. Political Theory / D. Ideologies / 5. Democracy / d. Representative democracy
20504 People can only participate in decisions in small communities, so representatives are needed [Mill]