Single Idea 13687

[catalogued under 5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof]

Full Idea

Axiomatic systems do not allow reasoning with assumptions, and therefore do not allow conditional proof or reductio ad absurdum.

Gist of Idea

No assumptions in axiomatic proofs, so no conditional proof or reductio

Source

Theodore Sider (Logic for Philosophy [2010], 2.6)

Book Reference

Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.46


A Reaction

Since these are two of the most basic techniques of proof which I have learned (in Lemmon), I shall avoid axiomatic proof systems at all costs, despites their foundational and Ockhamist appeal.