Two Cases of Deduction with Descriptions and Partiality

Autoři

RACLAVSKÝ Jiří

Rok publikování 2024
Druh Další prezentace na konferencích
Fakulta / Pracoviště MU

Filozofická fakulta

Citace RACLAVSKÝ, Jiří. Two Cases of Deduction with Descriptions and Partiality. In Non-Cassical Logics: Theory and Application (NCL'24). 2024.
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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

K vyhodnocování tohoto webu a k personalizaci obsahu a reklam používáme soubory cookies. Když klikněte na „přijmout cookies", poskytnete nám souhlas k jejich uložení, správě a analýze. Upravit možnosti

Jen nezbytné Přijmout cookies