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

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

[proofs built up from some initially accepted truths]

6 ideas
Frege produced axioms for logic, though that does not now seem the natural basis for logic [Kaplan on Frege]
Quantification adds two axiom-schemas and a new rule [Bostock]
Axiom systems from Frege, Russell, Church, Lukasiewicz, Tarski, Nicod, Kleene, Quine... [Bostock]
Good axioms should be indisputable logical truths [Sider]
No assumptions in axiomatic proofs, so no conditional proof or reductio [Sider]
Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt]