double negation principle

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

0.1 Related:

1 Videos
2 Related Products

Related Products

Aviditi M1182 Corrugated Literature Mailer, 11-1/8" Length x 8-3/4" Width x 2" Height, Oyster White (Bundle of 50)

The perfect fit for your literature piece without the expense of a custom carton.
Assembles in seconds without tape, glue or staples.
Strong 200#/ECT-32-B white corrugated construction.
Proudly made in the USA!

Avery Durable View 3 Ring Binders, 1.5" Slant Ring, Holds 8.5" x 11" Paper, 4 White Binders (17576)

Durable view binder allows for customization on spine front and back covers so you can turn these 4 white binders into your virtual classroom schoolwork system, language lesson book, or other home organization
Slant rings hold 20-30% more paper than a basic 1.5 inch binder with a 375-sheet capacity
Designed to be stronger and more durable than basic binders, these Durable binders feature a tear-resistant DuraHinge spine and more flexible, DuraEdge split-resistant edges
Extra storage with 2 interior clear pockets
Durable binders are made with nonstick PVC-free material—no ink transfer

242 Reviews

AT-A-GLANCE 2020 Daily Appointment Book, Planner, 8" x 11", Large, Two Person Group Book, Black (7022205)

YEAR-ROUND PLANNING – Large planner covers 12 months, January 2020-December 2020. Features a black, premium simulated leather cover and twin wire binding.
INK BLEED RESISTANCE – Plan your schedule without fear of distracting ink bleeding. Our improved, high-quality paper is designed for superior ink bleed resistance, which keeps plans neat and legible.
TWO PERSON DAILY LAYOUT – View your entire day across two pages. Each day has 2 ruled columns for side-by-side, 2-person planning. Perfect for offices or busy families. Pages measure 8-1/2" x 11".
15-MINUTE APPOINTMENTS – Break your day into manageable 15- minute periods. Weekday appointment times run from 7: 00 a. m. - 8: 00 p. m. Saturdays run 7: 00 p. m. - 6: 00 p. m.
ENHANCED ORGANIZATION – Expand your organizational skills with special pages. Includes: reference calendars and a double-sided poly pocket.

Avery 1.5" Economy View 3 Ring Binder, Round Ring, Holds 8.5" x 11" Paper, 1 White Binder (5726)

No bubbling or surface wrinkles; unlike other options in the basic binder class, this Economy binder's cover is fully adhered and has a textured pattern that is tear-resistant
Round ring binder holds 275 sheets with 1.5 inch capacity round ring
Pages lie flat because rings are mounted on the rear binder panel instead of on the spine
Extra storage with 2 interior clear pockets; all Economy binders are made with nonstick PVC-free material—no ink transfer
Economy view binder allows for customization on spine, front and back covers

Blue Sky Notes Professional Notebook, Flexible Cover, Twin-Wire Binding, 8.5" x 11", Grey

Durable, flexible grey vinyl cover and strong twin-wire binding withstands ongoing use
Take smart notes with ruled layout on the front and graph layout on the back of each page
Features bonus pages with 4 yearly calendars, important dates, key contacts, National holidays, US States/State capitals/time zones
Total of 160 pages included
Printed with premium soy-based ink on 50% post-consumer waste recycled paper

1000 pieces 4.5x5.5" Clear with "PACKING LIST ENCLOSED" printing pouch envelope bag for invoice packing slip

SELF ADHESIVE - The 4.5x5.5 packing slip pouches feature a self-adhesive backing that allows for strong attaching with no need for tape.
TEAR PROOF - The sturdy 4.5x5.5 shipping envelope pouches have incredible durability when shipping postal, USPS, UPS or FedEx.
CLEAR WINDOW - The shipping envelope 4.5x5.5 is perfect for enclosing your packing slip, invoice or shipping label for easy identification. Easy back side loading panel.
WATER PROOF - These shipping envelope pouches keep the contents safe from water. Being waterproof, you can have peace of mind that your packing list slip will not get wet if left out in the elements by the logistics carrier.
BRIGHT ORANGE - The shipping pouch envelopes offer a bright orange label which is eye catching for the customer to know that their invoice or packing slip is enclosed.

TOPS Weekly Employee Time Sheet, 8.5 x 5.5 Inches, 100 Sheets per Pad, 2 Pads/Pack (30071) - Purple; White

Employee weekly time sheet pad
Space for regular morning and afternoon hours, plus overtime
100 sheets per pad, 2 pads per package
8 1/2" x 5-1/2" size
SFI Certified Sourcing - Uses fiber from responsible and legal sources

Avery 2" Durable View 3 Ring Binder, EZD Ring, Holds 8.5" x 11" Paper, 1 White Binder (9501)

Designed to be stronger and more durable than basic binders, this white binder features a tear resistant spine (DuraHinge) and more flexible, split resistant edges (DuraEdge)
EZD ring holds 40 50 percent more paper than basic 2 inch binder; 540 sheet capacity
Pages lie flat because rings are mounted on the rear binder panel instead of on the spine
Extra storage with 4 interior clear pockets; all Durable binders are made with nonstick PVC free material no ink transfer
Durable view binder allows for customization on spine, front and back covers

Day-Timer 2 Months/2 Pages Per Day, Undated Refill, 8-1/2"x11"

Loose-leaf refill pages feature a classic black, white and green design. Refill includes 2 months of daily pages (64 pages) that are undated to use with any month or year
Two page per day format is easy to follow and provide plenty of writing space for detailed notes
Hourly appointment scheduling from 7:00 a.m. – 10:00 p.m. provides in-depth time management to keep you on task. A section for to-do’s, phone calls and expense and reimbursement records are also included on the left hand page

Roaring Spring Environotes College Ruled 1 Subject Recycled Spiral Notebook

Sold as an each - one notebook
Dimensions: 11" x 9" 100 Sheets
2 subject sustainable notebook with beautiful earthtone colored cover and a double pocket
College ruled with margin and perforated 20# bio-based paper - Biobased paper contains sugarcane fiber along with post-consumer waste making this notebook certified bio-preferred
Made in the USA

Last update 2020-06-17. Price and product availability may change.

Related:

Videos