Combining Texts

Ideas for 'works', 'Intro to Gdel's Theorems' and 'Causes and Events: Mackie on causation'

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

display all the ideas for this combination of texts

---

1 idea

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

10602	A 'natural deduction system' has no axioms but many rules [Smith,P]
	Full Idea: A 'natural deduction system' will have no logical axioms but may rules of inference.
	From: Peter Smith (Intro to Gödel's Theorems [2007], 09.1)
	A reaction: He contrasts this with 'Hilbert-style systems', which have many axioms but few rules. Natural deduction uses many assumptions which are then discharged, and so tree-systems are good for representing it.