Combining Texts

Ideas for 'works', 'talk' and 'Logic for Philosophy'

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

display all the ideas for this combination of texts

---

6 ideas

5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof

13688

Good axioms should be indisputable logical truths [Sider]

13687

No assumptions in axiomatic proofs, so no conditional proof or reductio [Sider]

5. Theory of Logic / H. Proof Systems / 3. Proof from Assumptions

13690

Proof by induction 'on the length of the formula' deconstructs a formula into its accepted atoms [Sider]

13691

Induction has a 'base case', then an 'inductive hypothesis', and then the 'inductive step' [Sider]

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

13685

Natural deduction helpfully allows reasoning with assumptions [Sider]

5. Theory of Logic / H. Proof Systems / 6. Sequent Calculi

13686

We can build proofs just from conclusions, rather than from plain formulae [Sider]