Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2501.00485 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913632100548608 |
|---|---|
| author | Raclavský, Jiří |
| author_facet | Raclavský, Jiří |
| contents | Formal reasoning with non-denoting terms, esp. non-referring descriptions such as "the King of France", is still an under-investigated area. The recent exception being a series of papers e.g. by Indrzejczak, Zawidzki and Krbis. The present paper offers an alternative to their approach since instead of free logic and sequent calculus, it's framed in partial type theory with natural deduction in sequent style. Using a Montague- and Tichý-style formalization of natural language, the paper successfully handles deduction with intensional transitives whose complements are non-referring descriptions, and derives Strawsonian rules for existential presuppositions of sentences with such descriptions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_00485 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Two Cases of Deduction with Non-referring Descriptions Raclavský, Jiří Logic in Computer Science Computation and Language Formal reasoning with non-denoting terms, esp. non-referring descriptions such as "the King of France", is still an under-investigated area. The recent exception being a series of papers e.g. by Indrzejczak, Zawidzki and Krbis. The present paper offers an alternative to their approach since instead of free logic and sequent calculus, it's framed in partial type theory with natural deduction in sequent style. Using a Montague- and Tichý-style formalization of natural language, the paper successfully handles deduction with intensional transitives whose complements are non-referring descriptions, and derives Strawsonian rules for existential presuppositions of sentences with such descriptions. |
| title | Two Cases of Deduction with Non-referring Descriptions |
| topic | Logic in Computer Science Computation and Language |
| url | https://arxiv.org/abs/2501.00485 |