## Fernando Ferreira

**Academic Degree:**

**Professional Category:**

**Research group:** LanCog

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

Zigzag and Fregean arithmetic. In: “The Philosophers and Mathematics”, edited by H. Tahiri. Logic, Epistemology, and the Unity of Science 43, Springer International, 2018, pp. 81-100.

Categoricity and mathematical knowledge. *Revista Portuguesa de Filosofia* 73(3-4), pp. 1423-1436, 2017.

*Notre Dame Journal of Formal Logic*56, pp. 61-79, 2015.

*Disputatio*24, pp. 609-624, 2012.

*dialectica*62, pp. 205-222, 2008.

*Mind*117: 1051-1057, 2008.

*Journal of Philosophical Logic*35: pp. 1-8, 2006.

*Synthese*147: 3-19, 2005.

*Journal of Philosophical Logic*31:301-311, 2002.

*Journal of Philosophical Logic*28: 165-174, 1999.

*Philosophiegeschichte und logische Analyse*2: 37-49, 1999.

*Grazer Philosophische Studien*, 56: 133-149, 1998/9.