Journal | Volume

COPR Bookmark Link
237174

Synthese

History of logic

Volume 137 (1-2)

edited byJuliette KennedyPaul-Gabriel Sandu

Details | Table of Contents

Introduction Juliette KennedyPaul-Gabriel Sandu

pp.1-1

https://doi.org/10.1023/A:1026261615022
Brouwer, as never read by Husserl Mark Van Atten

pp.3-19

https://doi.org/10.1023/A:1026270631861
Gödel, Carnap and the Fregean heritage Gabriella Crocco

pp.21-41

https://doi.org/10.1023/A:1026222715931
Truth, proofs and functions Jean Fichot

pp.43-58

https://doi.org/10.1023/A:1026274716840
The Russellian influence on Hilbert and his school Paolo Mancosu

pp.59-101

https://doi.org/10.1023/A:1026278800910
Wittgenstein and Brouwer Mathieu Marion

pp.103-127

https://doi.org/10.1023/A:1026230917748
On the meaning of Hilbert's consistency problem (Paris, 1900) Enrico Moriconi

pp.129-139

https://doi.org/10.1023/A:1026282901818
The pragmatism of Hilbert's programme Volker Peckhaus

pp.141-156

https://doi.org/10.1023/A:1026235118657
Hilbert's program revisited Panu Raatikainen

pp.157-177

https://doi.org/10.1023/A:1026287119565
Psychologism and metalogic Jan Woleński(Jagellonian University)

pp.179-193

https://doi.org/10.1023/A:1026291203636
Rereading Gentzen Jan von Plato

pp.195-209

https://doi.org/10.1023/A:1026243304544
The practice of finitism

epsilon calculus and consistency proofs in Hilbert's program

Richard Zach

pp.211-259

https://doi.org/10.1023/A:1026247421383
What is Carnap's conventionalism after all? Norma Yunez-Naude

pp.261-272

https://doi.org/10.1023/A:1026299405453

Publication details

Journal: Synthese

Volume: 137

Issue: 1-2

Year: 2003

Full citation:

Kennedy Juliette, Sandu Paul-Gabriel (2003) History of logic. Synthese 137 (1-2).