Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The current dissertation has as its main objective an exposition and critical analysis of Charles Kielkopf's translation of the Standard Deontic Logic (SDL) into a normal alethic logic, and the resulting construction of a system of deontic logic that captures Kantian fundamental concepts and principles such as the concept of causal necessity and the formulations of the Categorical Imperative concerning Kingdom of Nature and Kingdom of Ends. Since this process results in an interpretation of aspects of the Kantian philosophy, it has been chosen, initially, a presentation in general lines of these concepts and, considering the difficulties regarding the applicability of a translation process between deontic and ontic principles, it was done necessary also an exhibition concerning the problem of the inferential barriers, as well as of his more immediate consequence, i. e., Jörgensen's Dilemma. In a second moment, it was also made a characterization of normal modal systems, deontic ones and alethic ones, as well as of the notions of translation between logics and of Dawson modelling. The final chapter consists of a critical examination of Kielkopf's proposal, which uses Dawson modelling to develop a deontic logic based on the alethic system K1. Such Dawson modelling allows the definition of a deontic modalities in terms of iterated alethic modalities, therefore this model constitutes a way of avoiding the problems regarding inferential barriers. The development of an alternative for attribution of logical status to deontic concepts doesn't constitute, however, in an innovative aspect of this proposal, such aspect can be founded in the use made by Kielkopf of his formal model as a tool for the investigation of philosophical concepts, such as the Kantian concepts already mentioned. / 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.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The current dissertation is the result of an investigation about the semantic of deontic logic. Restricting to the propositional version, the work had as the main objective of study some lectures of the philosopher J. Hintikka which semantic proposal for deontic logic includes a re-interpretation of an important notion in Kant s philosophy: the notion of a Kingdom of Ends. Kant also figures in the Hintikka proposal through the illustration of one of the results of his matter, it means, the distinction between logical and deontic consequence, from which the so called Kant s Principle is an example. Having as the objective the exposition of this proposal, it has chosen to situate it in a discussion about the convenience of formalizations has a tool of philosophical analysis. Therefore, the proposal of Hintikka figures as an example of formalization which the results can have relevant philosophical features. The general exposition of the Kantian formulations of the Categorical Imperative, especially the formulation of the Kingdom of Ends (the subject matter of the first chapter), it has as an aim to point the most relevant features in Kantian practical philosophy for doing the analysis that accomplishes on the third chapter. / A presente dissertação é o resultado de uma investigação acerca da semântica para lógica deôntica standard. Restringindo-se à versão proposicional da mesma, o trabalho teve como principal objeto de estudo alguns textos do filósofo J. Hintikka, cuja proposta de semântica para lógica deôntica inclui a reinterpretação de uma noção importante da filosofia de I. Kant: a noção de Reino dos Fins. Kant também figura na proposta de Hintikka pela ilustração de um dos resultados de sua abordagem, a saber, a distinção entre conseqüência lógica e conseqüência deôntica, da qual o assim chamado princípio de Kant é um exemplo. Tendo como objetivo a exposição desta proposta, optou-se por situá-la em uma discussão a respeito da conveniência da formalização enquanto ferramenta de análise filosófica. Sendo assim, a proposta de Hintikka figura como um exemplo de formalização cujos resultados podem ter características filosóficas relevantes. A exposição geral sobre as formulações kantianas do Imperativo Categórico, em especial a formulação do Reino dos Fins (tema do primeiro capítulo), tem como objetivo justamente apontar as características de maior relevância na filosofia prática de Kant para o trabalho de análise que se efetiva no terceiro capítulo da dissertação.