Keywords
Lógica
Existência
How to Cite
Abstract
The problem of defining modal operators using contingency as a primitive is discussed by assuming what Lewis and Langford call "Existence Postulate", an axiom which is formulated in the framwork of a modal language with propositional quantifiers. It is shown that the minimal contingency logic K Δ extended with the contingential counterpart of Existence Postulate is definitionally equivalent to the deontic logic KD extended with propositional quantifiers.
References
Colonna, G. (1994). Contingenza e noncontingenza, in Logical e Filosofia dela Scienza: Problemi e Prospective (a cura di C. Cellucci, M.C.Di Maio, G. Roncaglia) ETS, Pisa, pp.651-665.
Cresswell, M.J. (1988). Necessity and Contingency, Studia Logica, 47, pp. 145-149.
Fine, K. (1970). Propositional Quantifiers in Modal Logic, Theoria, 36, pp. 336-346.
Hughes, G.E. & Cresswell, M.J. (1984). A Companion to Modal Logic (London, Methuen).
Humberstone, L. (1995). The Logic Of Non-Contingency, Notre Dame Journal of Formal Logic, 36, pp. 214.229.
Kuhn, S. (1995). Minimal Non-Contingency Logic, Notre Dame Journal of Formal Logic, 36, pp. 230-234.
Lewis, C.I. & Langford, H.C. (1932). Symbolic Logic (New York, Dover).
Montogomery, H. & Routley, R. (1966). Contingency and Non-contingency Bases for Normal Modal Logics, Logique et Analyses, 9, pp. 318-328.
Montogomery, H. & Routley, R. (1968). Non-Contingency axioms for S4 and S5, Logique et Analyse, 11, pp. 422-424.
Montogomery, H. & Routley, R. (1969). Modalities in a Seuqence of Normal Non-Contingency Modal Axioms, Logique et Analyse, 12, pp. 225-227.
Pizzi, C. (s.d). Um’analisi semântica dela contingenza in Atti del Convegno in anore di S. Gemignami, Cesena.
This work is licensed under a Creative Commons Attribution 4.0 International License.
Copyright (c) 1999 Manuscrito: Revista Internacional de Filosofia
Downloads
