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 条
  • [31] Deixis, demonstratives, and definite descriptions
    Hughes, Thomas J.
    [J]. THOUGHT-A JOURNAL OF PHILOSOPHY, 2020, 9 (04): : 285 - 297
  • [32] Russell on Incomplete Symbols
    Pickel, Bryan
    [J]. PHILOSOPHY COMPASS, 2013, 8 (10): : 909 - 923
  • [33] DEFINITE DESCRIPTIONS AND THE ONTOLOGICAL ARGUMENT
    MANN, WE
    [J]. THEORIA, 1967, 33 : 211 - 229
  • [34] Grounding, subjectivity and definite descriptions
    Epstein, R
    [J]. GROUNDING: THE EPISTEMIC FOOTING OF DEIXIS AND REFERENCE, 2002, 21 : 41 - 82
  • [35] Generating minimal definite descriptions
    Gardent, C
    [J]. 40TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, PROCEEDINGS OF THE CONFERENCE, 2002, : 96 - 103
  • [36] An ambiguity test for definite descriptions
    Sennet, A
    [J]. PHILOSOPHICAL STUDIES, 2002, 111 (01) : 81 - 95
  • [37] DEFINITE DESCRIPTIONS, NEGATION, AND NECESSITATION
    SAYWARD, C
    [J]. RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL ARCHIVES, 1993, 13 (01): : 36 - 47
  • [38] The semantics of definite descriptions and identification
    Zouhar, Marian
    [J]. ON DESCRIPTION, 2014, : 21 - 32
  • [39] Rigid Designation and Definite Descriptions
    Rostworowski, Wojciech
    [J]. FILOZOFIA NAUKI, 2011, 19 (04): : 103 - +
  • [40] EXISTENCE IN THE THEORY OF DEFINITE DESCRIPTIONS
    Kroon, Frederick
    [J]. JOURNAL OF PHILOSOPHY, 2009, 106 (07): : 365 - 389
12345