Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements

• Autoři: RACLAVSKÝ Jiří
• Rok publikování: 2017
• Druh: Konferenční abstrakty
• Fakulta / Pracoviště MU: Filozofická fakulta
• Popis: I utilize a convenient higher-order modal predicate logic, a partial type theory, to provide an apt and satisfactory treatment of existential import of categorical and modal categorical statements. The approach accommodates the well defensible assumption that some propositions are truth-valueless.

Související projekty

• Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů