Combining Texts
Ideas for
'', 'Logic for Philosophy' and 'fragments/reports'
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
13687
|
No assumptions in axiomatic proofs, so no conditional proof or reductio [Sider]
|
13688
|
Good axioms should be indisputable logical truths [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]
|