Topic: PARACONSISTENCY
Logics of essence and accident
By João Marcos
We say that things happen accidentally when they do indeed happen, but only by chance. In the opposite situation, an essential happening is inescapable, its inevitability being the sine qua non for its very occurrence. This paper will investigate modal logics on a language tailored to talk about essential and accidental statements. Completeness of some among the weakest and the strongest such systems is attained. The weak expressibility of the classical propositional language enriched with the non-normal modal operators of essence and accident is highlighted and illustrated, both with respect to the definability of the more usual modal operators as well as with respect to the characterizability of classes of frames. Several interesting problems and directions are left open for exploration.
Keywords: philosophy of modal logic, non-normal modalities, formal metaphysics, essence, accident
Appeared in[i.] Bulletin of the Section of Logic, 34(1):43-56, 2005
[ii.] Marcos (2005) Logics of Formal Inconsitency, Chapter 3.1: 199-210
Sources: João Marcos' Webpage, Paraconsistency group, Paraconsistent Newsletter.
Posted by Tony Marmo
at 00:01 BST
Updated: Friday, 8 July 2005 02:19 BST
