Incomplete Descriptions and Qualified Definiteness
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909446146359296 |
|---|---|
| author | Więckowski, Bartosz |
| author_facet | Więckowski, Bartosz |
| contents | According to Russell, strict uses of the definite article 'the' in a definite description 'the F' involve uniqueness; in case there is more than one F, 'the F' is used somewhat loosely, and an indefinite description 'an F' should be preferred. We give an account of constructions of the form 'the F is G' in which the definite article is used loosely (and in which 'the F' is, therefore, incomplete), essentially by replacing the usual notion of identity in Russell's uniqueness clause with the notion of qualified identity, i.e., 'a is the same as b in all Q-respects', where Q is a subset of the set of predicates P. This modification gives us qualified notions of uniqueness and definiteness. A qualified definiteness statement 'the Q-unique F is G' is strict in case Q = P and loose in case Q is a proper subset of P. The account is made formally precise in terms of proof theory and proof-theoretic semantics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_00488 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Incomplete Descriptions and Qualified Definiteness Więckowski, Bartosz Logic in Computer Science F.4.1, I.2.3 According to Russell, strict uses of the definite article 'the' in a definite description 'the F' involve uniqueness; in case there is more than one F, 'the F' is used somewhat loosely, and an indefinite description 'an F' should be preferred. We give an account of constructions of the form 'the F is G' in which the definite article is used loosely (and in which 'the F' is, therefore, incomplete), essentially by replacing the usual notion of identity in Russell's uniqueness clause with the notion of qualified identity, i.e., 'a is the same as b in all Q-respects', where Q is a subset of the set of predicates P. This modification gives us qualified notions of uniqueness and definiteness. A qualified definiteness statement 'the Q-unique F is G' is strict in case Q = P and loose in case Q is a proper subset of P. The account is made formally precise in terms of proof theory and proof-theoretic semantics. |
| title | Incomplete Descriptions and Qualified Definiteness |
| topic | Logic in Computer Science F.4.1, I.2.3 |
| url | https://arxiv.org/abs/2501.00488 |