Fernando Ferreira is Professor of Mathematics at Universidade de Lisboa. He received his Ph.D. at Pennsylvania State University in 1988 (under Stephen Simpson). He was a Fulbright Scholar at Harvard University (Spring 2004) and Tinker Visiting Professor at Stanford University (Fall 2009). He has written papers in weak systems of arithmetic and analysis, proof theory (especially functional interpretations) and philosophy and foundations of mathematics. He also wrote two papers on the problem of truth in Parmenides and Plato. He is on the editorial board of Review of Symbolic Logic and he was a founding editor of Disputatio. He is member of the research center CMAF-CIO and corresponding member of Academia das Ciências de Lisboa.
The finitistic consistency of Heck’s predicative Fregean system (with Luís Cruz-Filipe). Notre Dame Journal of Formal Logic 56, pp. 61-79, 2015.
On the notion of object – A logical genealogy. Disputatio 24, pp. 609-624, 2012.
A most artistic package of a jumble of ideas. dialectica 62, pp. 205-222, 2008.
The co-ordination principles: a problem for bilateralism. Mind 117: 1051-1057, 2008.
Comments on predicative logic. Journal of Philosophical Logic 35: pp. 1-8, 2006.
Amending Frege’s Grundgesetze der Arithmetik, Synthese 147: 3-19, 2005.
On the consistency of the Delta-1-1-fragment of Frege’s Grundgesetze (with Kai Wehmeier). Journal of Philosophical Logic 31:301-311, 2002.
A note on finiteness in the predicative foundations of arithmetic, Journal of Philosophical Logic 28: 165-174, 1999.
On the Parmenidean misconception, Philosophiegeschichte und logische Analyse 2: 37-49, 1999.
A substitutional framework for arithmetical validity, Grazer Philosophische Studien, 56: 133-149, 1998/9.