Advances and new perspectives on paraconsistent belief revision
Paraconsistent Dynamic Epistemic Logic: puzzles about inconsistent knowledge and i...
| Full text | |
| Author(s): |
Carnielli, Walter
;
Coniglio, Marcelo E.
Total Authors: 2
|
| Document type: | Journal article |
| Source: | JOURNAL OF LOGIC AND COMPUTATION; v. 26, n. 1, p. 20-pg., 2016-02-01. |
| Abstract | |
This article intends to contribute to the debate about the uses of paraconsistent reasoning in the foundations of set theory, by means of using the logics of formal inconsistency and by considering consistent and inconsistent sentences, as well as consistent and inconsistent sets. We establish the basis for new paraconsistent set-theories (such as ZFmbC and ZFCil) under this perspective and establish their non-triviality, provided that ZF is consistent. By recalling how George Cantor himself, in his efforts towards founding set theory more than a century ago, not only used a form of 'inconsistent sets' in his mathematical reasoning, but regarded contradictions as beneficial, we argue that Cantor's handling of inconsistent collections can be related to ours. (AU) | |
| FAPESP's process: | 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS |
| Grantee: | Walter Alexandre Carnielli |
| Support Opportunities: | Research Projects - Thematic Grants |