葉峰

北京大學教授，博士生導師。1983年畢業於廈門大學數學系，2000年獲美國普林斯頓大學哲學系博士學位。

葉峰開設過的邏輯課程包括《一階邏輯》、《公理集合論》、《模型論》、《遞歸論》、《數學哲學》等。

主要從事數學哲學、心靈哲學、語言哲學、邏輯學方面的研究。

葉峰認為，哲學是整體世界觀，物理主義是唯一與我們目前的科學知識相容的整體世界觀，而且物理主義是“無我”的世界觀，它認為認知和生存的主體是自然事物，是生物-物理系統，而非任何其它意義上的“主體”，這顛覆了許多傳統哲學中的觀念和言說方式。

提出了一種自然主義的（也是物理主義的）、嚴格有窮主義的、唯名論的數學哲學。目前主要關注自然主義的表徵、指稱和邏輯理論，以及當代心靈哲學中的物理主義與屬性二元論之爭。

《Strict Finitism and the Logic of Mathematical Applications》，2011。

《二十世紀數學哲學——一個自然主義者的評述》，2010。

The Applicability of Mathematics as a Scientific and a Logical Problem，2010。

What Anti-realism in Philosophy of Mathematics Must Offer，2011。

Naturalized truth and Plantinga's evolutionary argument against naturalism，2011。

當代數學哲學問題研究，教育部重大項目。