Advertisement

© 1997

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
Book

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

Introduction

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.

Keywords

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

About the editors

Professor Dr J.F.A.K. van Benthem has received the 1996 Spinoza Award, an annual award to honour outstanding scientific merit and to stimulate innovative future research.

from the jury report:
`Van Benthem has positioned logic as an interdisciplinary science par excellence ... It is through his work that logic has acquired a bridge-function between alpha and gamma sciences on the one side and beta sciences on the other ... Van Benthem is a stimulating and innovative researcher, which explains his great attraction to young researchers. Under his inspirational guidance 38 promovendi from the Netherlands and abroad have finished their theses. In view of Van Benthem's innovative powers and the high level of his research, a number of initiatives are to be expected from him that will further strengthen the Dutch position of logic, more especially so in connection with the formal study of natural language.'

Bibliographic information

  • Book Title Logic and Scientific Methods
  • Book Subtitle Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
  • Editors Maria Luisa Dalla Chiara
    Kees Doets
    Daniele Mundici
    Johan van Benthem
  • Series Title Synthese Library
  • 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
  • Hardcover ISBN 978-0-7923-4383-7
  • Softcover ISBN 978-90-481-4786-1
  • eBook ISBN 978-94-017-0487-8
  • Edition Number 1
  • Number of Pages XVIII, 534
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Philosophy of Science
    Logic
    Mathematical Logic and Foundations
    Artificial Intelligence
  • Buy this book on publisher's site