Definite Descriptions and Hybrid Tense Logic
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917853586784256 |
|---|---|
| author | Indrzejczak, Andrzej Zawidzki, Michał |
| author_facet | Indrzejczak, Andrzej Zawidzki, Michał |
| contents | We provide a version of first-order hybrid tense logic with predicate abstracts and definite descriptions as the only non-rigid terms. It is formalised by means of a tableau calculus working on sat-formulas. A particular theory of DD exploited here is essentially based on the approach of Russell, but with descriptions treated as genuine terms. However, the reductionist aspect of the Russellian approach is retained in several ways. Moreover, a special form of tense definite descriptions is formally developed. A constructive proof of the interpolation theorem for this calculus is given, which is an extension of the result provided by Blackburn and Marx. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_01484 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Definite Descriptions and Hybrid Tense Logic Indrzejczak, Andrzej Zawidzki, Michał Logic in Computer Science Logic I.2.3; I.2.4 We provide a version of first-order hybrid tense logic with predicate abstracts and definite descriptions as the only non-rigid terms. It is formalised by means of a tableau calculus working on sat-formulas. A particular theory of DD exploited here is essentially based on the approach of Russell, but with descriptions treated as genuine terms. However, the reductionist aspect of the Russellian approach is retained in several ways. Moreover, a special form of tense definite descriptions is formally developed. A constructive proof of the interpolation theorem for this calculus is given, which is an extension of the result provided by Blackburn and Marx. |
| title | Definite Descriptions and Hybrid Tense Logic |
| topic | Logic in Computer Science Logic I.2.3; I.2.4 |
| url | https://arxiv.org/abs/2412.01484 |