Partiality and Its Dual |
| |
Authors: | Dunn J. Michael |
| |
Affiliation: | (1) Departments of Philosophy Computer Science, Indiana University, Bloomington, IN, 47405 |
| |
Abstract: | This paper explores allowing truth value assignments to be undetermined or "partial" (no truth values) and overdetermined or "inconsistent" (both truth values), thus returning to an investigation of the four-valued semantics that I initiated in the sixties. I examine some natural consequence relations and show how they are related to existing logics, including ukasiewicz's three-valued logic, Kleene's three-valued logic, Anderson and Belnap's (first-degree) relevant entailments, Priest's "Logic of Paradox", and the first-degree fragment of the Dunn-McCall system "R-mingle". None of these systems have nested implications, and I investigate twelve natural extensions containing nested implications, all of which can be viewed as coming from natural variations on Kripke's semantics for intuitionistic logic. Many of these logics exist antecedently in the literature, in particular Nelson's "constructible falsity". |
| |
Keywords: | consequence four-valued paraconsistent partial three-valued constructible falsity relevance logic intuitionistic logic |
本文献已被 SpringerLink 等数据库收录! |
|