Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica
Autor(a) principal: | |
---|---|
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 |