Volume 137, Issue 1-2

November 2003

History of Logic

Issue Editors:

13 articles in this issue

Introduction
Juliette Kennedy
Gabriel Sandu
Introduction Pages: 1 - 1
Brouwer, as Never Read by Husserl
Mark van Atten
OriginalPaper Pages: 3 - 19
Gödel, Carnap and the Fregean Heritage
Gabriella Crocco
OriginalPaper Pages: 21 - 41
Truth, Proofs and Functions
Jean Fichot
OriginalPaper Pages: 43 - 58
The Russellian Influence on Hilbert and his School
Paolo Mancosu
OriginalPaper Pages: 59 - 101
Wittgenstein and Brouwer
Mathieu Marion
OriginalPaper Pages: 103 - 127
On the Meaning of Hilbert's Consistency Problem (Paris, 1900)
Enrico Moriconi
OriginalPaper Pages: 129 - 139
The Pragmatism of Hilbert's Programme
Volker Peckhaus
OriginalPaper Pages: 141 - 156
Hilbert's Program Revisited
Panu Raatikainen
OriginalPaper Pages: 157 - 177
Psychologism and Metalogic
Jan Woleński
OriginalPaper Pages: 179 - 193
Rereading Gentzen
Jan Von Plato
OriginalPaper Pages: 195 - 209
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
Richard Zach
OriginalPaper Pages: 211 - 259
What is Carnap's Conventionalism after all?
Norma yunez-naude
OriginalPaper Pages: 261 - 272

Search