Two Cases of Deduction with Descriptions and Partiality
| Authors | |
|---|---|
| Year of publication | 2024 |
| Type | Appeared in Conference without Proceedings |
| MU Faculty or unit | |
| Citation | |
| Description | 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. |
| Related projects: |