Introduction

the three foundational programmes

2009

Sten Lindström, Erik Palmgren

in: Logicism, intuitionism, and formalism, Berlin,

Intuitionism and the anti-justification of bivalence

2009

Peter Pagin

in: Logicism, intuitionism, and formalism, Berlin,

Journey into apartness space

2009

Douglas Bridges, Vita

in: Logicism, intuitionism, and formalism, Berlin,

Logicism, intuitionism, and formalism

what has become of them?

2009

Erik Palmgren, Krister Segerberg (eds)

Berlin, Springer

Natural logicism via the logic of orderly pairing

2009

Neil Tennant

in: Logicism, intuitionism, and formalism, Berlin,

Program extraction in constructive analysis

2009

Helmut Schwichtenberg

in: Logicism, intuitionism, and formalism, Berlin,

Protocol sentences for lite logicism

2009

John P. Burgess

in: Logicism, intuitionism, and formalism, Berlin,

Relativization of real numbers to a universe

2009

Hajime Ishihara

in: Logicism, intuitionism, and formalism, Berlin,

Tarski's practice and philosophy

between formalism and pragmatism

2009

Hourya Benis-Sinaceur

in: Logicism, intuitionism, and formalism, Berlin,

The constructive Hilbert program and the limits of Martin-löf type theory

2009

Michael Rathjen

in: Logicism, intuitionism, and formalism, Berlin,

The measure of Scottish neo-logicism

2009

Stewart Shapiro

in: Logicism, intuitionism, and formalism, Berlin,

A natural symphony?

2007

Frederik Stjernfelt

in: Diagrammatology, Berlin,