Skip to main content
  • Conference proceedings
  • © 1977

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

Editors:

(view affiliations)

Part of the book series: The Western Ontario Series in Philosophy of Science (WONS, volume 9)

Buying options

eBook
USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-94-010-1138-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout

This is a preview of subscription content, access via your institution.

Table of contents (20 papers)

  1. Front Matter

    Pages i-x
  2. Mathematical Logic

    1. Front Matter

      Pages 1-1
    2. Constructions ‘by Finite’

      • Yu. L. Ershov
      Pages 3-9
    3. Some Eastern Two Cardinal Theorems

      • Jon Barwise
      Pages 11-31
    4. Functional Interpretation and Kripke Models

      • Jean-Yves Girard
      Pages 33-57
  3. Foundations of Mathematical Theories

    1. Front Matter

      Pages 85-85
    2. Ineffability Properties of Cardinals II

      • James E. Baumgartner
      Pages 87-106
    3. Non-Standard Analysis

      • W. A. J. Luxemburg
      Pages 107-119
    4. Interpretability of Elementary Theories

      • 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. Re Sets Higher up

      • Gerald E. Sacks
      Pages 173-194
    3. Computable Numberings

      • I. A. Lavrov
      Pages 195-206
    4. On the Basic Notions in the Theory of Induction

      • Yiannis N. Moschovakis
      Pages 207-236

About this book

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

  • The University of Western Ontario, Canada

    Robert E. Butts

  • The Academy of Finland and Stanford University, USA

    Jaakko Hintikka

About the editors

Jaakko Hintikka is the author or co-author of thirty volumes and of some 300 scholarly articles in mathematical and philosophical logic, epistemology, language theory, philosophy of science, history of ideas and history of philosophy, including Aristotle, Descartes, Leibniz, Kant, Peirce, The Bloomsbury Group, Husserl and Wittgenstein. He has also been active in international scholarly organizations, most recently as the First Vice-President of FISP, Vice-President of IIP and Co-Chair of the American Organizing Committee of the Twentieth World Congress of Philosophy. He has been Editor-in-Chief of the International Journal Synthese and the Managing Editor of Synthese Library since 1965.

Bibliographic Information

  • Book Title: Logic, Foundations of Mathematics, and Computability Theory

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

  • Editors: Robert E. Butts, Jaakko Hintikka

  • Series Title: The Western Ontario Series in Philosophy of Science

  • DOI: https://doi.org/10.1007/978-94-010-1138-9

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: D. Reidel Publishing Company, Dordrecht, Holland 1977

  • eBook ISBN: 978-94-010-1138-9

  • Series ISSN: 1566-659X

  • Series E-ISSN: 2215-1974

  • Edition Number: 1

  • Number of Pages: 416

  • Topics: Philosophy of Science, Logic, History

Buying options

eBook
USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-94-010-1138-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout