GUILHERME MESSIAS PEREIRA LIMA

É comum que filósofos analíticos utilizem, implícita ou explicitamente, a formalização lógica de seus argumentos, com o intuito de regular as inferências válidas em certos contextos racionais; como exemplo. Mas a própria escolha de um sistema lógico modal exige a adoção de certas hipóteses filosóficas. A relação entre espaços topológicos e a lógica modal proposicional S4 é conhecida desde 1944. Em 2008, Awodey and Kishida demonstram que a lógica FOS4 é completa em relação à classe de sheaf-interpretações, interpretações fibradas com estrutura topológica. Neste projeto, investigamos as propriedades topológicas das semânticas (canônicas) para S4 e FOS4. Tais sistemas são localmente similares aos espaços euclidianos, em relação a algumas propriedades topológicas elementares.