Beppo Levi's analysis of the paradoxes (Q2392013)

From MaRDI portal
Revision as of 17:08, 6 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Beppo Levi's analysis of the paradoxes
scientific article

    Statements

    Beppo Levi's analysis of the paradoxes (English)
    0 references
    0 references
    6 August 2013
    0 references
    Beppo Levi published a note on the semantic paradoxes in 1908. His approach was not taken up at the time, and Levi himself did not return to the topic. He preserved an unrestricted comprehension principle, but did not allow sets to be elements; an `elementation' function generates individuals (potential elements) from sets, not unlike the axiom of reducibility. The idea is also reminiscent of two-sorted theories like second-order arithmetic, Z2. Russell's paradox requires one to assume that Russell's set \(R\) is elementable, and the contradiction becomes a reductio argument that this assumption is false. For Cantor's paradox, Levi's method shows that there is a set \(S\) (normally the set \(V\) of all sets) such that \(\overline{\overline{S}} \nless {\overline{\overline{\mathcal {P} (S)}}}\), in other words, that Cantor's theorem (that the cardinal number of a set is strictly less than the cardinal number of its power set) fails. Since Levi was at the University of Turin during Peano's professorship there, though working under Corrado Segre, this paper should also interest those studying Peano's influences.
    0 references
    logical paradoxes
    0 references
    elementation procedures
    0 references
    axiom of reducibility
    0 references
    Cantor's paradox
    0 references
    Peano
    0 references

    Identifiers