Nearly every normal modal logic is paranormal

Logique Et Analyse 48 (189-192):279-300 (2005)
  Copy   BIBTEX


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, admits to some latent paranormality: It is paracomplete with respect to a negation defined as an impossibility operator, and paraconsistent with respect to a negation defined as non-necessity. In fact, as it will be shown here, even in languages without a primitive classical negation, normal modal logics can often be alternatively characterized directly by way of their paranormal negations and related operators. So, instead of talking about ‘necessity’, ‘possibility’, and so on, modal logics could be seen just as devices tailored for the study of (modal) negation. This paper shows how and to what extent this alternative characterization of modal logics can be realized.



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Infinitary propositional normal modal logic.Slavian Radev - 1987 - Studia Logica 46 (4):291 - 309.
A splitting logic in NExt(KTB).Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381 - 394.
Logics of essence and accident.Joao Marcos - 2005 - Bulletin of the Section of Logic 34 (1):43-56.
Is normal memory a paranormal phenomenon?John Beloff - 1980 - Theoria to Theory 14 (September):145-162.


Added to PP

53 (#302,525)

6 months
7 (#439,760)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joao Marcos
Universidade Federal do Rio Grande do Norte

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
A Natural History of Negation.Laurence R. Horn - 1989 - University of Chicago Press.
An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
A Natural History of Negation.Laurence R. Horn - 1989 - Philosophy and Rhetoric 24 (2):164-168.
An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.

View all 21 references / Add more references