Notre Dame Journal of Formal Logic 38 (3):385-397 (1997)

Anthony F. Peressini
Marquette University
In this paper I examine the nature of Russell's ramified type theory resolution of paradoxes. In particular, I consider the effect of construing the types in Church's cumulative sense, that is, the range of a variable of a given type includes the range of every variable of directly lower type. Contrary to what seems to be generally assumed, I show that the decision to make the levels cumulative and allow this to be reflected in the semantics is not neutral with respect to the solution of the paradoxes. I introduce a distinction between syntactical and semantical cumulativeness. It turns out that noncumulative type theories (in either sense) are equally capable of dealing with the paradoxes. Furthermore, whether cumulativeness is appropriate appears to be context dependent
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1039700745
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,657
Through your library

References found in this work BETA

On Some Difficulties in the Theory of Transfinite Numbers and Order Types.Bertrand Russell - 1906 - Proceedings of the London Mathematical Society 4 (14):29-53.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Versatility of Universality in Principia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.
Plurality and Temporal Modification.Ron Artstein & Nissim Francez - 2006 - Linguistics and Philosophy 29 (3):251 - 276.
Noncumulative Dialectical Models and Formal Dialectics.Erik C. W. Krabbe - 1985 - Journal of Philosophical Logic 14 (2):129 - 168.
Varieties of Self-Deception.Robert F. Bornstein - 1997 - Behavioral and Brain Sciences 20 (1):108-109.
Russell's Way Out of the Paradox of Propositions.André Fuhrmann - 2002 - History and Philosophy of Logic 23 (3):197-213.
Ramified Frege Arithmetic.Richard Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.
A More Pluralist Typology of Selection Processes.Bence Nanay - 2001 - Behavioral and Brain Sciences 24 (3):547-548.
Types in Logic and Mathematics Before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.


Added to PP index

Total views
10 ( #882,644 of 2,462,309 )

Recent downloads (6 months)
1 ( #449,321 of 2,462,309 )

How can I increase my downloads?


My notes