A contingent Russell's paradox

DOI10.1305/NDJFL/1040067319zbMath0860.03010OpenAlexW1985323659MaRDI QIDQ1924332

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

nominalized predicatescontingent Russell paradoxtype-free systems of nonstandard second-order logic

Mathematics Subject Classification ID

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

Related Items (2)

Truth, predication and a family of contingent paradoxes ⋮ Property theory and the revision theory of definitions

Cites Work

• Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic
• The theory of homogeneous simple types as a second order logic
• Truth and paradox
• Outline of a Theory of Truth
• Unnamed Item
• Unnamed Item

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