double negation
The result of negating the negation of a proposition. In classical propositional calculus, ¬¬ p is equivalent to p . In intuitionistic logic this is not so; we cannot infer p from ¬¬ p .

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • Double négation — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… …   Wikipédia en Français

  • double negation — noun The principle that the negation of a negation of a proposition means the same as the proposition • • • Main Entry: ↑double …   Useful english dictionary

  • Double négation — ● Double négation présence à l intérieur de la même phrase de deux négations qui s annulent plus ou moins complètement (par exemple Vous n êtes pas sans savoir que…) …   Encyclopédie Universelle

  • Double negation — This article is about the logical concept. For the linguistic concept, see Double negative. In the theory of logic, double negation is expressed by saying that a proposition A is identical to (equivalent to) not (not A), or by the formula A = A.… …   Wikipedia

  • Principe de double négation — ● Principe de double négation principe selon lequel ¬ ¬ p ≡ p. (Ce principe est rejeté par la logique intuitionniste.) …   Encyclopédie Universelle

  • law of double negation — noun The statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically …   Wiktionary

  • Negation (linguistique) — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… …   Wikipédia en Français

  • Négation linguistique — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… …   Wikipédia en Français

  • négation — [ negasjɔ̃ ] n. f. • negatiun XII e; lat. negatio, de negare « nier » 1 ♦ Acte de l esprit qui consiste à nier, à rejeter un rapport, une proposition, une existence; expression de cet acte. Négation de Dieu. Négation de la vérité, des valeurs. ⇒… …   Encyclopédie Universelle

  • Negation en francais — Négation en français Article principal : Négation (linguistique). Sommaire 1 Syntaxe de la négation 1.1 Règle générale 1.2 Le « ne » explétif et comparatif …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”