Please use this identifier to cite or link to this item:
Type: Artigo de Periódico
Title: Paraconsistent Set Theory By Predicating On Consistency
Author: Carnielli
W; Coniglio
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
Citation: Journal Of Logic And Computation. OXFORD UNIV PRESS, n. 26, n. 1, p. 97 - 116.
Rights: fechado
Identifier DOI: 10.1093/logcom/ext020
Date Issue: 2016
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File SizeFormat 
000374223700005.pdf190.19 kBAdobe PDFView/Open

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