TEORIA DA REFERÊNCIA E SEMÂNTICA DE KRIPKE: UMA RELAÇÃO ENTRE LINGUAGEM E LÓGICA

O OBJETIVO DESTE TRABALHO É INVESTIGAR ALGUNS ELEMENTOS CONCEITUAIS DA TEORIA DA REFERÊNCIA CAUSAL DE KRIPKE SOB A PERSPECTIVA DA LÓGICA MODAL. O NOSSO PROBLEMA CONSISTE EM ESTABELECER A RELAÇÃO ENTRE OS ELEMENTOS DA TEORIA DA REFERÊNCIA CAUSAL DE KRIPKE E A SUA SEMÂNTICA RELACIONAL. PARA ATINGIR O FITO DE TAL INVESTIGAÇÃO, UTILIZAMOS A OBRA NAMING AND NECESSITY (1980) DE SAUL KRIPKE, O SEU ARTIGO A COMPLETENESS THEOREM IN MODAL LOGIC (1959) E A SUA VERSÃO AMPLIADA DE 1963. A PARTIR DA OBRA, ANALISAMOS OS ELEMENTOS DA TEORIA DA REFERÊNCIA, E A PARTIR DOS ARTIGOS APRESENTAMOS AS DEFINIÇÕES, OS TEOREMAS, LEMAS E COROLÁRIOS NECESSÁRIOS E CONSTITUINTES PARA A SEMÂNTICA DE KRIPKE. O QUE TORNA O NOSSO ESTUDO RELEVANTE É O FATO DE EXPLICITARMOS AS RELAÇÕES ENTRE OS CONCEITOS DA FILOSOFIA DA LINGUAGEM APRESENTADOS NA OBRA NAMING AND NECESSITY, TAIS COMO: NOMES, DESIGNADORES RÍGIDOS E RELAÇÃO DE ACESSIBILIDADE, COM CONCEITOS DA ESTRUTURA DE MODELOS NORMAIS DE KRIPKE PARA LÓGICA MODAL.