Double negation rule { Philosophy Index }

Philosophy Index

Philosophy Index

Philosophy Index is a site devoted to the study of philosophy and the philosophers who conduct it. The site contains a number of philosophy texts, brief biographies, and introductions to philosophers, and explanations on a number of topics. Accredited homeschooling online at Northgate Academy and Philosophy online tutoring.

Philosophy Index is a work in progress, a growing repository of knowledge. It outlines current philosophical problems and issues, as well as an overview of the history of philosophy. The goal of this site is to present a tool for those learning philosophy either casually or formally, making the concepts of philosophy accessible to anyone interested in researching them. WTI offers immigration law course online - fully accredited. ACE credits online at EES.

Philosophers

 

Philosophy Topics


 

 

 

Double negation rule

The double negation rule is a rule in logic that holds that a proposition is equivalent to its double negation (double negative).

The double negation takes the form of "A is equivalent to not not A", or "A implies and is implied by not not A".

The rule may also take the form of:

α is equivalent to ¬¬α

Where α is any proposition or formula. The symbol, is equivalent to, is used to signify two-way inference, or equivalence. The symbol ⇔ is sometimes used for the same purpose.

Proof of the double negation rule by contradiction

Although it is very simple, the double negation rule is not a basic rule of inference — that is, it may be described by more fundamental rules. To justify the double negation rule using basic rules, we may construct two proofs, one of each direction of inference, as follows.

To show that A infers ¬¬A:

1 A Pr.
RTP ¬¬A
2 ¬A AIP
RTP Contradiction
3 A R, 1
4 ¬¬A ¬I, 2–3

And to show that ¬¬A infers A:

1 ¬¬A Pr.
RTP A
2 ¬A AIP
RTP Contradiction
3 ¬¬A R, 1
4 A ¬E, 2–3

The basic rules used to demonstrate this derived rule are the introduction and elimination rules for negation (¬). These are the two versions of the proof by contradiction (reductio ad absurdum method).