Incomplete Symbols - Definite Descriptions Revisited

被引：5

作者：

Gratzl, Norbert ^{[1
]}

机构：

[1] Munich Ctr Math Philosophy, Munich, Bavaria, Germany

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 2015年 / 44卷 / 05期

关键词：

Definite descriptions; Philosophical logic; Proof theory; ELIMINATION;

D O I：

10.1007/s10992-014-9339-1

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

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.

引用

页码：489 / 506

页数：18

共 50 条

[41] Rigid Designation and Definite Descriptions
Rostworowski, Wojciech
[J]. FILOZOFIA NAUKI, 2011, 19 (04): : 103 - +
[42] EXISTENCE IN THE THEORY OF DEFINITE DESCRIPTIONS
Kroon, Frederick
[J]. JOURNAL OF PHILOSOPHY, 2009, 106 (07): : 365 - 389
[43] Definite descriptions, reference, and inference
Zouhar, Marian
[J]. THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2007, 73 : 28 - 45
[44] The existence entailments of definite descriptions
Elbourne, Paul
[J]. LINGUISTICS AND PHILOSOPHY, 2010, 33 (01) : 1 - 10
[45] PROCEDURAL MEANING AND DEFINITE DESCRIPTIONS
Caso, Ramiro
[J]. ANALISIS FILOSOFICO, 2009, 29 (02): : 173 - 184
[46] Direct reference and definite descriptions
Marti, Genoveva
[J]. DIALECTICA, 2008, 62 (01) : 43 - 57
[47] DEMONSTRATIVE REFERENCE AND DEFINITE DESCRIPTIONS
WETTSTEIN, HK
[J]. PHILOSOPHICAL STUDIES, 1981, 40 (02) : 241 - 257
[48] Presupposition, assertion, and definite descriptions
Paul Elbourne
[J]. Linguistics and Philosophy, 2021, 44 : 1215 - 1253
[49] An Ambiguity Test for Definite Descriptions
Adam Sennet
[J]. Philosophical Studies, 2002, 111 : 81 - 95
[50] DEFINITE DESCRIPTIONS AND EXISTENCE ATTRIBUTION
ORILIA, F
[J]. TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1987, 6 (02): : 133 - 138

← 1 2 3 4 5 →