Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
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.
Similar content being viewed by others
Keywords
Table of contents (29 chapters)
-
Front Matter
-
President’s Address
-
Proof Theory and Categorical Logic
-
Front Matter
-
-
Model Theory, Set Theory and Formal Systems
-
Front Matter
-
-
Recursion Theory and Constructivism
-
Front Matter
-
-
Philosophical Logic
-
Front Matter
-
Editors and Affiliations
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.'
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