## Fernando Ferreira

**Academic Degree:**

**Professional Category:**

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.

#### Selected Publications

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.