Combining Texts

Ideas for 'Writing the Book of the World', 'The Boundary Stones of Thought' and 'Free Will as Involving Determinism'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction

15001

'Tonk' is supposed to follow the elimination and introduction rules, but it can't be so interpreted [Sider]

18800

Introduction rules give deduction conditions, and Elimination says what can be deduced [Rumfitt]