Nearly every normal modal logic is paranormal
João Marcos · 2005
The principal interest is philosophical: not to confine oneself to what is necessary for (current) practice, but to see what is possible by way of theoretical analysis. —Kreisel (1970). An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negation-inconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negation-incomplete logic has at least one model according to which neither some statement nor its negation are satisfied. Paraconsistent logics are negation-inconsistent yet non-overcomplete; paracomplete logics are negation-incomplete yet non-overcomplete. A paranormal logic is simply a logic that is both paraconsistent and paracomplete. Despite being perfectly consistent and complete with respect to classical negation, nearly every normal modal logic, in its ordinary language and interpretation,