Fernando Ferreira

Universidade de Lisboa

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

Universidade de Lisboa
Departamento de Matemática Room C6.2.8
FCUL - Universidade de Lisboa Office phone: 217500294
Campo Grande, Ed. C6, Piso 2 Internal phone extension: 26208
P-1749-016 Lisboa, Portugal Email: tp.lu.cf@arierrefjf

| Departament of Mathematics | Faculty of Sciences | University of Lisbon | CMAFIO |

Personal information

Welcome to my home page. I am Full Professor of Mathematics at the University of Lisbon (Portugal) and member of the research center CMAFIO and of its research line in Mathematical Logic. I am also a collaborator of CFUL. Click here to get my CV.

Academic interests

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

Teaching 2017/2018

I am teaching three bachelor courses this year: First-Order Logic for freshmen in Computer Engineering in the first semester, and Introduction to Set Theory (first semester) and Introduction to Number Theory (second semester), both for the third year of Mathematics.

Mathematical Logic Seminar

This is the 29th year of the Mathematical Logic Seminar (SLM). This year the SLM is organized by Fernando Ferreira and Mário Edmundo (both from Universidade de Lisboa).


Near future:

Applied Proof Theory and the Computational Content of Mathematics, September 14, 2017, Salzburg, Austria.

Axiomatic Thinking, September 14-15, 2017, Zurich, Switzerland.

Axiomatic Thinking, October 11-14, 2017, Lisbon, Portugal.

Mathematical Logic: Proof Theory, Constructive Mathematics, November 5-11, 2017, Oberwolfach, Germany.

Recent past:

Logic Colloquium 2017, August 14-20, 2017, Stockholm, Sweden.

XVIII Brazilian Logic Conference, May 8-12, 2017, Pirenópolis, Goías, Brazil.

Um longo argumento: a falsidade n'O Sofista de Platão, May 2 of 2017, Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa.

Mathematics for Computation, May 8-13 2016, Lower Bavaria, Germany.

Proofs, justifications and certificates, June 3 and 4 of 2016. Workshop of the thematic trimester "Current Issues in the Philosophy of Practice of Mathematics & Informatics," CIMI, Toulouse, France.

Journées sur les Arithmétiques Faibles 35, Faculdade de Ciências da Universidade de Lisboa, June 6-7, 2015, Lisbon, Portugal.

Thirteenth International Conference oc Computability and Complexity in Analysis, Universidade do Algarve, June 15-17, 2016, Faro, Portugal.

Classical Logic and Computation 2016, Universidade do Porto, June 23, 2016, Oporto, Portugal.


I am member of the editorial board of Review of Symbolic Logic, of Disputatio and member of the scientific committee of Cadernos de Lógica e Computação. I am corresponding member of Academia das Ciências de Lisboa.

Last modified: August 2017