Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements
Autoři | |
---|---|
Rok publikování | 2017 |
Druh | Konferenční abstrakty |
Fakulta / Pracoviště MU | |
Citace | RACLAVSKÝ, Jiří. Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements. In Non-classical Modal and Predicate Logics (NCMPL 2017). 2017. |
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: |