Skip to main content
  • Book
  • © 1997

Logic and Scientific Methods

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

Editors:

(view affiliations)

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

Buying options

eBook
USD 299.00
Price excludes VAT (USA)
  • ISBN: 978-94-017-0487-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 379.99
Price excludes VAT (USA)
Hardcover Book
USD 379.99
Price excludes VAT (USA)

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

Table of contents (29 chapters)

  1. Front Matter

    Pages i-xviii
  2. President’s Address

    1. President’s Address

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

    1. Front Matter

      Pages 5-5
    2. On Bounded Set Theory

      • Vladimir Yu. Sazonov
      Pages 85-103
  4. Model Theory, Set Theory and Formal Systems

    1. Front Matter

      Pages 105-105
    2. Infinitary Logic in Finite Model Theory

      • Phokion G. Kolaitis
      Pages 107-125
    3. Decision Problems for Second-Order Linear Logic

      • P. D. Lincoln, A. Scedrov, N. Shankar
      Pages 127-143
  5. Recursion Theory and Constructivism

    1. Front Matter

      Pages 157-157
    2. Church’s Thesis and Hume’s Problem

      • Kevin T. Kelly, Oliver Schulte
      Pages 159-177
    3. The Logic of Functional Recursion

      • Yiannis N. Moschovakis
      Pages 179-207
    4. From Higher Order Terms To Circuits

      • Helmut Schwichtenberg, Karl Stroetmann
      Pages 209-220
    5. Computability and Enumerability

      • Robert I. Soare
      Pages 221-237
  6. Philosophical Logic

    1. Front Matter

      Pages 259-259
    2. Conjoining and Disjoining on Different Levels

      • Ettore Casari
      Pages 261-288
    3. Logical Consequence: A Turn in Style

      • 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.

Keywords

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

Editors and Affiliations

  • University of Florence, Italy

    Maria Luisa Chiara

  • University of Amsterdam, The Netherlands

    Kees Doets, Johan Benthem

  • University of Milan, Italy

    Daniele Mundici

  • Stanford University, USA

    Johan Benthem

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 Chiara, Kees Doets, Daniele Mundici, Johan Benthem

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-017-0487-8

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 1997

  • Hardcover ISBN: 978-0-7923-4383-7

  • Softcover ISBN: 978-90-481-4786-1

  • eBook ISBN: 978-94-017-0487-8

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: XVIII, 534

  • Topics: Philosophy of Science, Logic, Mathematical Logic and Foundations, Artificial Intelligence

Buying options

eBook
USD 299.00
Price excludes VAT (USA)
  • ISBN: 978-94-017-0487-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 379.99
Price excludes VAT (USA)
Hardcover Book
USD 379.99
Price excludes VAT (USA)