Seminário de Lógica Matemática

Apresentação de lógica formal chamada Lógica dos Termos Naturais (NTL), que se baseia na estrutura sintática e lógica da linguagem natural por Bruno Dinis, professor auxiliar da Universidade de Évora, membro do Departamento de Matemática e do CIMA - Centro de Investigação em Matemática e Aplicações.

A CEMS.UL convida para a participação na palestra de apresentação uma lógica formal chamada Lógica dos Termos Naturais (NTL), que se baseia na estrutura sintática e lógica da linguagem natural. A NTL pode ser vista como um refinamento das ideias do artigo de Quine, «Variables Explained Away», e dos conceitos técnicos introduzidos por Bealer e Zalta. A NTL é mais refinada do que a lógica intencional de primeira ordem de Bealer (BL): existe uma correspondência muitos-para-um $\nu$ entre os termos NTL, os termos BL fechados e uma correspondência um-para-um $\beta$ que atribui a cada termo BL um termo NTL correspondente. Definirei uma série de reduções na NTL para as quais cada termo NTL T se reduz a um único termo normal N. É possível mostrar que $\nu$ é invariante sob estas reduções e que $\beta \nu T = N$, portanto, termos fechados de BL representam termos NTL normais. Os resultados acima dependem de um tratamento matemático de permutações e relações de equivalência em conjuntos finitos totalmente ordenados, uma teoria que chamamos de plectologia e que acreditamos ser interessante por si só.

Trabalho realizado em conjunto com Clarence Protin.

Vem participar!

15 dezembro 2025 às 15h00 na sala 6.2.33 na Ciências ULisboa