Russell's Zigzag Path to the Ramified Theory of Types

Russell: The Journal of Bertrand Russell Studies 8 (1):82 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2014

DOI

10.15173/russell.v8i1.1735

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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

A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.
Russell's way out of the paradox of propositions.André Fuhrmann - 2002 - History and Philosophy of Logic 23 (3):197-213.
A Reflection On Russell's Ramified Types And Kripke's Hierarchy Of Truths.Fairouz Kamareddine & Twan Laan - 1996 - Logic Journal of the IGPL 4 (2):195-213.
Russell´s Early Type Theory and the Paradox of Propositions.André Fuhrmann - 2001 - Principia: An International Journal of Epistemology 5 (1-2):19–42.
Why Ramify?Harold T. Hodes - 2015 - Notre Dame Journal of Formal Logic 56 (2):379-415.
Re-examining Russell's Paralysis: Ramified Type-Theory and Wittgenstein's Objection to Russell's Theory of Judgment.Graham Stevens - 2003 - Russell: The Journal of Bertrand Russell Studies 23 (1).
The Versatility of Universality in Principia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.
Scott Soames: The analytic tradition in philosophy, volume 1: Founding giants: Princeton University Press.Charles R. Pigden - 2015 - Philosophical Studies 172 (6):1671-1680.
A new interpretation of russell's multiple-relation theory of judgment.Gregory Landini - 1991 - History and Philosophy of Logic 12 (1):37-69.
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
Cumulative versus Noncumulative Ramified Types.Anthony F. Peressini - 1997 - Notre Dame Journal of Formal Logic 38 (3):385-397.
Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Sh^|^Ocirc Maehara & Ji - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
Mathematical Definability and the Paradoxes.Ralph Gregory Taylor - 1983 - Dissertation, Columbia University
The theory of types.Alasdair Urquhart - 2003 - In Nicholas Griffin (ed.), The Cambridge Companion to Bertrand Russell. Cambridge University Press. pp. 286--309.

Analytics

Added to PP
2015-02-07

Downloads
26 (#627,957)

6 months
12 (#241,878)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alasdair Urquhart
University of Toronto, St. George Campus

Citations of this work

Principia mathematica.A. D. Irvine - 2008 - Stanford Encyclopedia of Philosophy.
Variable, Structure, and Restricted Generality.S. Gandon - 2013 - Philosophia Mathematica 21 (2):200-219.
Acquaintance with Logical Objects in Theory of Knowledge.Joseph Murray - 1991 - Russell: The Journal of Bertrand Russell Studies 11 (2):147.
The Origin of the Theory of Types.Ryo Ito - 2018 - Annals of the Japan Association for Philosophy of Science 27:27-44.
Book Review: Kit Fine. The Limits of Abstraction. [REVIEW]John P. Burgess - 2003 - Notre Dame Journal of Formal Logic 44 (4):227-251.

Add more citations

References found in this work

Russell's Mathematical Logic.Kurt Gödel - 1946 - In Paul Arthur Schilpp (ed.), The Philosophy of Bertrand Russell, 2nd edition. Evanston, IL: The Library of Living Philosophers, Inc.. pp. 123-154.
New Foundations for Mathematical Logic.W. V. Quine - 1937 - Journal of Symbolic Logic 2 (2):86-87.
Les paradoxes de la logique.B. Russell - 1906 - Revue de Métaphysique et de Morale 14 (5):627-650.

View all 10 references / Add more references