Epistemology versus ontology

P. Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm (eds)

Springer - Berlin

2012

The philosophy of logical consequence and inference

Synthese

Sten Lindström, Erik Palmgren, Dag Westerståhl (eds)

2012

Logicism, intuitionism, and formalism

Erik Palmgren, Krister Segerberg (eds)

Springer - Berlin

2009

The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme.