Synthese Library

Logic and Scientific Methods

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

Editors: Dalla Chiara, M.L., Doets, K., Mundici, D., van Benthem, J. (Eds.)

Buy this book

eBook $349.00
price for USA (gross)
  • ISBN 978-94-017-0487-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $449.00
price for USA
  • ISBN 978-0-7923-4383-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $449.00
price for USA
  • ISBN 978-90-481-4786-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

About the authors

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

Table of contents (29 chapters)

  • President’s Address

    Fenstad, Jen Erik

    Pages 1-4

  • Proof-Theoretical Aspects of Self-Referential Truth

    Cantini, Andrea

    Pages 7-27

  • Free Lattices, Communication and Money Games

    Joyal, A.

    Pages 29-68

  • On Methods for Proving Lower Bounds in Propositional Logic

    Krajíček, Jan

    Pages 69-83

  • On Bounded Set Theory

    Sazonov, Vladimir Yu.

    Pages 85-103

Buy this book

eBook $349.00
price for USA (gross)
  • ISBN 978-94-017-0487-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $449.00
price for USA
  • ISBN 978-0-7923-4383-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $449.00
price for USA
  • ISBN 978-90-481-4786-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Series Volume
259
Copyright
1997
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media Dordrecht
eBook ISBN
978-94-017-0487-8
DOI
10.1007/978-94-017-0487-8
Hardcover ISBN
978-0-7923-4383-7
Softcover ISBN
978-90-481-4786-1
Edition Number
1
Number of Pages
XVIII, 534
Topics