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 consequência lógica e consequê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.
Palavras-chave: Lógica deôntica. Análise filosófica. Semântica filosófica. Reino dos Fins. Kant. Hintikka.