On the termination of russell’s description elimination algorithm

Review of Symbolic Logic 4 (3):367-393 (2011)
  Copy   BIBTEX

Abstract

In this paper we study the termination behavior of Russell’s description elimination rewrite system. We discuss certain claims made by Kripke (2005) in his paper concerning the possible nontermination of elimination of descriptions

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,072

External links

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

Through your library

Analytics

Added to PP
2013-12-09

Downloads
113 (#165,463)

6 months
12 (#234,891)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
Descriptions.Stephen Neale - 1990 - MIT Press.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Descriptions.D. E. Over - 1993 - Philosophical Quarterly 43 (172):392-394.

View all 8 references / Add more references