[clique para ver a página em português]
![]() |
Departamento de Matemática | Room C6.2.8 | ||||||
| FCUL - Universidade de Lisboa | Office phone: (351)-217500294 | |||||||
| Campo Grande, Ed. C6, Piso 2 | Email: tp.lu.cf@arierrefjf | |||||||
| P-1749-016 Lisboa, Portugal |
Welcome to my home page. I am Associate 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 interestsMathematical 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 2010/2011In the fall I teach "Introduction to Set Theory" and "Mathematical Logic". In the spring I teach "First-Order Logic" for the Computer Science Department.
Mathematical Logic Seminar
This is the 23th 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.
Other Seminars
This is the third year of the Model Theory Seminar, organized by Mário Edmundo. For more information, contact the organizer.
The Working Group in Logical Questions (GTQL) é is organized by Sergei Tupailo of CMAF (Universidade de Lisboa). For more information, contact the organizer.
EventsRecent past:
The Logical Alien at 20, June 13 - 14, 2011, Oporto, Portugal.
Computability in Europe 2011, June 27 - July 2, 2011, Sofia, Bulgaria.
Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments, Birkbeck College, University of London, August 1 - 6, 2011.
On the notion of object: a logical genealogy, Faculdade de Letras da Universidade de Lisboa, Sala Mattos Romão, 16h, October 14, 2011.
Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach, Germany, November 6 - 12, 2011.
Near Future:
Days in Logic 2012, Évora, Portugal. February 6 - 8, 2012.
OtherI am co-editor of Disputatio, a portuguese based bilingual journal of philosophy in the analytic tradition. I am the currente president of Sociedade Portuguesa de Filosofia Analítica. I am corresponding member of Academia das Ciências de Lisboa.
Last modified: November, 2011