Combining Texts

All the ideas for 'Investigations into Logical Deduction', 'What is Property?' and 'Address to the Voters of Bristol'

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

---

3 ideas

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 / d. Representative democracy

20558

Your representative owes you his judgement, and betrays you if he gives your opinion instead [Burke]

25. Social Practice / C. Rights / 4. Property rights

20523

Property is theft! [Proudhon]