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
    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

    Identifiers