Artículos de revistas
Logics Of Essence And Accident
Registro en:
Bulletin Of The Section Of Logic. University Of Lodz, v. 34, n. 1, p. 43 - 56, 2005.
1380680
2-s2.0-77952365299
Autor
Marcos J.
Institución
Resumen
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 acci- dental 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. 34 1 43 56 Blackburn, P., De Rijke, M., Venema, Y., (2001) Modal Logic, Volume 53 of Cambridge Tracts in Theoretical Computer Science, , Cambridge University Press, Cambridge / MA Carnielli, W.A., Marcos, J., A taxonomy of C-systems Paraconsistency: The Logical Way to the Inconsistent, Proceedings of the II World Congress on Paraconsistency, Held in Juquehy, BR, May 8-12, 2000, Volume 228 of Lecture Notes in Pure and Applied Mathematics, pp. 1-94. , W. A. Carnielli, M. E. Coniglio, and I. M. L. D'Ottaviano, editors Dekker, M., (2002), http://www.cle.unicamp.br/e-prints/abstractJ5.htmCresswell, M.J., Necessity and contingency (1988) Studia Logica, 47 (2), pp. 145-149 Fine, K., The logic of essence (1995) Journal of Philosophical Logic, 3, pp. 241-273 Humberstone, L., The logic of non-contingency (1995) Notre Dame Journal of Formal Logic, 36 (2), pp. 214-229 Keynes, J.N., (1887) Studies and Exercises in Formal Logic - Including A Generalization of Logical Processes in Their Application to Complex Inferences, , MacMillan and Co, London and New York. 2nd edition, revised and enlarged Kripke, S.A., (1982) Naming and Necessity, , Harvard University Press Kuhn, S.T., Minimal non-contingency logic (1995) Notre Dame Journal of Formal Logic, 36 (2), pp. 230-234 Marcos, J., (2004) Nearly Every Normal Modal Logic Is Paranormal, Research Report, CLC, Department of Mathematics, , http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-Paranormal.pdf, Instituto Superior Tecnico, 1049-001 Lisbon, PT. Submitted for publication Montgomery, H.A., Routley, R., Contingency and non-contingency bases for normal modal logics (1966) Logique et Analyse (N.S.), 9, pp. 318-328 Small, C.G., Reflections on Godel's ontological argument (2001) Klarheit in Religionsdingen: Aktuelle Beiträge Zur Religionsphilosophie, Grundlagenprobleme Unserer Zeit, 3, pp. 109-144. , W. Deppert and M. Rahnfeld, editors, Leipziger Univer-sitatsverlag