{"id":20460,"date":"2024-12-12T16:07:05","date_gmt":"2024-12-12T16:07:05","guid":{"rendered":"https:\/\/www.acad-ciencias.pt\/?post_type=ac_scholars&#038;p=20460"},"modified":"2025-11-11T12:07:50","modified_gmt":"2025-11-11T12:07:50","slug":"fernando-ferreira","status":"publish","type":"ac_scholars","link":"https:\/\/www.acad-ciencias.pt\/eng\/scholars\/fernando-ferreira\/","title":{"rendered":"Fernando Ferreira"},"content":{"rendered":"<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-constrained wp-block-group-is-layout-constrained\"><\/div><\/div>\n\n\n\n\n\n\n\n\n\n<p class=\"wp-block-paragraph\">I am a mathematical logician, interested in the foundations of mathematics. I got my first university degree at Faculdade de Ci\u00eancias da Universidade de Lisboa (FCUL) and got a PhD degree from The Pennsylvania State University (USA). My academic career has been wholly within FCUL. I was, for a trimester, Tinker Visiting Professor at Stanford University and, for a semester, Fulbright Scholar at Harvard University. I was Silver Medal in the senior category of the Kurt G\u00f6del Research Prize Fellowship in 2008. I supervised 6 doctoral students and 15 master students.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">My research has three main components. Arguably, the most important paper that I wrote was published in 2005, on a new functional interpretation (which can remove some false \u201cideal elements\u201d from mathematical proofs following, broadly, Hilbert\u2019s programme). I continue to work on these matters since I believe that there are still issues to investigate and to make more widely known. Also in 2005, I published another paper, this one introducing the so-called system of atomic polymorphism. This work has been having some impact, specially among portuguese logicians. Finally, I have a steady interest in Frege\u2019s logicist programme.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">My work on \u201cideal elements\u201d has roots in my PhD thesis. At the time, I worked on weak subsystems of arithmetic related to computational complexity, and my research was mainly on these topics until 2005. In 2008, I wrote in the journal MIND a somewhat influential and critical paper regarding the thesis of bilateralism (a thesis which defends a symmetry between assertion and denial). I also wrote two papers on the conception of truth in Parmenides and Plato. These papers remain ignored.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">I have been writing notes for the classes that I teach. These writings already originated two books (written in portuguese): one in Discrete Mathematics, another in Set Theory.<\/p>","protected":false},"excerpt":{"rendered":"<p>I am a mathematical logician, interested in the foundations of mathematics. I got my first university degree at Faculdade de Ci\u00eancias da Universidade de Lisboa (FCUL) and got a PhD degree from The Pennsylvania State University (USA). My academic career has been wholly within FCUL. I was, for a trimester, Tinker Visiting Professor at Stanford [&hellip;]<\/p>","protected":false},"author":15,"featured_media":26140,"menu_order":0,"template":"","format":"standard","meta":{"date":["2022-05-26"],"email":"fjferreira@fc.ul.pt","show_email":false,"interest":"L\u00f3gica Matem\u00e1tica; Fundamentos da Matem\u00e1tica; Filosofia da Matem\u00e1tica; L\u00f3gica Filos\u00f3fica","interest_en":"Mathematical Logic; Foundations of Mathematics; Philosophy of Mathematics; Philosophical Logic","hyperlink":"https:\/\/webpages.ciencias.ulisboa.pt\/~fjferreira\/","footnotes":""},"ac_class":[119],"ac_bond":[120],"ac_section":[125],"class_list":["post-20460","ac_scholars","type-ac_scholars","status-publish","format-standard","has-post-thumbnail","hentry","ac_class-classe-de-ciencias","ac_bond-efetivos","ac_section-1-seccao-matematica"],"_links":{"self":[{"href":"https:\/\/www.acad-ciencias.pt\/eng\/wp-json\/wp\/v2\/ac_scholars\/20460","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.acad-ciencias.pt\/eng\/wp-json\/wp\/v2\/ac_scholars"}],"about":[{"href":"https:\/\/www.acad-ciencias.pt\/eng\/wp-json\/wp\/v2\/types\/ac_scholars"}],"author":[{"embeddable":true,"href":"https:\/\/www.acad-ciencias.pt\/eng\/wp-json\/wp\/v2\/users\/15"}],"version-history":[{"count":1,"href":"https:\/\/www.acad-ciencias.pt\/eng\/wp-json\/wp\/v2\/ac_scholars\/20460\/revisions"}],"predecessor-version":[{"id":26141,"href":"https:\/\/www.acad-ciencias.pt\/eng\/wp-json\/wp\/v2\/ac_scholars\/20460\/revisions\/26141"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.acad-ciencias.pt\/eng\/wp-json\/wp\/v2\/media\/26140"}],"wp:attachment":[{"href":"https:\/\/www.acad-ciencias.pt\/eng\/wp-json\/wp\/v2\/media?parent=20460"}],"wp:term":[{"taxonomy":"ac_class","embeddable":true,"href":"https:\/\/www.acad-ciencias.pt\/eng\/wp-json\/wp\/v2\/ac_class?post=20460"},{"taxonomy":"ac_bond","embeddable":true,"href":"https:\/\/www.acad-ciencias.pt\/eng\/wp-json\/wp\/v2\/ac_bond?post=20460"},{"taxonomy":"ac_section","embeddable":true,"href":"https:\/\/www.acad-ciencias.pt\/eng\/wp-json\/wp\/v2\/ac_section?post=20460"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}