What happens in a logical system if we do not state ex falso quodlibet?
$\bot\rightarrow P$
Asked
Active
Viewed 286 times
6
-
I tried to make a search but that did not come up. – Gergely Feb 27 '20 at 12:05
-
2Closely related: Can the principle of explosion be removed from constructive logic? – MJD Feb 27 '20 at 12:10
1 Answers
8
See Paraconsistent Logic for a family of logics that reject Ex Falso (aka: Principle of Explosion).
See also: Walter Carnielli & Marcelo Esteban Coniglio, Paraconsistent Logic: Consistency, Contradiction and Negation (Springer, 2016),
as well as: Holger Andreas & Peter Verdée (editors), Logical Studies of Paraconsistent Reasoning in Science and Mathematics (2016, Springer).
MJD
- 65,394
- 39
- 298
- 580
Mauro ALLEGRANZA
- 94,169