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
    4. Sven Ove Hansson, David Makinson
      Pages 313-332
  7. Philosophy of Logic, Mathematics and Computer Science

    1. Front Matter
      Pages 377-377
    2. Charles Parsons
      Pages 335-354
    3. Judea Pearl
      Pages 355-375
  8. Logic and Philosophy of Science: Current Interfaces

    1. Front Matter
      Pages 377-377
    2. Theo A. F. Kuipers
      Pages 379-281
    3. Kevin Kelly, Oliver Schulte, Vincent Hendricks
      Pages 383-398
    4. Veikko Rantala
      Pages 399-412
    5. Paul Thagard, Cameron Shelley
      Pages 413-427
    6. Paul Weingartner
      Pages 429-446
  9. Logic in Central and Eastern Europe

    1. Front Matter
      Pages 447-447
    2. Petr Hájek
      Pages 449-449
    3. Lev Bukovský
      Pages 451-456
    4. Dimiter Vakarelov
      Pages 485-495
    5. Ryszard W‴jcicki
      Pages 497-508
  10. Closing Address

    1. Front Matter
      Pages 509-509
  11. Back Matter
    Pages 531-534

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
  • 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
  • Buy this book on publisher's site