Em lógica nos interessamos pelos seguinte temas: Lógica formal,  lógica clássica, paradoxos, lógica matemática, axiomas, modelos, dentre outros. 

Imagem: M.C. Escher. Relativity. Julho,1953. Disponível em: mcescher.com.

Nosso grupo se interessa por metafísica, incluindo ontologia da matemática, epistemologia da matemática, filosofia da lógica e questões sobre os fundamentos da matemática.

Imagem: Platão e Aristóteles detalhe em Escola de Atenas, afresco por Rafael di Sanzio, 1509-1511

Em matemática, os temas que costumamos abordar são Teoria dos Conjuntos, Topologia, entre outros, bem como temas em Fundamentos da Computação.

Imagem: P. Mondrian, Composition II in Red, Blue, and Yellow, 1929. Disponível em: piet-mondrian.org.