Lógica deôntica básica e filtros

Ano 11 nº 22 2019 • Argumentos: Revista de Filosofia (UFC)

Autor: Hércules de Araujo Feitosa; Marcelo Reicher Soares; Cristiane Alexandra Lázaro

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.

Abstract:

Deontic logic is a branch of symbolic logic interested in notions as obligatory, permissible, forbidden, and similar ones. One presentation of Standard Deontic Logic, well known as the modal logic KD, has an appearance that remember the mathematical structure of filters. So we show that indeed the class of proper filters on Boolean algebras are adequate model for KD.

ISSN: 19844255

DOI: 10.36517/Argmentos.22.1

Texto Completo: http://www.periodicos.ufc.br/argumentos/article/view/41740

Palavras-Chave: Lógica deôntica. Filtros. Lógicas Modais. Modelos para lógicas modais.

Argumentos: Revista de Filosofia (UFC)

A ARGUMENTOS é um projeto que visa ampliar o espaço de visibilidade dos trabalhos dos pesquisadores em Filosofia. Como meio de expressão, enseja divulgar o julgamento reflexivo dessa comunidade. ARGUMENTOS é espaço de debate, aberto e plural, capaz de acolher os mais diferentes interesses filosóficos. O critério norteador da revista é a qualidade argumentativa, a boa escrita e o bom domínio do discurso filosófico. Escrita no plural, a revista acolhe os vários tipos de argumentos (demonstrativo, verossímil, metafórico, dialético, político etc). O intuito é apresentar, integrar e expandir a produção dos autores em Filosofia do Brasil e do exterior. A edição, na forma impressa e eletrônica da revista, visa facilitar o acesso e a difusão das traduções, resenhas, entrevistas e artigos publicados.