As implicações do teorema forte de Löweheim-Skolem na doutrina da relatividade ontológica de Quine
Carregando...
Arquivos
Data
Autor(es)
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Minas Gerais
Descrição
Tipo
Tese de doutorado
Título alternativo
Primeiro orientador
Membros da banca
Antônio Mariano Nogueira Coelho
Rogério Passos Severo
Abílio Azambuja Rodrigues Filho
Guilherme Araújo Cardoso
Rogério Passos Severo
Abílio Azambuja Rodrigues Filho
Guilherme Araújo Cardoso
Resumo
Neste estudo, proponho ampliar a compreensão acerca do pensamento do filósofo Willard Van Orman Quine (1908-2000), particularmente no que se refere ao teorema de Löwenheim-Skolem em sua forma forte, no contexto de sua doutrina da relatividade ontológica. Para tanto, apresento as implicações ontológicas da adoção da teoria de conjuntos ZFC como teoria de base na interpretação quiniana. Este objetivo desdobrou-se em uma investigação acerca dos elementos conceituais e argumentativos do projeto metafísico de Quine, relacionando-se não somente à mencionada relatividade ontológica, mas também à redução ontológica, bem como às características formais da lógica clássica de primeira ordem inerentes à ZFC e ao teorema de Löwenheim-Skolem em sua forma forte.
Abstract
In this study, I propose to expand the understanding of the thought of philosopher Willard Van Orman Quine (1908-2000), particularly regarding the Löwenheim-Skolem theorem in its strong form, within the context of his doctrine of ontological relativity. To this end, I present the ontological implications of adopting the ZFC set theory as the foundational theory in the Quinean interpretation. This goal unfolded into an investigation of the conceptual and argumentative elements of Quine's metaphysical project, relating not only to the aforementioned ontological relativity but also to ontological reduction, as well as to the formal characteristics of classical first-order logic inherent to ZFC and the Löwenheim-Skolem theorem in its strong form.
Assunto
Filosofia - Teses, Ontologia - Teses, Lógica - Teses
Palavras-chave
Quine, Ontologia, Lógica, ZFC, Teorema de Löwenheim-Skolem
Citação
Departamento
Endereço externo
Avaliação
Revisão
Suplementado Por
Referenciado Por
Licença Creative Commons
Exceto quando indicado de outra forma, a licença deste item é descrita como Acesso Aberto