A contingent Russell's paradox

DOI10.1305/NDJFL/1040067319MaRDI QIDQ1924332zbMATH OpenOpenAlexFDO

Authors Francesco Orilia

Publication date 15 April 1997

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040067319

zbMATH Keywords

contingent Russell paradoxnominalized predicatestype-free systems of nonstandard second-order logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Review text

Two Cocchiarella type-free systems of nonstandard second-order logic are shown to produce a contingent Russell paradox, i.e., derivability of a contradiction from contingent premisses.

Cites work

• scientific article; zbMATH DE number 3993529 (Why is no real title available?)
• scientific article; zbMATH DE number 3198017 (Why is no real title available?)
• Outline of a Theory of Truth
• The theory of homogeneous simple types as a second order logic
• Truth and paradox
• Two -extensions of the theory of homogeneous simple types as a second-order logic

Cited in

(4)

• A paradox of Russell type
• Truth, predication and a family of contingent paradoxes
• scientific article; zbMATH DE number 2152238 (Why is no real title available?)
• Property theory and the revision theory of definitions

This page was built for publication: A contingent Russell's paradox

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924332)