Incomplete Symbols - Definite Descriptions Revisited

Gratzl, Norbert (2015): Incomplete Symbols - Definite Descriptions Revisited. In: Journal of Philosophical Logic, Bd. 44, Nr. 5: S. 489-506

Abstract

We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase `incomplete symbols' is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase `no meaning in isolation' in a formal way.

• Dokumententyp: Zeitschriftenartikel
• Keywords: Definite descriptions; Philosophical logic; Proof theory
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Metaphysics and Philosophy of Language
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie ; 100 Philosophie und Psychologie > 160 Logik
• ISSN: 1573-0433
• Sprache: Englisch