EXISTÊNCIA, NOMES PRÓPRIOS E LÓGICA LIVRE

O PRESENTE TRABALHO LIDA COM O PROBLEMA DAS SENTENÇAS DE EXISTÊNCIA QUE ENVOLVEM NOMES PRÓPRIOS. A QUESTÃO PRINCIPAL É “QUAL A FUNÇÃO DO TERMO “EXISTE” EM PREDICAÇÕES SINGULARES DE EXISTÊNCIA?”. HÁ, BASICAMENTE, DOIS TIPOS DE SENTENÇAS EXISTENCIAIS SINGULARES: AFIRMATIVA (A EXISTE) E NEGATIVA (A NÃO EXISTE). O PROBLEMA É QUE O PRIMEIRO TIPO GERA TAUTOLOGIAS E O SEGUNDO CONTRADIÇÕES. PARA LIDAR COM ESSE PROBLEMA, ESSE TRABALHO É DIVIDIDO EM TRÊS CAPÍTULOS. NO PRIMEIRO CAPÍTULO, RETOMAMOS O DEBATE CLÁSSICO ACERCA DE PREDICAÇÕES SINGULARES ENTRE ALEXIUS MEINONG E BERTRAND RUSSELL. TAMBÉM DISCUTIMOS O CRITÉRIO ONTOLÓGICO FORNECIDO POR QUINE. NO SEGUNDO CAPÍTULO, APRESENTAMOS E DISCUTIMOS TRÊS PERSPECTIVAS (KRIPKE, SALMON E BRANQUINHO) QUE BUSCAM SUSTENTAR QUE “EXISTE” DESEMPENHA O PAPEL DE PREDICADO DE PRIMEIRA ORDEM. NO TERCEIRO CAPÍTULO, APRESENTO O SISTEMA DE LÓGICA LIVRE DE HINTIKKA. ESSE SISTEMA FORNECE UMA EXPLICAÇÃO PARA A OCORRÊNCIA DE NOMES VAZIOS NO ÂMBITO DA LÓGICA. UTILIZO A PROPOSTA DE HINTIKKA PARA FORTALECER LOGICAMENTE A IDEIA DE QUE EXISTÊNCIA É UM PREDICADO DE PRIMEIRA ORDEM. COM BASE NAS IDEIAS DE HINTIKKA E SALMON, DESENVOLVO UMA ABORDAGEM DOS NOMES DA LINGUAGEM NATURAL E DAS SENTENÇAS EXISTENCIAIS.