Fernando Ferreira

[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 | CMAF |

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 CMAF and of its Mathematical Logic Group. 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 in Ancient Philosophy on the problem of falsity in Parmenides and Plato. For some expository essays in portuguese, click here.

Teaching 2014/2015

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.

Events

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