Combining Philosophers

Ideas for Eubulides, Theodore Sider and Jrgen Habermas

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

display all the ideas for this combination of philosophers

---

7 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

13691

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

13690

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

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]

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]