A Contingent Russell's Paradox

Notre Dame Journal of Formal Logic 37 (1):105-111 (1996)
  Copy   BIBTEX

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

Categories

Keywords

 03B15  03B15

Reprint years

DOI

10.1305/ndjfl/1040067319

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Type-free property theory, exemplification and Russell's paradox.Francesco Orilia - 1991 - Notre Dame Journal of Formal Logic 32 (3):432-447.
1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115.John Corcoran - 1983 - MATHEMATICAL REVIEWS 83:03005.
Truth, Predication and a Family of Contingent Paradoxes.Francesco Orilia & Gregory Landini - 2019 - Journal of Philosophical Logic 48 (1):113-136.
Cocchiarella’s Formal Ontology and the Paradoxes of Hyperintensionality.Gregory Landini - 2009 - Axiomathes 19 (2):115-142.
Russell's paradox in consistent fragments of Frege's grundgesetze der arithmetik.Kai F. Wehmeier - 2004 - In Godehard Link (ed.), One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy. Berlin and New York: De Gruyter.
A Complete, Type-Free "Second-Order" Logic and its Philosophical Foundations.Christopher Menzel - 1984 - CSLI Publications.
Semantics for contingent identity systems.Zane Parks - 1974 - Notre Dame Journal of Formal Logic 15 (2):333-334.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Paradox-free deontic logics.Richard L. Purtill - 1975 - Notre Dame Journal of Formal Logic 16 (4):483-490.
Two Lambda-extensions of the theory of homogeneous simple types as a second-order logic.Nino B. Cocchiarella - 1985 - Notre Dame Journal of Formal Logic 26 (4):377-407.

Analytics

Added to PP
2010-08-24

Downloads
57 (#377,830)

6 months
10 (#413,587)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Properties.Francesco Orilia & Michele Paolini Paoletti - 2020 - Stanford Encyclopedia of Philosophy.
Property theory and the revision theory of definitions.Francesco Orilia - 2000 - Journal of Symbolic Logic 65 (1):212-246.
Truth, Predication and a Family of Contingent Paradoxes.Francesco Orilia & Gregory Landini - 2019 - Journal of Philosophical Logic 48 (1):113-136.
The Naïve Conception of Properties.Benjamin Schnieder - 2017 - Philosophical Issues 27 (1):322-342.

View all 8 citations / Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Truth and paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
Set Theory and its Logic.Willard van Orman Quine - 1963 - Cambridge, MA, USA: Harvard University Press.

View all 11 references / Add more references