Palavras-chave
Lógica
Existência
Como Citar
Resumo
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.
Referências
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.
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
Copyright (c) 1999 Manuscrito: Revista Internacional de Filosofia
Downloads
