Le principe d'explosion, énoncé en latin ex falso quodlibet ou encore ex contradictione sequitur quodlibet, « d'une contradiction, on peut déduire ce qu'on veut » ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction. Certaines autres logiques comme les logiques non-monotones, qui tentent de gérer des cas particuliers, la logique minimale ou les logiques paracohérentes ne possèdent pas de principes d'explosion et tentent de gérer les contradictions différemment.

Property Value
dbo:abstract
  • Le principe d'explosion, énoncé en latin ex falso quodlibet ou encore ex contradictione sequitur quodlibet, « d'une contradiction, on peut déduire ce qu'on veut » ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction. Certaines autres logiques comme les logiques non-monotones, qui tentent de gérer des cas particuliers, la logique minimale ou les logiques paracohérentes ne possèdent pas de principes d'explosion et tentent de gérer les contradictions différemment. (fr)
  • Le principe d'explosion, énoncé en latin ex falso quodlibet ou encore ex contradictione sequitur quodlibet, « d'une contradiction, on peut déduire ce qu'on veut » ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction. Certaines autres logiques comme les logiques non-monotones, qui tentent de gérer des cas particuliers, la logique minimale ou les logiques paracohérentes ne possèdent pas de principes d'explosion et tentent de gérer les contradictions différemment. (fr)
dbo:isPartOf
dbo:wikiPageID
  • 7665709 (xsd:integer)
dbo:wikiPageLength
  • 11483 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 188554373 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • élimination de la double négation (fr)
  • Paradoxe de la conséquence (fr)
  • théorème de la déduction (fr)
  • élimination de la double négation (fr)
  • Paradoxe de la conséquence (fr)
  • théorème de la déduction (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:trad
  • Double negative elimination (fr)
  • Deduction theorem (fr)
  • Paradox of entailment (fr)
  • Double negative elimination (fr)
  • Deduction theorem (fr)
  • Paradox of entailment (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • Le principe d'explosion, énoncé en latin ex falso quodlibet ou encore ex contradictione sequitur quodlibet, « d'une contradiction, on peut déduire ce qu'on veut » ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction. Certaines autres logiques comme les logiques non-monotones, qui tentent de gérer des cas particuliers, la logique minimale ou les logiques paracohérentes ne possèdent pas de principes d'explosion et tentent de gérer les contradictions différemment. (fr)
  • Le principe d'explosion, énoncé en latin ex falso quodlibet ou encore ex contradictione sequitur quodlibet, « d'une contradiction, on peut déduire ce qu'on veut » ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction. Certaines autres logiques comme les logiques non-monotones, qui tentent de gérer des cas particuliers, la logique minimale ou les logiques paracohérentes ne possèdent pas de principes d'explosion et tentent de gérer les contradictions différemment. (fr)
rdfs:label
  • Ex falso quodlibet (sv)
  • Ex falso sequitur quodlibet (it)
  • Principe d'explosion (fr)
  • Principle of explosion (en)
  • 爆炸原理 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of