Repository | Series | Buch | Kapitel
Negative modalities in the light of paraconsistency
pp. 539-555
Abstrakt
Modality and non-classical negation have some interesting connections. One of the most famous connections is the relation between S4-modality and intuitionistic negation. In this chapter, we focus on the negative modalities in the perspective of paraconsistency. The basic idea here is to consider the negative modality defined as "not necessarily" or equivalently "possibly not" where "not" is classical negation, and "necessarily" and "possibly" are modalities in modal logics. This chapter offers a solution to the problem of axiomatizing systems of modal logic such as D and S4 in terms of negative modalities. One of the upshots of this solution is that we may consider the semantics of paraconsistency with the help of various considerations known in the literature of modal logics related to D and S4.
Publication details
Published in:
Koslow Arnold, Buchsbaum Arthur (2015) The road to universal logic II: Festschrift for the 50th birthday of Jean-Yves Béziau. Basel, Birkhäuser.
Seiten: 539-555
DOI: 10.1007/978-3-319-15368-1_23
Referenz:
Omori Hitoshi, Waragai Toshiharu (2015) „Negative modalities in the light of paraconsistency“, In: A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, 539–555.