Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica (2021)
- Authors:
- Autor USP: LIMA, GUILHERME MESSIAS PEREIRA - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- DOI: 10.11606/T.8.2021.tde-04072022-164934
- Subjects: LÓGICA MODAL; METAFÍSICA; SEMÂNTICA; TOPOLOGIA
- Keywords: Lógica FOS4; lógica S4; semântica topológica
- Language: Português
- Abstract: 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émreconhece 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
- Imprenta:
- Data da defesa: 21.12.2021
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-sa
-
ABNT
LIMA, Guilherme Messias Pereira. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/. Acesso em: 12 nov. 2024. -
APA
Lima, G. M. P. (2021). Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/ -
NLM
Lima GMP. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica [Internet]. 2021 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/ -
Vancouver
Lima GMP. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica [Internet]. 2021 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/
Informações sobre o DOI: 10.11606/T.8.2021.tde-04072022-164934 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
