Single Idea 17926

[catalogued under 4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic]

Full Idea

The intuitionist rejection of double negation elimination undermines the important reductio ad absurdum proof in classical mathematics.

Gist of Idea

Rejecting double negation elimination undermines reductio proofs

Source

Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3)

Book Reference

Colyvan,Mark: 'An Introduction to the Philosophy of Mathematics' [CUP 2012], p.8


Related Idea

Idea 17925 Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan]