Two Cases of Deduction with Descriptions and Partiality
| Autoři | |
|---|---|
| Rok publikování | 2024 |
| Druh | Další prezentace na konferencích |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | 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 and Zawidzki. The present paper offers an alternative to their approach: instead of free logic and sequent calculus, it's framed in partial type theory with natural deduction in sequent style and utilizes a Tich\'{y}an theory of descriptions. It successfully handles deduction with intensional transitives whose complements are non-referring descriptions and Strawsonian rules for them. |
| Související projekty: |