Logic and Scientific Methods

Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

  • Maria Luisa Dalla Chiara
  • Kees Doets
  • Daniele Mundici
  • Johan van Benthem

Part of the Synthese Library book series (SYLI, volume 259)

Table of contents

  1. Front Matter
    Pages i-xviii
  2. President’s Address

    1. Jen Erik Fenstad
      Pages 1-4
  3. Proof Theory and Categorical Logic

    1. Front Matter
      Pages 5-5
    2. Vladimir Yu. Sazonov
      Pages 85-103
  4. Model Theory, Set Theory and Formal Systems

    1. Front Matter
      Pages 105-105
    2. Phokion G. Kolaitis
      Pages 107-125
    3. P. D. Lincoln, A. Scedrov, N. Shankar
      Pages 127-143
  5. Recursion Theory and Constructivism

    1. Front Matter
      Pages 157-157
    2. Kevin T. Kelly, Oliver Schulte
      Pages 159-177
    3. Yiannis N. Moschovakis
      Pages 179-207
    4. Helmut Schwichtenberg, Karl Stroetmann
      Pages 209-220
    5. Robert I. Soare
      Pages 221-237
  6. Philosophical Logic

    1. Front Matter
      Pages 259-259
    2. Ettore Casari
      Pages 261-288
    3. Kosta Došen
      Pages 289-311

About this book


This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. 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.
The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science.


Philosophy of Science abductive reasoning cardinals communication constructivism linguistics logic proof theory proposition proving science set theory

Editors and affiliations

  • Maria Luisa Dalla Chiara
    • 1
  • Kees Doets
    • 2
  • Daniele Mundici
    • 3
  • Johan van Benthem
    • 2
    • 4
  1. 1.University of FlorenceItaly
  2. 2.University of AmsterdamThe Netherlands
  3. 3.University of MilanItaly
  4. 4.Stanford UniversityUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-017-0487-8
  • Copyright Information Springer Science+Business Media B.V. 1997
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-4786-1
  • Online ISBN 978-94-017-0487-8
  • About this book