Skip to main content
SpringerLink
Log in

Logic and Scientific Methods

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

  • Book
  • © 1997

Overview

Editors:
  1. Maria Luisa Chiara

    1. University of Florence, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kees Doets

    1. University of Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Daniele Mundici

    1. University of Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Johan Benthem

    1. University of Amsterdam, The Netherlands
      Stanford University, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  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
      Download chapter PDF

    2. Proof-Theoretical Aspects of Self-Referential Truth

      • Andrea Cantini
      Pages 7-27

    3. Free Lattices, Communication and Money Games

      • A. Joyal
      Pages 29-68

    4. On Methods for Proving Lower Bounds in Propositional Logic

      • Jan Krajíček
      Pages 69-83

    5. On Bounded Set Theory

      • Vladimir Yu. Sazonov
      Pages 85-103

  4. Model Theory, Set Theory and Formal Systems

    1. Front Matter

      Pages 105-105
      Download chapter PDF

    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

    4. Comparing the Continuum with the First Two Uncountable Cardinals

      • Stevo Todorčević
      Pages 145-155

  5. Recursion Theory and Constructivism

    1. Front Matter

      Pages 157-157
      Download chapter PDF

    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. Mechanistic Theories in Cognitive Science: The Import of Turing’s Thesis

      • Guglielmo Tamburrini
      Pages 239-257

  6. Philosophical Logic

    1. Front Matter

      Pages 259-259
      Download chapter PDF

    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
Back to top

Keywords

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.

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-7Published: 31 December 1996

  • Softcover ISBN: 978-90-481-4786-1Published: 07 December 2010

  • eBook ISBN: 978-94-017-0487-8Published: 29 June 2013

  • 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

Publish with us

Policies and ethics

Back to top

Search

Navigation