structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / H. Proof Systems / 1. Proof Systems

[general ideas about the different proof systems]

4 ideas
Proof theory began with Frege's definition of derivability [Prawitz on Frege]
Logical proof just explicates complicated tautologies [Wittgenstein]
An 'informal proof' is in no particular system, and uses obvious steps and some ordinary English [Bostock]
'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess]