Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica

Detalhes bibliográficos
Autor(a) principal: Lima, Guilherme Messias Pereira
Data de Publicação: 2021
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/
Resumo: Usualmente, filósofos analíticos utilizam, implícita ou explicitamente, a formalização lógica em seus argumentos com o objetivo de regular inferências válidas em certos contextos racionais; nesse contexto, a lógica modal é usada para estruturar argumentos metafísicos. Porém, a própria escolha do sistema lógico que se pretende adotar exige certas assunções inicias. A relação entre espaços topológicos e a lógica modal proposicional S4 é conhecida desde 1944. Em 2008, Awodey e Kishida demonstraram que a lógica FOS4 - modal de primeira ordem - é completa em relação à classe de feixe-interpretações, interpretações fibradas com estrutura topológica. Neste projeto, investigo as propriedades topológicas das semânticas para S4 e FOS4. Tais sistemas, em particular S4, são localmente similares ao espaço euclidiano. De acordo com a física contemporânea, o espaço físico pode ser descrito como localmente euclidiano; mais do que isso, parece possível argumentarmos que nosso espaço de representação, lugar em que nossas ideias e conceitos são re-presentados, também é localmente similar ao espaço euclidiano. Tal similaridade local entre nossos espaço de representação, espaço de percepção (físico) e espaço lógico (racional) é meu principal argumento em favor da axiomática para S4 como caracterizadora do sistema que captura as leis lógicas para noções metafísicas. Tal posição é baseada em uma perspectiva cética-moderada, porque leva em conta a possibilidade de que tais leis existam, mas também reconhece nossas limitações para acessá-las. Procuro argumentar que nossas limitações epistêmicas e linguísticas em relação à completude dos \"fatos do mundo\" podem ser contornadas pela razão com a admissão de tais leis, a partir do qual podemos, de maneira um pouco mais segura, explorar questões relativas a problemas clássicos sobre o ser, identidade e a essência das coisas.
id USP_2be7c7e2046030adbc0410ec4df20458
oai_identifier_str oai:teses.usp.br:tde-04072022-164934
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísicaTopological Semantics for Quantified Modal Logic: a Metaphysical PerspectiveFOS4 logicLógica FOS4Lógica modalLógica S4MetafísicaMetaphysicsModal logicS4 logicSemântica topológicaTopological semanticsUsualmente, filósofos analíticos utilizam, implícita ou explicitamente, a formalização lógica em seus argumentos com o objetivo de regular inferências válidas em certos contextos racionais; nesse contexto, a lógica modal é usada para estruturar argumentos metafísicos. Porém, a própria escolha do sistema lógico que se pretende adotar exige certas assunções inicias. A relação entre espaços topológicos e a lógica modal proposicional S4 é conhecida desde 1944. Em 2008, Awodey e Kishida demonstraram que a lógica FOS4 - modal de primeira ordem - é completa em relação à classe de feixe-interpretações, interpretações fibradas com estrutura topológica. Neste projeto, investigo as propriedades topológicas das semânticas para S4 e FOS4. Tais sistemas, em particular S4, são localmente similares ao espaço euclidiano. De acordo com a física contemporânea, o espaço físico pode ser descrito como localmente euclidiano; mais do que isso, parece possível argumentarmos que nosso espaço de representação, lugar em que nossas ideias e conceitos são re-presentados, também é localmente similar ao espaço euclidiano. Tal similaridade local entre nossos espaço de representação, espaço de percepção (físico) e espaço lógico (racional) é meu principal argumento em favor da axiomática para S4 como caracterizadora do sistema que captura as leis lógicas para noções metafísicas. Tal posição é baseada em uma perspectiva cética-moderada, porque leva em conta a possibilidade de que tais leis existam, mas também reconhece nossas limitações para acessá-las. Procuro argumentar que nossas limitações epistêmicas e linguísticas em relação à completude dos \"fatos do mundo\" podem ser contornadas pela razão com a admissão de tais leis, a partir do qual podemos, de maneira um pouco mais segura, explorar questões relativas a problemas clássicos sobre o ser, identidade e a essência das coisas.It\'s usual to analytical philosophers to use, implicitly or explicitly, logical formalization in their arguments, it aims to regulate valid inferences in certain rational contexts; for instance, modal logic is used to represent metaphysical notions. But the very adoption of a logical system demands philosophical assumptions. The relationship between topological spaces and the propositional modal system S4 is known since 1944. In 2008, Awodey and Kishida demonstrated that the logic FOS4 - first order modal logic - is complete concerning the class of sheaf-interpretations, bundle interpretations with topological structure. In this project, I investigate the topological properties of those semantics for S4 and FOS4. Such systems, in particular S4, are locally similar to Euclidean spaces. According to contemporary physics, physical space can be described as locally Euclidean; moreover, it seems easy to argue that our space of representation, where our ideas and concepts are re-presented, is also locally euclidean. This local similarity between our representation space, perception (physical) space and logical (rational) space is my main argument in favor of S4-axioms as the system that captures the logical laws for metaphysical notions. Such a position is based on a skeptical-moderate perspective because it takes into account the possibility that those laws exist, but it also recognizes our limited ability to access them. I seek to argue that ours epistemic and linguistic limitations to the fullness of the \"facts of the world\" can be circumvented by reasoning, with the admission of those laws, from which it\'s possible to explore, with a little more security, questions concerning classical problems about being, identity and the essence of things.Biblioteca Digitais de Teses e Dissertações da USPSouza, Edelcio Gonçalves deLima, Guilherme Messias Pereira2021-12-21info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2022-07-04T20:00:57Zoai:teses.usp.br:tde-04072022-164934Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212022-07-04T20:00:57Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica
Topological Semantics for Quantified Modal Logic: a Metaphysical Perspective
title Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica
spellingShingle Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica
Lima, Guilherme Messias Pereira
FOS4 logic
Lógica FOS4
Lógica modal
Lógica S4
Metafísica
Metaphysics
Modal logic
S4 logic
Semântica topológica
Topological semantics
title_short Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica
title_full Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica
title_fullStr Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica
title_full_unstemmed Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica
title_sort Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica
author Lima, Guilherme Messias Pereira
author_facet Lima, Guilherme Messias Pereira
author_role author
dc.contributor.none.fl_str_mv Souza, Edelcio Gonçalves de
dc.contributor.author.fl_str_mv Lima, Guilherme Messias Pereira
dc.subject.por.fl_str_mv FOS4 logic
Lógica FOS4
Lógica modal
Lógica S4
Metafísica
Metaphysics
Modal logic
S4 logic
Semântica topológica
Topological semantics
topic FOS4 logic
Lógica FOS4
Lógica modal
Lógica S4
Metafísica
Metaphysics
Modal logic
S4 logic
Semântica topológica
Topological semantics
description Usualmente, filósofos analíticos utilizam, implícita ou explicitamente, a formalização lógica em seus argumentos com o objetivo de regular inferências válidas em certos contextos racionais; nesse contexto, a lógica modal é usada para estruturar argumentos metafísicos. Porém, a própria escolha do sistema lógico que se pretende adotar exige certas assunções inicias. A relação entre espaços topológicos e a lógica modal proposicional S4 é conhecida desde 1944. Em 2008, Awodey e Kishida demonstraram que a lógica FOS4 - modal de primeira ordem - é completa em relação à classe de feixe-interpretações, interpretações fibradas com estrutura topológica. Neste projeto, investigo as propriedades topológicas das semânticas para S4 e FOS4. Tais sistemas, em particular S4, são localmente similares ao espaço euclidiano. De acordo com a física contemporânea, o espaço físico pode ser descrito como localmente euclidiano; mais do que isso, parece possível argumentarmos que nosso espaço de representação, lugar em que nossas ideias e conceitos são re-presentados, também é localmente similar ao espaço euclidiano. Tal similaridade local entre nossos espaço de representação, espaço de percepção (físico) e espaço lógico (racional) é meu principal argumento em favor da axiomática para S4 como caracterizadora do sistema que captura as leis lógicas para noções metafísicas. Tal posição é baseada em uma perspectiva cética-moderada, porque leva em conta a possibilidade de que tais leis existam, mas também reconhece nossas limitações para acessá-las. Procuro argumentar que nossas limitações epistêmicas e linguísticas em relação à completude dos \"fatos do mundo\" podem ser contornadas pela razão com a admissão de tais leis, a partir do qual podemos, de maneira um pouco mais segura, explorar questões relativas a problemas clássicos sobre o ser, identidade e a essência das coisas.
publishDate 2021
dc.date.none.fl_str_mv 2021-12-21
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/
url https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815256664732860416