Advertisement

Logic, Foundations of Mathematics, and Computability Theory

Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975

  • Robert E. Butts
  • Jaakko Hintikka

Table of contents

  1. Front Matter
    Pages i-x
  2. Mathematical Logic

    1. Front Matter
      Pages 1-1
    2. Yu. L. Ershov
      Pages 3-9
    3. Jon Barwise
      Pages 11-31
    4. Jean-Yves Girard
      Pages 33-57
  3. Foundations of Mathematical Theories

    1. Front Matter
      Pages 85-85
    2. James E. Baumgartner
      Pages 87-106
    3. W. A. J. Luxemburg
      Pages 107-119
    4. L. W. Szczerba
      Pages 129-145
  4. Category Theory

    1. Front Matter
      Pages 147-147
  5. Computability Theory

    1. Front Matter
      Pages 171-171
    2. Gerald E. Sacks
      Pages 173-194
    3. I. A. Lavrov
      Pages 195-206
    4. Yiannis N. Moschovakis
      Pages 207-236
  6. Philosophy of Logic and Mathematics

    1. Front Matter
      Pages 297-297
  7. On the Concept of a Set

    1. Front Matter
      Pages 307-307
    2. Hao Wang
      Pages 309-333
    3. Charles Parsons
      Pages 335-367
  8. Philosophy of Logic

  9. Back Matter
    Pages 405-407

About this book

Introduction

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division over the years know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre­ sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun­ dational Problems in the Special Sciences, Basic Problems in Methodol­ ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science.

Keywords

logic

Editors and affiliations

  • Robert E. Butts
    • 1
  • Jaakko Hintikka
    • 2
  1. 1.The University of Western OntarioCanada
  2. 2.The Academy of Finland and Stanford UniversityUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-010-1138-9
  • Copyright Information Springer Science+Business Media B.V. 1977
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-94-010-1140-2
  • Online ISBN 978-94-010-1138-9
  • Series Print ISSN 1566-659X
  • Buy this book on publisher's site