Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/326823
Type: Artigo
Title: Paraconsistent Set Theory By Predicating On Consistency
Author: Carnielli
Walter; Coniglio
Marcelo E.
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.
Subject: Foundations Of Set Theory
Paraconsistent Set Theory
Cantor's Set Theory
Russell's Paradox
Logics Of Formal Inconsistency
Editor: Oxford Univ Press
Oxford
Rights: fechado
Identifier DOI: 10.1093/logcom/ext020
Address: https://academic.oup.com/logcom/article-lookup/doi/10.1093/logcom/ext020
Date Issue: 2016
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File SizeFormat 
000374223700005.pdf184.69 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.