Back to Search
Start Over
Incomplete Symbols - Definite Descriptions Revisited.
- 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