[clique para ver a página em português]

Welcome to my home page. I am Full Professor of Mathematics at the University of Lisbon (Portugal) and member of the research center CMAF and of its Mathematical Logic Group. Click here to get my CV.

Mathematical Logic, specially proof theory and weak systems of analysis, and Philosophy and Foundations of Mathematics. I have also written two papers in Ancient Philosophy on the problem of falsity in Parmenides and Plato. For some expository essays in portuguese, click here.

In the first semester I am teaching *Philosophy of Mathematics* for the master program in History and Philosophy of Science,
*Mathematical Logic* for the master program in Mathematics and *Proof Theory* for the doctoral program in Mathematics. In the
second semestre, I teach *Topics in Mathematical Logic* for the doctoral program in Mathematics.

**Mathematical Logic Seminar**

This is the 25th year of the Mathematical Logic Seminar (SLM). This year the SLM is organized by Fernando Ferreira (Universidade de Lisboa) and Mário Edmundo (Universidade Aberta). If you want information concerning the seminar, please contact one of the organizers.

*Recent past:*

Groupe de travail "Théorie des types et réalisabilité", INRIA - Université Paris Diderot, Paris, June 12, 2013.

Computability Seminar at LIAFA, Université Paris Diderot, Paris, June 13, 2013.

Séminaire PhilMath, Institute d'histoire et de philosophie des sciences et des techniques, Paris, June 17, 2013.

Proof Theory in Lisbon: a one-day workshop, Lisbon, Portugal, July 19, 2013.

European Logic Colloquium 2013, Évora, Portugal, July 22-27, 2013.

Conferências de História e Filosofia das Ciências, Faculdade de Ciências da Universidade de Lisboa, October 23, 2013.

*Near Future:*

Computational Interpretations of Mathematical Theorems, Kavli Royal Society International Centre, Royal Society at Chicheley Hall, Buckinghamshire, England, Novembro 25-26, 2013.

I am co-editor of Disputatio, a portuguese based bilingual journal of philosophy in the analytic tradition. I am corresponding member of Academia das Ciências de Lisboa.

Last modified: October, 2013