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').
A residuated lattice L is said to satisfy the weak double negation if the following conditions hold for all, y [member of] L.
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.
(6) These selected examples of miss-negation (see also Eilam, 2007, re oveme-gation in Hebrew, and Moore, 1992, on double negation) provide but a small sample of the many ways one can go wrong when piling up negatives.
In the same vein, Matthieu Renault's chapter, 'Rupture and New Beginning in Fanon', considers the continuity of double negation. The racial binary remains frozen despite expulsion of the enemy; only societal renewal and internal decolonization can fully defeat the problematic.
The paradox of denegation must not be confused with the dialectic of double negation. In double negation, opposites are reciprocally constituted through a process in which difference is maintained while identity is secured.