Extensionality and restriction in naive set theory (Q965901)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extensionality and restriction in naive set theory |
scientific article |
Statements
Extensionality and restriction in naive set theory (English)
0 references
26 April 2010
0 references
The author discusses the possibility of having a nontrivial (but possibly inconsistent) naive set theory (i.e. one with comprehension and extensionality) within a paraconsistent relevant logic. He shows that one such set theory, proposed by \textit{J. Beall, R. T. Brady, A. P. Hazen, G. Priest} and \textit{G. Restall} [J. Philos. Log. 35, No. 6, 587--598 (2006; Zbl 1111.03020)], which uses a restricted arrow given by \(B\mapsto C := B \wedge t \rightarrow C\), for some theorem \(t\), and a subset relation \(a\subseteq b := \forall x( x \in a \mapsto x \in b)\) with the rule \(a\subseteq b \wedge b\subseteq a \vdash A(a) \mapsto A(b)\), is trivial.
0 references
naive set theory
0 references
relevant logic
0 references
paraconsistent logic
0 references
triviality
0 references
restricted quantification
0 references