Reino da natureza, reino dos fins, e proto-reino: um estudo de traduções conservativas

We 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.