Repository | Journal | Volume

COPR BookmarkLink
237174

2003

272 Pages

ISBN n/a

Synthese

History of logic

Vol. 137 (1-2)

Edited by

Juliette Kennedy, Paul-Gabriel Sandu

Publication details

Full citation:

Kennedy, J. , Sandu, P.-G. (eds) (2003). History of logic. Synthese 137 (1-2).

Table of Contents

Introduction

Kennedy Juliette; Sandu Paul-Gabriel

1-1

Open Access Link
Brouwer, as never read by Husserl

Van Atten Mark

3-19

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

Crocco Gabriella

21-41

Open Access Link
Truth, proofs and functions

Fichot Jean

43-58

Open Access Link
The Russellian influence on Hilbert and his school

Mancosu Paolo

59-101

Open Access Link
Wittgenstein and Brouwer

Marion Mathieu

103-127

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

Moriconi Enrico

129-139

Open Access Link
The pragmatism of Hilbert's programme

Peckhaus Volker

141-156

Open Access Link
Hilbert's program revisited

Raatikainen Panu

157-177

Open Access Link
Psychologism and metalogic

Woleński Jan

179-193

Open Access Link
Rereading Gentzen

von Plato Jan

195-209

Open Access Link
The practice of finitism

Zach Richard

211-259

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

Yunez-Naude Norma

261-272

Open Access Link
Is this table of contents incomplete? Click here to add the missing references

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