Abstract

As the history of analytic philosophy is written, Gottlob Frege sits among the pantheon, one of the core creators of a novel way of philosophical thinking. It is a way of thinking that is notably infused with logical and semantic insights that are original to Frege. The source of these insights is well known. They arise in the context of logicism, Frege’s mathematical project that unfolded in a body of thought punctuated by three seminal works, Begriffsschrift of 1879, Die Grundlagen der Arithmetik of 1884, and the two volumes of Grundgesetze der Arithmetik, published in 1893 and 1903. In these works, Frege sets out to show that arithmetic can be reduced to logic; more technically, that (a version of) the Peano-Dedekind axioms are derivable as theorems in a definitional extension of impredicative second-order logic. To achieve this goal, Frege introduced both a new logic and a new semantics; the conceptual apparatus that Frege brought to bear in these works, and in an accompanying series of classic essays, including most famously “On Sense and Reference,” has animated philosophical thought ever since