Por favor, use este identificador para citar o enlazar este ítem:
http://repositorio.ufc.br/handle/riufc/56423| Tipo: | Dissertação |
| Título : | Existência, nomes próprios e lógica livre |
| Título en inglés: | Existence, proper names and free logic |
| Autor : | Gomes, Francisco Rafael da Silva |
| Tutor: | Barroso, Cicero Antônio Cavalcante |
| Palabras clave : | Existência;Predicação;Nomes próprios;Lógica livre;Existence;Predication;Proper names;Freelogic |
| Fecha de publicación : | 2021 |
| Citación : | GOMES, Francisco Rafael da Silva. Existência, nomes próprios e lógica livre. 2021. 77 f. Dissertação (Mestrado em Filosofia) - Universidade Federal do Ceará, Fortaleza, 2021. |
| Resumen en portugués brasileño: | 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 (aexiste) e negativa (anão existe). O problema é que o primeiro tipo gera tautologias e o segundo contradições. Para lidar com esse problema, examinamos o conceito de existência de primeira ordem e os problemas que ele pode levantar. Assim, 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. |
| Abstract: | In this work, I investigate the problem of existential sentences involving proper names. The main question is: “What is the role of the term ‘exist’ in singular existential predications?” There are two types of singular existential sentences: affirmative (aexists) and negative sentences (adoes not exist). True affirmative sentences yield tautologies; true negative sentences yield inconsistencies. In order to scrutinize these issues, this work exhibits three parts. Firstly, I discuss the classic debate on singular predications regarding the works of Alexius Meinong and Bertrand Russell. The Ontological Commitment criterion provided for Quine is also investigated. Secondly, three perspectives are scrutinized—Kripke, Salmon and Branquinho. They defend that “existence” is a first order predication. Lastly, I present Hintikka’s free logic. His system provides an account for the occurrence of empty names in a formal logic. I use Hintikka’s proposal for defending that existence is a first order predicate. Regarding existential sentences, I develop a proposal for empty names in ordinary language. My approach is based on the ideas from Hintikka and Salmon. |
| URI : | http://www.repositorio.ufc.br/handle/riufc/56423 |
| Aparece en las colecciones: | PPGFILO - Dissertações defendidas na UFC |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 2021_dis_frsgomes.pdf | 578,11 kB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.