Open Access
Winter 1996 A Contingent Russell's Paradox
Francesco Orilia
Notre Dame J. Formal Logic 37(1): 105-111 (Winter 1996). DOI: 10.1305/ndjfl/1040067319

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

Download 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

Published: Winter 1996
First available in Project Euclid: 16 December 2002

zbMATH: 0860.03010
MathSciNet: MR1379552
Digital Object Identifier: 10.1305/ndjfl/1040067319

Subjects:
Primary: 03B15

Rights: Copyright © 1996 University of Notre Dame

Vol.37 • No. 1 • Winter 1996
Back to Top