DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Principle_of_explosion> ?p ?o }

• Principle_of_explosion abstract "The principle of explosion (Latin: ex falso (sequitur) quodlibet (EFQ), "from falsehood, anything (follows)", or ex contradictione (sequitur) quodlibet (ECQ), "from contradiction, anything (follows)"), or the principle of Pseudo-Scotus, is the law of classical logic, intuitionistic logic and similar logical systems, according to which any statement can be proven from a contradiction. That is, once a contradiction has been asserted, any proposition (or its negation) can be inferred from it.As a demonstration of the principle, consider two contradictory statements – “All lemons are yellow” and "Not all lemons are yellow", and suppose (for the sake of argument) that both are simultaneously true. If that is the case, anything can be proven, e.g. "Santa Claus exists", by using the following argument: We know that "All lemons are yellow" as it is defined to be true. Therefore the statement that (“All lemons are yellow" OR "Santa Claus exists”) must also be true, since the first part is true. However, if "Not all lemons are yellow" (and this is also defined to be true), Santa Claus must exist – otherwise statement 2 would be false. It has thus been "proven" that Santa Claus exists. The same could be applied to any assertion, including the statement "Santa Claus does not exist".The principle is not a universal rule; rather it exists as a consequence of a choice of which logic to use. It does not appear in some paraconsistent logics which allow localised 'gluts' of contradictory statements to be proved without affecting other proofs. In artificial intelligence and models of human reasoning it is common for such logics to be used. This can also occur in formal science, for example quantum mechanics and relativity lead to contradictions in extreme environments, but these contradictions do not imply that Santa exists – only that there are some scenarios where one or both theories are in need of alteration. Truth maintenance systems are AI models which try to capture this process.".
• Principle_of_explosion wikiPageID "591394".
• Principle_of_explosion wikiPageLength "8300".
• Principle_of_explosion wikiPageOutDegree "42".
• Principle_of_explosion wikiPageRevisionID "677319301".
• Principle_of_explosion wikiPageWikiLink A_fortiori.
• Principle_of_explosion wikiPageWikiLink A_fortiori_argument.
• Principle_of_explosion wikiPageWikiLink Artificial_intelligence.
• Principle_of_explosion wikiPageWikiLink Category:Classical_logic.
• Principle_of_explosion wikiPageWikiLink Category:Principles.
• Principle_of_explosion wikiPageWikiLink Category:Theorems_in_propositional_logic.
• Principle_of_explosion wikiPageWikiLink Classical_logic.
• Principle_of_explosion wikiPageWikiLink Conditional_proof.
• Principle_of_explosion wikiPageWikiLink Conjunction_elimination.
• Principle_of_explosion wikiPageWikiLink Consequentia_mirabilis.
• Principle_of_explosion wikiPageWikiLink Contraposition.
• Principle_of_explosion wikiPageWikiLink Deduction_theorem.
• Principle_of_explosion wikiPageWikiLink Dialetheism.
• Principle_of_explosion wikiPageWikiLink Disjunction_introduction.
• Principle_of_explosion wikiPageWikiLink Disjunctive_syllogism.
• Principle_of_explosion wikiPageWikiLink Double_negation.
• Principle_of_explosion wikiPageWikiLink Double_negation_elimination.
• Principle_of_explosion wikiPageWikiLink False_(logic).
• Principle_of_explosion wikiPageWikiLink Formal_semantics_(logic).
• Principle_of_explosion wikiPageWikiLink Intuitionistic_logic.
• Principle_of_explosion wikiPageWikiLink Latin.
• Principle_of_explosion wikiPageWikiLink Law_of_excluded_middle.
• Principle_of_explosion wikiPageWikiLink Law_of_non-contradiction.
• Principle_of_explosion wikiPageWikiLink Law_of_noncontradiction.
• Principle_of_explosion wikiPageWikiLink Logical_consequence.
• Principle_of_explosion wikiPageWikiLink Mathematical_theory.
• Principle_of_explosion wikiPageWikiLink Metamathematics.
• Principle_of_explosion wikiPageWikiLink Model_theory.
• Principle_of_explosion wikiPageWikiLink Modus_ponens.
• Principle_of_explosion wikiPageWikiLink Paraconsistent_logic.
• Principle_of_explosion wikiPageWikiLink Paraconsistent_logics.
• Principle_of_explosion wikiPageWikiLink Paradox_of_entailment.
• Principle_of_explosion wikiPageWikiLink Paradoxes_of_material_implication.
• Principle_of_explosion wikiPageWikiLink Proof-theoretic_semantics.
• Principle_of_explosion wikiPageWikiLink Proof_theory.
• Principle_of_explosion wikiPageWikiLink Reason_maintenance.
• Principle_of_explosion wikiPageWikiLink Reductio_ad_absurdum.
• Principle_of_explosion wikiPageWikiLink Semantic_consequence.
• Principle_of_explosion wikiPageWikiLink Statement_(logic).
• Principle_of_explosion wikiPageWikiLink Theorem.
• Principle_of_explosion wikiPageWikiLink Trivialism.
• Principle_of_explosion wikiPageWikiLink Truth.
• Principle_of_explosion wikiPageWikiLink Truth_maintenance_systems.
• Principle_of_explosion wikiPageWikiLinkText ""anything follows from a contradiction"".
• Principle_of_explosion wikiPageWikiLinkText "Principle of explosion".
• Principle_of_explosion wikiPageWikiLinkText "absurdity constant".
• Principle_of_explosion wikiPageWikiLinkText "explode".
• Principle_of_explosion wikiPageWikiLinkText "explosion".
• Principle_of_explosion wikiPageWikiLinkText "principle of explosion".
• Principle_of_explosion hasPhotoCollection Principle_of_explosion.
• Principle_of_explosion wikiPageUsesTemplate Template:Classical_logic.
• Principle_of_explosion wikiPageUsesTemplate Template:One_source.
• Principle_of_explosion wikiPageUsesTemplate Template:Redirect.
• Principle_of_explosion wikiPageUsesTemplate Template:Reflist.
• Principle_of_explosion subject Category:Classical_logic.
• Principle_of_explosion subject Category:Principles.
• Principle_of_explosion subject Category:Theorems_in_propositional_logic.
• Principle_of_explosion hypernym Law.
• Principle_of_explosion type Article.
• Principle_of_explosion type Person.
• Principle_of_explosion type Article.
• Principle_of_explosion type Concept.
• Principle_of_explosion type Theorem.
• Principle_of_explosion comment "The principle of explosion (Latin: ex falso (sequitur) quodlibet (EFQ), "from falsehood, anything (follows)", or ex contradictione (sequitur) quodlibet (ECQ), "from contradiction, anything (follows)"), or the principle of Pseudo-Scotus, is the law of classical logic, intuitionistic logic and similar logical systems, according to which any statement can be proven from a contradiction.".
• Principle_of_explosion label "Principle of explosion".
• Principle_of_explosion sameAs Ex_falso_quodlibet.
• Principle_of_explosion sameAs Principio_de_explosión.
• Principle_of_explosion sameAs Principe_dexplosion.
• Principle_of_explosion sameAs Hamisból_minden_következik.
• Principle_of_explosion sameAs Ex_falso_sequitur_quodlibet.
• Principle_of_explosion sameAs Ex_falso_sequitur_quod_libet.
• Principle_of_explosion sameAs Princípio_de_explosão.
• Principle_of_explosion sameAs m.02t54v.
• Principle_of_explosion sameAs Ex_falso_quodlibet.
• Principle_of_explosion sameAs Принцип_вибуху.
• Principle_of_explosion sameAs Q60190.
• Principle_of_explosion sameAs Q60190.
• Principle_of_explosion sameAs 爆炸原理.
• Principle_of_explosion wasDerivedFrom Principle_of_explosion?oldid=677319301.
• Principle_of_explosion isPrimaryTopicOf Principle_of_explosion.