Lógica deôntica básica e filtros
DOI:
https://doi.org/10.36517/Argumentos.22.1Palabras clave:
Lógica deôntica. Filtros. Lógicas Modais. Modelos para lógicas modais.Resumen
A lógica deôntica é um ramo da lógica simbólica interessada em noções como obrigatório, permitido, proibido e outras similares. Uma apresentação da Lógica Deôntica Padrão, conhecida como a lógica modal KD, tem uma aparência que lembra a estrutura matemática dos filtros. Mostramos que, de fato, a classe de filtros próprios em álgebras booleanas é um modelo adequado para KD.
Citas
Bell, J. L.; Machover, M. A course in mathematical logic. Amsterdam: North-Holland, 1977.
Blackburn, P.; Rijke, M.; Venema, Y. Modal logic. Cambridge: Cambridge University Press, 2001.
Carnielli, W. A.; Pizzi, C. Modalità e multimodalità. Milano: Franco Angeli, 2001.
Chagrov, A.; Zakharyaschev, M. Modal logic. Oxford: Clarendon Press, 1997.
Chellas, B. Modal Logic: an introduction. Cambridge: Cambridge University Press, 1980.
Dunn, J. M.; Hardegree, G. M. Algebraic methods in philosophical logic. Oxford: Oxford University Press, 2001.
Ebbinghaus, H. D.; Flum, J.; Thomas, W. Mathematical logic. New York: Springer-Verlag, 1984.
Enderton, H. B. A mathematical introduction to logic. San Diego: Academic Press, 1972.
Fitting, M.; Mendelsohn, R. L. First-order modal logic. Dordrecht: Kluwer, 1998.
Mendelson, E. Introduction to mathematical logic. 3. ed. Monterey, CA: Wadsworth and Brooks / Cole Advanced Books and Software, 1987.
Miraglia, F. Cálculo proposicional: uma interação da álgebra e da lógica. Campinas: UNICAMP/CLE, 1987. (Coleção CLE, v. 1).
Rasiowa, H.; Sikorski, R. The mathematics of metamathematics. 2. ed. Waszawa: PWN - Polish Scientific Publishers, 1968.
Rasiowa, H. An algebraic approach to non-classical logics. Amsterdam: North-Holland, 1974.
Descargas
Publicado
Número
Sección
Licencia
Los autores que publican en esta revista aceptan los siguientes términos:
- Los autores mantienen los DERECHOS AUTORALES otorgados a la revista O el Derecho de Primera Publicación, con el trabajo licenciado simultáneamente a Creative Commons License Attribution (CC BY) que permite compartir el trabajo con reconocimiento de autoría y publicación inicial en esta revista.
- Los autores pueden aceptar contratos, distribución no exclusiva de la versión del trabajo publicado en esta revista (por ejemplo: publicación en el repositorio institucional o como capítulo del libro), con reconocimiento de autoría y publicación inicial en esta revista.
- Se permite a los autores publicar y distribuir su trabajo on-line (por ejemplo, en repositorios institucionales o en su página personal) durante el proceso editorial de información de que el artículo está en proceso de publicación. Esto puede aumentar el impacto y cita de trabajos publicados.
SOBRE COPYRIGHT Y POLÍTICA DE ACCESO LIBRE
La revista utiliza la atribución CC BY
.jpg)
._._3.png)
1.jpg)
._._._.png)
