double negation


Also found in: Thesaurus, Wikipedia.
Related to double negation: double negative

double negation

n
(Logic) logic the principle that a statement is equivalent to the denial of its negation, as it is not the case that John is not here meaning John is here
Mentioned in ?
References in periodicals archive ?
He does not only discover and endorse the ideological principle of double negation fueling his bombastic Absolute Spirit, but offers through "determinate negation" also the remedy for the problem he himself created.
the possibility of reordering the positions of the modal elements when a single or double negation appears?
Such counter-example has been provided by Georgiev himself, who pointed out that the law of double negation {equation (2>}, which is valid in the classical logic, is not valid any longer in intuitionistic fuzzy logic.
The approach unifies in a philosophically motivated picture the following results: nothing can be called a negation properly if it does not satisfy (Minimal) Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds.
The double negation of the seventeenth century Statenvertaling (Dutch authorized version) is also lost (for example Adelaar's version in Matthew 5:26: gij zult daar geenszins uitkomen; seventeenth century versions: 'ghy en sult daer geenszins uytkomen').
In other words, "there is not one that is not subject to the phallic function" would mean the same as "all are subject to the phallic function," for as everyone knows, a double negation constitutes an affirmation.
In propositional, predicational and classial systems, the traditional principles of noncontradiction, of excluded middle, bivalence, identity and reasserting through double negation occur as theorems, at the best, whose demonstrations rely on axioms not necessarily more obvious or better-known than the theorems themselves.
In the same vein, Matthieu Renault's chapter, 'Rupture and New Beginning in Fanon', considers the continuity of double negation.
Iconoclasm thus becomes the dread of aesthetics turned anesthetic for the modern condition, the double negation of the eradication of empathy by apathy.
To protect its critical integrity as "negative culture," Beethoven's late style embodies the impossibility of aesthetic wholeness, and constitutes the first musical acknowledgment that musical integrity cannot coexist in harmony with social usefulness, recognizing the need of authentic art to avoid types of musical language tainted through overexposure to society, and revealing the full implications of the double negation required of authentic music in modern times.
v) Classical logic, including double negation elimination, also holds.
negation "not untouchable," a double negation that becomes