Abstract
It is shown that two formally consistent type-free second-order systems, due to Cocchiarella, and based on the notion of homogeneous stratification, are subject to a contingent version of Russell's paradox.
Citation
Francesco Orilia. "A Contingent Russell's Paradox." Notre Dame J. Formal Logic 37 (1) 105 - 111, Winter 1996. https://doi.org/10.1305/ndjfl/1040067319
Information