classical logic, intuitionistic logic, and similar logical systems, the principle of explosion is the law according to which any statement can be proven from a...
11 KB (1,264 words) - 17:38, 15 May 2025
"the house is not white" holds. One reason to have this law is the principle of explosion, which states that anything follows from a contradiction. The law...
24 KB (3,174 words) - 14:01, 19 May 2025
Paraconsistent logic (redirect from Logic of Paradox)
of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic, purposefully excluding the principle of explosion....
49 KB (6,358 words) - 08:11, 14 January 2025
contradictions because classical rules of inference lead to the principle of explosion, an admissible rule of inference that makes it possible to infer...
66 KB (7,292 words) - 09:00, 19 April 2025
Constructive proof (redirect from Proof of Existence)
(proof by contradiction). However, the principle of explosion (ex falso quodlibet) has been accepted in some varieties of constructive mathematics, including...
14 KB (2,074 words) - 15:24, 5 March 2025
double negation elimination while paraconsistent logics reject the principle of explosion. Deductive reasoning plays a central role in formal logic and mathematics...
70 KB (7,326 words) - 19:11, 12 May 2025
Philosophical logic (redirect from Classification of logic)
They achieve this by avoiding the principle of explosion found in classical logic. According to the principle of explosion, anything follows from a contradiction...
59 KB (7,043 words) - 09:46, 2 November 2024
Logic (redirect from Logic of mathematics)
intuitions include the law of excluded middle, the double negation elimination, the principle of explosion, and the bivalence of truth. It was originally...
145 KB (16,460 words) - 09:25, 16 May 2025
Minimal logic (category Systems of formal logic)
rejects both the law of the excluded middle as well as the principle of explosion (ex falso quodlibet), and therefore holding neither of the following two...
26 KB (4,334 words) - 15:57, 20 April 2025
Equivocation (redirect from Fallacy of equivocation)
multiple meanings Principle of explosion: One of the fundamental laws in logic Syntactic ambiguity, Amphiboly, Amphibology: Ambiguity of a sentence by its grammatical...
3 KB (367 words) - 07:22, 21 November 2024
the Principle of Explosion was widely accepted as self-evident, e.g. by logicians like George Boole and Gottlob Frege, though the formalization of the...
4 KB (515 words) - 12:19, 30 March 2025
Consequentia mirabilis (redirect from Law of Clavius)
elimination implies consequentia mirabilis, in minimal logic. The principle of explosion itself may be formulated as ⊥ → ( A ∧ ⊥ ) {\displaystyle \bot \to...
7 KB (1,144 words) - 23:19, 7 April 2025
flawed. Unexpected hanging paradox List of paradoxes When a white horse is not a horse Principle of explosion Łukowski, Piotr (2011). Paradoxes. Springer...
6 KB (801 words) - 23:05, 25 April 2025
A dust explosion is the rapid combustion of fine particles suspended in the air within an enclosed location. Dust explosions can occur where any dispersed...
29 KB (2,417 words) - 06:10, 27 April 2025
conservative extension of a consistent theory is consistent. If it were not, then by the principle of explosion, every formula in the language of T 2 {\displaystyle...
6 KB (858 words) - 01:46, 7 January 2025
Classical logic (redirect from History of classical logic)
properties: Law of excluded middle and double negation elimination Law of noncontradiction, and the principle of explosion Monotonicity of entailment and...
7 KB (841 words) - 17:51, 1 January 2025
Dialectic (redirect from Criticism of dialectic)
would lead to the principle of explosion and thus trivialism. Popper concluded the essay with these words: "The whole development of dialectic should be...
36 KB (4,662 words) - 00:08, 8 May 2025
Constructive logic (category Systems of formal logic)
(1937) Key Idea: Like intuitionistic logic but without assuming the principle of explosion (ex falso quodlibet, “from falsehood, anything follows”). Features:...
7 KB (609 words) - 00:08, 15 May 2025
raining Therefore George Washington is made of rakes. This arises from the principle of explosion, a law of classical logic stating that inconsistent premises...
10 KB (980 words) - 07:52, 5 January 2025
List of paradoxes Self-reference List of self–referential paradoxes Double bind Principle of explosion Russell, Bertrand (1919). "The Philosophy of Logical...
6 KB (759 words) - 19:25, 18 December 2024
Trivialism (redirect from Principle of non-triviality)
sound argument through the principle of explosion and it being considered an absurdity (reductio ad absurdum). Aristotle's law of noncontradiction and other...
17 KB (2,127 words) - 01:29, 25 January 2025
Non-classical logic (category History of logic)
well; Paraconsistent logic (e.g., relevance logic) rejects the principle of explosion, and has a close relation to dialetheism; Quantum logic Relevance...
10 KB (1,144 words) - 11:29, 6 February 2025
Russell's paradox (redirect from Principle of comprehension)
an unrestricted comprehension principle leads to contradictions. According to the unrestricted comprehension principle, for any sufficiently well-defined...
31 KB (4,621 words) - 22:21, 27 April 2025
systems may or may not contain the principle of explosion (ex falso quodlibet in Latin), ⊥ ⊢ φ for all φ. By that principle, contradictions and false are equivalent...
6 KB (681 words) - 18:02, 21 April 2025
Liar paradox (redirect from Antinomy of the liar)
contradiction, as being true, it must discard the long-recognized principle of explosion, which asserts that any proposition can be deduced from a contradiction...
31 KB (4,462 words) - 12:56, 3 May 2025
Vacuous truth (section Scope of the concept)
Empty function Paradoxes of material implication, especially the principle of explosion Presupposition, double question State of affairs (philosophy) Tautology...
12 KB (1,521 words) - 09:12, 18 April 2025
Intermediate logic (category Systems of formal logic)
Consequentia mirabilis) = IPC + p ∨ (p → q) (following from PEM via principle of explosion) Smetanich's logic (SmL): = IPC + (¬q → p) → (((p → q) → p) → p)...
12 KB (1,538 words) - 11:19, 24 April 2025
deductive system (such as first-order logic) that satisfies the principle of explosion, this is equivalent to requiring that there is no sentence φ such...
13 KB (1,695 words) - 13:05, 5 May 2025
Proof by contradiction (category Methods of proof)
then of course P holds. if ¬P holds, then we derive falsehood by applying the law of noncontradiction to ¬P and ¬¬P, after which the principle of explosion...
20 KB (2,529 words) - 06:47, 5 April 2025
Axiomatic system (category Pages displaying short descriptions of redirect targets via Module:Annotated link)
axiomatic systems, as the presence of contradiction would allow any statement to be proven (principle of explosion). Relative consistency comes into play...
13 KB (1,763 words) - 04:19, 17 May 2025