Use este identificador para citar ou linkar para este item: http://repositorio.ufc.br/handle/riufc/56423
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.advisorBarroso, Cicero Antônio Cavalcante-
dc.contributor.authorGomes, Francisco Rafael da Silva-
dc.date.accessioned2021-02-05T16:21:28Z-
dc.date.available2021-02-05T16:21:28Z-
dc.date.issued2021-
dc.identifier.citationGOMES, 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.pt_BR
dc.identifier.urihttp://www.repositorio.ufc.br/handle/riufc/56423-
dc.description.abstractIn 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.pt_BR
dc.language.isopt_BRpt_BR
dc.subjectExistênciapt_BR
dc.subjectPredicaçãopt_BR
dc.subjectNomes própriospt_BR
dc.subjectLógica livrept_BR
dc.subjectExistencept_BR
dc.subjectPredicationpt_BR
dc.subjectProper namespt_BR
dc.subjectFreelogicpt_BR
dc.titleExistência, nomes próprios e lógica livrept_BR
dc.typeDissertaçãopt_BR
dc.description.abstract-ptbrO 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.pt_BR
dc.title.enExistence, proper names and free logicpt_BR
Aparece nas coleções:PPGFILO - Dissertações defendidas na UFC

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
2021_dis_frsgomes.pdf578,11 kBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.