On Some Remarkable Relations Between Paraconsistent Logics, Modal Logics, and Ambiguity Logics
Diderik Batens · Lecture notes in pure and applied mathematics · 2002
This paper concerns some connections between paraconsistent logics, modal logics (mainly S5), and Ambiguity Logic AL (Classical Logic applied to a language in which all letters are indexed and in which quantifiers over such indices are present). S5 may be defined from AL. Three kinds of connections will be illustrated. First, a paraconsistent logic A is presented that has the same expressive power as S5. Next, I consider the definition of paraconsistent logics from S5 and AL. Such definition is shown to work for some logics, for example Priest's LP. Other paraconsistent logics appear to withstand such definition, typically those that contain a detachable material implication. Finally, I show that some paraconsistent logics and inconsistency-adaptive logics serve exactly the same purpose as some modal logics and ampliative adaptive logics based on S5. However, they serve this purpose along very different roads and the logics cannot be defined from one another. The paper intends to open lines of research rather than pursuing them to the end. It also contains a poor person's semantics for S5 as well as a description of the simple but useful and powerful AL.