Uma leitura kantiana da lógica deôntica standard
Resumo
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.