Principle that, for any proposition P, P logically implies not-not-P, and not-not-P logically implies P.
Classical logic accepts both these halves of the principle, but intuitionist logic accepts only the first half, and not the second. This is because it accepts the law of contradiction (and so, given P, cannot allow not-P), but rejects the law of excluded middle (and so, given not-not-P, does not consider itself forced to accept P).
Source:
G T Kneebone, Mathematical Logic and the Foundations of Mathematics (1963), 243-50; elementary account of intuitionism
Table of Contents
- 1 Videos
- 2 Related Products
- 2.1 Aviditi M1182 Corrugated Literature Mailer, 11-1/8" Length x 8-3/4" Width x 2" Height, Oyster White (Bundle of 50)
- 2.2 Avery Durable View 3 Ring Binders, 1.5" Slant Ring, Holds 8.5" x 11" Paper, 4 White Binders (17576)
- 2.3 AT-A-GLANCE 2020 Daily Appointment Book, Planner, 8" x 11", Large, Two Person Group Book, Black (7022205)
- 2.4 Avery 1.5" Economy View 3 Ring Binder, Round Ring, Holds 8.5" x 11" Paper, 1 White Binder (5726)
- 2.5 Blue Sky Notes Professional Notebook, Flexible Cover, Twin-Wire Binding, 8.5" x 11", Grey
- 2.6 1000 pieces 4.5x5.5" Clear with "PACKING LIST ENCLOSED" printing pouch envelope bag for invoice packing slip
- 2.7 TOPS Weekly Employee Time Sheet, 8.5 x 5.5 Inches, 100 Sheets per Pad, 2 Pads/Pack (30071) - Purple; White
- 2.8 Avery 2" Durable View 3 Ring Binder, EZD Ring, Holds 8.5" x 11" Paper, 1 White Binder (9501)
- 2.9 Day-Timer 2 Months/2 Pages Per Day, Undated Refill, 8-1/2"x11"
- 2.10 Roaring Spring Environotes College Ruled 1 Subject Recycled Spiral Notebook
- excluded middle law
- bivalence law or principle
- verifiability (or verification) principle
- relevance logics
- constructivism
Last update 2020-06-17. Price and product availability may change.