Die Logik ist keine Lehre, sondern ein Spiegelbild der Welt.
Logik ist transzendental.
- Ludwig Wittgenstein's (1921, 6.13) Tractatus Logico-Philosophicus in the original German
Logic is not a body of doctrine, but a mirror-reflection of the world.
Logic is transcendental.
- Pears/McGuinness translation
Proof Theory
A well-defined proof theory makes precise how reasoning in that system is to proceed by manipulating formulae in accordance with certain rules
Whereas the truth table test is used to illustrate the validity of an argument, proof theory is used to demonstrate the validity of an argument
Proof theory is the argument theory that is employed in deductive reasoning
The argument theory specifies the correct inference from a premise set φ to the conclusion set ψ
NOTE: A wider-ranging logicism can encompass the non-deductive forms of reasoning:
φ ⊦MXψ
The superscript M denotes the mode of inference: deductive, abductive, inductive, analogical, etc
The subscript X denotes particular inferential mechanisms
In the context of deductive reasoning and its formalization in proof theory, X could be:
Proof by natural deduction, which employs rules of inference that closely relate to the natural way of reasoning; or
Proof by resolution, which is employed in automated theorem proving