A contingent Russell's paradox
From MaRDI portal
Publication:1924332
DOI10.1305/ndjfl/1040067319zbMath0860.03010MaRDI QIDQ1924332
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
nominalized predicates; contingent Russell paradox; type-free systems of nonstandard second-order logic
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Property theory and the revision theory of definitions, Truth, predication and a family of contingent paradoxes
Cites Work