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

Authors
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
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1017/s1755020310000286
Options
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: 70,337
Through your library

References found in this work BETA

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
Descriptions.Stephen Neale - 1990 - MIT Press.
Mathematical Logic.W. V. Quine - 1940 - 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

Citations of this work BETA

Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.
Russell's Revenge: A Problem for Bivalent Fregean Theories of Descriptions.Jan Heylen - 2017 - Pacific Philosophical Quarterly 98 (4):636-652.

Add more citations

Similar books and articles

Definite Descriptions: Language, Logic, and Elimination.Norbert Gratzl - 2009 - In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. pp. 355.
Epsilon Substitution for Transfinite Induction.Henry Towsner - 2005 - Archive for Mathematical Logic 44 (4):397-412.
Elimination of Algorithmic Quantifiers for Ordered Differential Algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
The Elimination Argument.Andrew M. Bailey - 2014 - Philosophical Studies 168 (2):475-482.
On Designating.Nathan Salmon - 2005 - Mind 114 (456):1069-1133.
The Role of Quantifier Alternations in Cut Elimination.Philipp Gerhardy - 2005 - Notre Dame Journal of Formal Logic 46 (2):165-171.
Reduction, Elimination, and Firewalking.Colin Cheyne - 1993 - Philosophy of Science 60 (2):349-357.
Epsilon Substitution Method for Theories of Jump Hierarchies.Toshiyasu Arai - 2002 - Archive for Mathematical Logic 41 (2):123-153.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.

Analytics

Added to PP index
2013-12-09

Total views
71 ( #162,254 of 2,508,063 )

Recent downloads (6 months)
1 ( #416,711 of 2,508,063 )

How can I increase my downloads?

Downloads

My notes