Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

203663

Negative modalities in the light of paraconsistency

Hitoshi Omori Toshiharu Waragai

pp. 539-555

Abstract

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.

Pages: 539-555

DOI: 10.1007/978-3-319-15368-1_23

Full citation:

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.