Volume 62; Issue 2

Synthese

Volume 62; Issue 2
1

Editorial note

Journal:
Synthese
Year:
1985
File:
PDF, 11 KB
1985
2

Remarks on the foundational inquiry

Ettore Casari
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 703 KB
english, 1985
3

Mathematical logic: Tool and object lesson for science

Georg Kreisel
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 665 KB
english, 1985
4

Remarks on some approaches to the concept of logical consequence

Dag Prawitz
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 1009 KB
english, 1985
5

Proof theory and complexity

Carlo Cellucci
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 600 KB
english, 1985
6

Introduction to

Jean-Yves Girard
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 1.20 MB
english, 1985
7

Choice sequences and informal rigour

A. S. Troelstra
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 534 KB
english, 1985
8

Working foundations

Solomon Feferman
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 1.44 MB
english, 1985
9

Proof theory and set theory

Gaisi Takeuti
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 452 KB
english, 1985
10

The success of Mathematics

Roberto Magari
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 562 KB
english, 1985
11

Foundational problems from computation theory

Gabriele Lolli
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 807 KB
english, 1985
12

Is nonstandard analysis relevant for the philosophy of mathematics?

Jens Erik Fenstad
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 574 KB
english, 1985
13

Some foundational problems in mathematics suggested by physics

Maria Luisa Dalla Chiara
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 621 KB
english, 1985
14

Announcement

Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 43 KB
english, 1985
15

The Present State of the Problem of the Foundations of the Mathematics || Remarks on the Foundational Inquiry

Ettore Casari
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 1.25 MB
english, 1985
16

The Present State of the Problem of the Foundations of the Mathematics || Working Foundations

Solomon Feferman
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 2.67 MB
english, 1985
18

The Present State of the Problem of the Foundations of the Mathematics || Back Matter

Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 621 KB
english, 1985
19

The Present State of the Problem of the Foundations of the Mathematics || Introduction to π½-Logic

Jean-Yves Girard
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 2.19 MB
english, 1985
20

The Present State of the Problem of the Foundations of the Mathematics || Choice Sequences and Informal Rigour

A. S. Troelstra
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 1.05 MB
english, 1985
25

The Present State of the Problem of the Foundations of the Mathematics || Proof Theory and Set Theory

Gaisi Takeuti
Journal:
Synthese
Year:
1985
Language:
english
File:
PDF, 912 KB
english, 1985