Lógica deôntica básica e filtros

Autores

DOI:

https://doi.org/10.36517/Argumentos.22.1

Palavras-chave:

Lógica deôntica. Filtros. Lógicas Modais. Modelos para lógicas modais.

Resumo

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.

Biografia do Autor

Cristiane A. Lázaro, Unesp

Professora da UNESP

Referências

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.

Downloads

Publicado

2019-11-18

Edição

n. 22

Seção

Artigos

Licença

Autores que publicam nesta revista concordam com os seguintes termos (SOBRE  COPYRIGHT E POLÍTICA DE ACESSO LIVRE): 

1. Autores mantém OS DIREITOS AUTORAIS concedidos à revista OU Direito de Primeira Publicação, com o trabalho simultaneamente licenciado à Atribuição de Licença Creative Commons (CC BY) que permite o compartilhamento dos trabalhos com reconhecimento de autoria e publicação inicial nesta revista.

2. Autores têm permissão para aceitar contratos, distribuição não-exclusiva da versão do trabalho publicada nesta revista (por exemplo: publicar no repositório institucional ou como um capítulo do livro), com reconhecimento de autoria e publicação inicial nesta revista.

3. Autores têm permissão e são estimulados a publicar e distribuir seu trabalho on-line (por exemplo: em repositórios institucionais ou em sua página pessoal) mesmo durante o processo editorial, haja visto que isso pode aumentar o impacto e citação do trabalho publicado.