Back to Search Start Over

Incomplete Symbols - Definite Descriptions Revisited.

Authors :
Gratzl, Norbert
Source :
Journal of Philosophical Logic. Oct2015, Vol. 44 Issue 5, p489-506. 18p.
Publication Year :
2015

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. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
00223611
Volume :
44
Issue :
5
Database :
Academic Search Index
Journal :
Journal of Philosophical Logic
Publication Type :
Academic Journal
Accession number :
112902309
Full Text :
https://doi.org/10.1007/s10992-014-9339-1