 |
Departamento de Matemática | Gabinete C6.2.8 | ||||||
| FCUL - Universidade de Lisboa | Telefone do Gabinete: 217500294 | |||||||
| Campo Grande, Ed. C6, Piso 2 | Extensão interna: 26208 | |||||||
| P-1749-016 Lisboa, Portugal | Email: tp.lu.cf@arierrefjf |
|
Departamento de Matemática | Gabinete C6.2.8 | ||||||
| FCUL - Universidade de Lisboa | Telefone do Gabinete: 217500294 | |||||||
| Campo Grande, Ed. C6, Piso 2 | Extensão interna: 26208 | |||||||
| P-1749-016 Lisboa, Portugal | Email: tp.lu.cf@arierrefjf |
Apresentação
Bem vindos à minha página pessoal. Sou Professor Associado do Departamento de Matemática da Universidade de Lisboa e membro do Centro de Matemática e Aplicações Fundamentais (CMAF) e do seu Grupo de Lógica Matemática. Clique aqui para aceder ao meu CV.
Interesses académicos
Lógica Matemática - em especial teoria da demonstração - e Filosofia e Fundamentos de Matemática. Alguns ensaios expositórios sobre temas da lógica encontram-se aqui. Também escrevi dois ensaios de Filosofia Antiga sobre o problema da falsidade em Parménides e Platão.
Actividade lectiva em 2011/2012
No primeiro semestre sou responsável pelas disciplinas "Introdução à Teoria dos Conjuntos" e "Lógica Matemática". No segundo semestre sou responsável pela disciplina "Lógica de Primeira-ordem".
Seminário de Lógica Matemática
Este ano decorre o ano XXIII do Seminário de Lógica Matemática (SLM), organizado por Fernando Ferreira da Universidade de Lisboa e Mário Jorge Edmundo da Universidade Aberta e do CMAF (Universidade de Lisboa). Os encontros deste ano começarão em breve. Se quiser ter notícias sobre o SLM contacte um dos organizadoes.
Seminário de Teoria dos Modelos e Grupo de Trabalho em Questões Lógicas
O Seminário de Teoria dos Modelos (STM) é organizado por Mário Jorge Edmundo da Universidade Aberta e do CMAF (Universidade de Lisboa). Se quiser ter notícias sobre o STM, contacte o organizador.
O Grupo de Trabalho em Questões Lógicas (GTQL) é organizado por Sergei Tupailo do CMAF (Universidade de Lisboa). Se quiser ter notícias sobre o GTQL, contacte o organizador.
Eventos
Passado recente:
The Logical Alien at 20, 13 - 14 de Junho de 2011, Porto.
Computability in Europe 2011, 27 de Junho - 2 de Julho de 2011, Sófia, Bulgária.
Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments, Birkbeck College, Universidade de Londres, 1 - 6 de Agosto de 2011.
On the notion of object: a logical genealogy, Seminário em Filosofia Analítica, Faculdade de Letras da Universidade de Lisboa, Sala Mattos Romão, 16h, 14 de Outubro de 2011.
Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach, Alemanha, 6 - 12 de Novembro de 2011.
Futuro próximo:
Days in Logic 2012, Évora, 6 - 8 de Fevereiro de 2012.
Vária
Sou co-editor da Disputatio, uma revista de Filosofia Analítica. Sou o actual presidente da Sociedade Portuguesa de Filosofia Analítica. Sou Membro Correspondente da Classe de Ciências (1ª Secção, Matemática) da Academia das Ciências de Lisboa.
Última actualização: Janeiro de 2012