REDUÇÃO PLENA DO DEÔNTICO AO ÔNTICO

A presente dissertação tem como objetivo uma apresentação da proposta de Charles.Kielkopf, de tradução da lógica deôntica standard em uma lógica normal alética e de seus.resultados quanto à construção de um sistema de lógica deôntica que capture conceitos e.princípios kantianos como necessidade causal e as formulações do Imperativo Categórico.acerca do Reino da Natureza e do Reino dos Fins. Uma vez que este processo resulta em.uma interpretação de aspectos da filosofia kantiana, optou-se inicialmente por uma.apresentação em linhas gerais destas concepções e, tendo em vista as dificuldades.referentes a aplicabilidade de um processo de tradução entre princípios deônticos e ônticos,.fez-se necessária também uma exposição acerca do problema das barreiras inferenciais,.bem como de sua conseqüência mais imediata, a saber, o Dilema de Jörgensen. Num.segundo momento, também foi feita uma caracterização dos sistemas modais normais, tanto.deônticos quanto aléticos, bem como da noção de tradução entre lógicas e dos modelos de.Dawson. O capítulo final consiste justamente num exame crítico da proposta de Kielkopf, o.qual faz uso dos modelos de Dawson para desenvolver uma lógica deôntica a partir do.sistema lógico K1. Tais modelos de Dawson permitem a definição de uma lógica deôntica.em termos de modalidades aléticas iteradas, com o que este modelo constitui-se em uma.maneira de evitar os problemas referentes às barreiras inferenciais. O desenvolvimento de.uma alternativa para a atribuição de um status lógico a concepções deônticas não constitui,.contudo, o aspecto inovador desta proposta, tal aspecto encontra-se justamente na.utilização por Kielkopf, de seu modelo formal como uma ferramenta para a investigação de.concepções filosóficas, no caso, as concepções kantianas já citadas