Sautter, Frank ThomasFeitosa, Hércules de Araujo [UNESP]2016-03-022016-03-022014Cognitio-Estudos, v. 11, n. 1, p. 98-108, 2014.1809-8428http://hdl.handle.net/11449/135623We provide conservative translations from propositional modal logic KT (the simplest normal alethic logic) into propositional modal logic KD (the simplest normal deontic logic), and from this into the propositional modal logic K (the simplest normal logic simpliciter). Following an idea discussed by Jaakko Hintikka, these conservative translations are based on the third formulation of Kantian categorical imperative, the formulation of the Kingdom of Ends.Fornecemos traduções conservativas da lógica proposicional modal KT (a mais simples lógica normal alética) na lógica proposicional modal KD (a mais simples lógica normal deôntica), e desta na lógica proposicional modal K (a mais simples lógica normal simpliciter). Seguindo uma ideia discutida por Jaakko Hintikka, essas traduções conservativas estão baseadas na terceira formulação kantiana do imperativo categórico, a formulação do Reino dos Fins.98-108porAlethic logicDeontic logicConservative translationKantLógica aléticaLógica deônticaTradução conservativaKantArtigoAcesso restrito07397343904266872804652028967760