Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements
| Authors | |
|---|---|
| Year of publication | 2017 |
| Type | Conference abstract |
| MU Faculty or unit | |
| Citation | |
| Description | 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. |
| Related projects: |