Volume 62, Issue 2 | Synthese

Home
Synthese
Volumes and issues
Volume 62, Issue 2

Synthese

An International Journal for Epistemology, Methodology and Philosophy of Science

Publishing model:: Hybrid

Submit your manuscript

Search all Synthese articles

Volume 62, Issue 2

February 1985

Filter by

Volume:

Sort by

Date published:

New to old Old to new

14 articles in this issue

Editorial note

EditorialNotes Pages: 123 - 123
Remarks on the foundational inquiry
Ettore Casari
OriginalPaper Pages: 125 - 137
Mathematical logic: Tool and object lesson for science
Georg Kreisel
OriginalPaper Pages: 139 - 151
Remarks on some approaches to the concept of logical consequence
Dag Prawitz
OriginalPaper Pages: 153 - 171
Proof theory and complexity
Carlo Cellucci
OriginalPaper Pages: 173 - 189
Introduction to _Π2 ¹ -logic
Jean-Yves Girard
OriginalPaper Pages: 191 - 216
Choice sequences and informal rigour
A. S. Troelstra
OriginalPaper Pages: 217 - 227
Working foundations
Solomon Feferman
OriginalPaper Pages: 229 - 254
Proof theory and set theory
Gaisi Takeuti
OriginalPaper Pages: 255 - 263
The success of Mathematics
Roberto Magari
OriginalPaper Pages: 265 - 274
Foundational problems from computation theory
Gabriele Lolli
OriginalPaper Pages: 275 - 288
Is nonstandard analysis relevant for the philosophy of mathematics?
Jens Erik Fenstad
OriginalPaper Pages: 289 - 301
Some foundational problems in mathematics suggested by physics
Maria Luisa Dalla Chiara
OriginalPaper Pages: 303 - 315
Announcement

Announcement Pages: 316 - 316