1. Editor's preface

   EditorialNotes Pages: 1 - 1

2. Foreword

   • E. Agazzi

   EditorialNotes Pages: 3 - 5

3. The rise of the foundational research in mathematics

   • Evandro Agazzi

   OriginalPaper Pages: 7 - 26

4. Informal axiomatization, formalization and the concept of truth

   • Charles Parsons

   OriginalPaper Pages: 27 - 47

5. Axiomatical and set-theoretical thinking

   • Ettore Casari

   OriginalPaper Pages: 49 - 61

6. On the idea of a general proof theory

   • Dag Prawitz

   OriginalPaper Pages: 63 - 77

7. Intuitionistic views on the nature of mathematics

   • Arend Heyting

   OriginalPaper Pages: 79 - 91

8. On the role of reducibility principles

   • Carlo Cellucci

   OriginalPaper Pages: 93 - 110

9. What numbers are

   • Nicholas P. White

   OriginalPaper Pages: 111 - 124

10. Brouwer's constructivism

    • Carl J. Posy

    OriginalPaper Pages: 125 - 159

11. Sets

    • Erik Stenius

    OriginalPaper Pages: 161 - 188

12. Relativity phenomena in set theory

    • Claes Åberg

    OriginalPaper Pages: 189 - 198

13. Some settheoretical partition theorems suggested by the structure of Spinoza's god

    • Joel Friedman

    OriginalPaper Pages: 199 - 209

14. Logical foundations of applied mathematics

    • V. V. Nalimov

    OriginalPaper Pages: 211 - 250

15. Interpolation and definability in abstract logics

    • Finn V. Jensen

    OriginalPaper Pages: 251 - 257

16. On abstract 1-sections

    • Dag Normann

    OriginalPaper Pages: 259 - 263

17. Elementary extensions of Levy's model ofA ₂ ⁻

    • Wojciech Guzicki

    OriginalPaper Pages: 265 - 270

18. Review

    • T. M. Scanlon

    BookReview Pages: 271 - 284

19. Books received

    Announcement Pages: 285 - 289

20. Journals received

    Announcement Pages: 291 - 291

21. Abstracts fromPhilosophy of Science

    Abstract Pages: 293 - 303

22. Announcement and call for papers

    Announcement Pages: 305 - 305