Definition of double negation in English:

Share this entry

double negation

noun

Philosophy
The result of negating the negation of a proposition, and the principle (not admitted in intuitionist logic) that this is equivalent to the proposition itself.
Example sentences
  • Thus, the double negation nPn is established when one shows that an assumption nPn is contradictory.
  • One reason has to do with the common (natural language) reasoning involving counter-logicals, including, for example, sentences such as ‘If intuitionistic logic is correct, then double negation elimination is invalid’.
  • And so, classical logic is seen to be a fragment of intuitionist logic and obtains a legitimate, if virtual, existence, in the shadow world of double negations, a compelling picture.

For editors and proofreaders

Line breaks: double neg|ation

Share this entry
 

What do you find interesting about this word or phrase?

Comments that don't adhere to our Community Guidelines may be moderated or removed.