[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 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 2012/2013
I am on a sabbatical leave this academic year. In the first semester I was visiting the Logic and Theory Group of the Institut für Informatik und angewandte Mathematik, University of Bern (Switzerland). In the second semestre I am in Lisbon.
Mathematical Logic Seminar
This is the 24th 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.
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.Events
Days in Logic 2012, Évora, Portugal. February 6 - 8, 2012.
Seminar, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Lisbon, April 11, 2012.
Contemporary Readings in Husserl's Erfahrung und Urteil, Universidade de Lisboa e Universidade Católica de Lisboa, Lisbon, April 23 - 27, 2012.
31ème Journées sur les Arithmétiques Faibles, University of Aegean and University of Athens, Samos, Greece, May 30 - June 1, 2012.
Computability in Europe 2012, University of Cambridge, England, June 18 - 23, 2012.
Fifth National Meeting in Analytic Philosophy (ENFA 5), Universidade do Minho, Braga, Portugal, September 13 -15, 2012.
Seminar of Logic and Theoretical Computer Science, Logic and Theory Group, Institut für Informatik und angewandte Mathematik, University of Bern (Switzerland). October 18, 2012.
Sessão de Homenagem a Alan Turing, Academia das Ciências de Lisboa, November 8, 2012.
The 2012 Münchenwiler Seminar, Münchenwiler Schloss, Switzerland, November 14-15, 2012.
ABM - Arbeitstagung Bern München Seminar, Mathematisches Institut der Universität München, 20-21 de Dezembro de 2012.
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.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: September, 2012