Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility

Logic and Logical Philosophy 21 (1):65-96 (2012)
  Copy   BIBTEX

Abstract

In this two-parts paper we present paranormal modal logic: a modal logic which is both paraconsistent and paracomplete. Besides using a general framework in which a wide range of logics  including normal modal logics, paranormal modal logics and classical logic can be defined and proving some key theorems about paranormal modal logic (including that it is inferentially equivalent to classical normal modal logic), we also provide a philosophical justification for the view that paranormal modal logic is a formalization of the notions of skeptical and credulous plausibility

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,363

External links

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

Through your library

Analytics

Added to PP
2013-10-29

Downloads
59 (#202,933)

6 months
1 (#451,398)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ricardo Silvestre
Federal University of Campina Grande

References found in this work

Probability and the Logic of Rational Belief.Henry E. Kyburg Jr - 1961 - Middletown, CT, USA: Wesleyan University Press.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Studies in the logic of confirmation.Carl A. Hempel - 1983 - In Peter Achinstein (ed.), The Concept of Evidence. Oxford University Press. pp. 1-26.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.

View all 25 references / Add more references