[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 and
*First-order Logic* for the the freshmen in Computer Engineering. In the second semestre, I teach *Introduction to Number
Theory* for the bachelor in Mathematics and *Topics in Mathematical Logic* for the doctoral program in Mathematics.

**Mathematical Logic Seminar**

This is the 26th 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:*

Days in Logic 2014, Universidade do Minho, January 23-25 (2014), Braga, Portugal.

Centenário dos Principia Mathematica (1913-2013) de Bertrand Russell e Alfred N. Whitehead, Faculdade de Letras da Universidade de Lisboa, February 6-7 (2014), Lisbon, Portugal.

2014: Abstractionism/Neologicism, University of Connecticut Connecticut, April 26-27 (2014), Storrs, Connecticut, USA.

Journées sur les Arithmétiques Faibles 33, University of Gothenburg, June 16-18 a 18 d(2014), Gothenburg, Sweden.

Trends in Logic XIII, University of Lodz, July 2-5 (2014), Lódz, Poland.

Sessão de Lógica e Computação do Encontro Nacional da Sociedade Portuguesa de Matemática, Universidade Nova de Lisboa, July 15-16 (2014), Lisbon, Portugal.

1º Congresso Português de Filosofia, Faculdade de Ciências Sociais e Humana das Universidade Nova de Lisboa e Fundação Calouste Gulbenkian, September 5-6 (2014), Lisbon, Portugal.

7º Encontro Luso-Brasileiro de História da Matemática, October 15-19 (2014), Óbidos, Portugal.

Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach, November 16-22 (2014), Oberwolfach, Germany.

*Near Future:*

Utrecht Workshop in Proof Theory, University of Utrecht, Abril 16-18 (2015), Utrecht, Holland.

**Other**

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: January 2015