Formato: Presencial

Local: IFCH - Sala 24A, prédio da pós graduação, IFCH.

Horário: 18h

A apresentação visa introduzir e dialogar sobre os temas para os quais o GLM (Grupo de Lógica, Filosofia e Matemática da UNICAMP) se volta. Esses temas são exatamente aqueles na intercessão entre a filosofia e a matemática, como teoria de categorias, filosofia da linguagem, lógica e metafísica de objetos matemáticos. A apresentação visa responder às perguntas “o que é a lógica (clássica)?” e “o que são as lógicas (não-clássicas)?” relacionando os pontos de vista formal (matemático) e filosófico.

Formato: Presencial

Local: IMECC - Sala 321, 3º Andar do prédio principal, IMECC.

Horário: 18h

Nesta apresentação, discutiremos primeiro sobre as noções e aspectos sintáticos, semânticos e pragmáticos da linguagem. Porquanto, na Lógica, as inferências válidas permitem uma dualidade com formas lógicas de uma linguagem -- ao menos em se tratando de lógica dedutiva. Além de, mais diretamente, a Lógica utilizar-se de linguagens artificiais em seu tratamento mais usual. Com efeito, uma boa compreensão destes três aspectos da linguagem em geral, natural ou artificial, é tradicionalmente imprescindível para adentrar-se neste estudo da Lógica. Pretende-se chegar ao âmbito de Teoria de Modelos, refletindo sobre as naturezas sintática e semântica aos olhos da noção de tradução. Derradeiramente, neste contexto, brevemente apresentar a quaresma e estado da arte das abordagens sintáticas e semânticas para teorias científicas. 

Formato: Presencial

Local: IMECC - Sala 221, prédio principal do IMECC.

Horário: 18h

Esta apresentação é uma introdução à Álgebra Universal, área que estuda a seguinte classe de estruturas algébricas: Álgebras. Inicialmente, serão expostos alguns conceitos fundamentais: Subálgebras, morfismos, imagens homomórficas, álgebras produto e equações. Em seguida, esses conceitos serão mobilizados para apresentar um dos teoremas mais relevantes da álgebra universal, e um dos mais bonitos que já vi: o teorema V=HSP de Birkhoff. Assim, pretendo expor um modo unificado de se estudar (alguns aspectos) de quaisquer estruturas algébricas.