Synthese

History of logic

Vol. 137 (1-2)

Juliette Kennedy, Paul-Gabriel Sandu (ed)

Table of Contents
Download
Other Editions

Open Access Link
1-1
Introduction

Kennedy Juliette; Sandu Paul-Gabriel

Open Access Link
3-19
Brouwer, as never read by Husserl

Van Atten Mark

Open Access Link
21-41
Gödel, Carnap and the Fregean heritage

Crocco Gabriella

Open Access Link
43-58
Truth, proofs and functions

Fichot Jean

Open Access Link
59-101
The Russellian influence on Hilbert and his school

Mancosu Paolo

Open Access Link
103-127
Wittgenstein and Brouwer

Marion Mathieu

Open Access Link
129-139
On the meaning of Hilbert's consistency problem (Paris, 1900)

Moriconi Enrico

Open Access Link
141-156
The pragmatism of Hilbert's programme

Peckhaus Volker

Open Access Link
157-177
Hilbert's program revisited

Raatikainen Panu

Open Access Link
179-193
Psychologism and metalogic

Woleński Jan

Open Access Link
195-209
Rereading Gentzen

von Plato Jan

Open Access Link
211-259
The practice of finitism

Zach Richard

Open Access Link
261-272
What is Carnap's conventionalism after all?

Yunez-Naude Norma

This document is unfortunately not available for download at the moment.

Not implemented yet !