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

Front Cover
Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Springer Science & Business Media, Dec 31, 1996 - Science - 534 pages
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.

From inside the book

Contents

PROOFTHEORETICAL ASPECTS OF SELFREFERENTIAL TRUTH
7
FREE LATTICES COMMUNICATION AND MONEY GAMES
29
ON METHODS FOR PROVING LOWER BOUNDS IN PROPOSITIONAL LOGIC
69
ON BOUNDED SET THEORY
85
Model Theory Set Theory and Formal Systems
105
INFINITARY LOGIC IN FINITE MODEL THEORY
107
DECISION PROBLEMS FOR SECONDORDER LINEAR LOGIC
127
COMPARING THE CONTINUUM WITH THE FIRST TWO UNCOUNTABLE CARDINALS
145
WHAT CAN WE DO IN PRINCIPLE?
335
CAUSATION ACTION AND COUNTERFACTUALS
355
Logic and Philosophy of Science Current Interfaces
377
CURRENT INTERFACES
379
RELIABLE BELIEF REVISION
383
Beyond Functionalism and Reductionism
399
LOGIC VISUAL THINKING AND COHERENCE
413
CAN THE LAWS OF NATURE PHYSICS BE COMPLETE?
429

Recursion Theory and Constructivism
157
CHURCHS THESIS AND HUMES PROBLEM
159
THE LOGIC OF FUNCTIONAL RECURSION
179
FROM HIGHER ORDER TERMS TO CIRCUITS
209
COMPUTABILITY AND ENUMERABILITY
221
THE IMPORT OF TURINGS THESIS
239
Philosophical Logic
259
CONJOINING AND DISJOINING ON DIFFERENT LEVELS
261
A TURN IN STYLE
289
APPLYING NORMATIVE RULES WITH RESTRAINT
313
Foundations of Logic Mathematics and Computer Science
333
Logic in Central and Eastern Europe
447
LOGIC IN CENTRAL AND EASTERN EUROPE
449
LOGIC IN CZECHOSLOVAKIA AND HUNGARY
451
BRIEF HISTORY AND CURRENT TRENDS
457
BALKAN REGION
485
THE POSTWAR PANORAMA OF LOGIC IN POLAND
497
Closing Address
509
PHILOSOPHICAL PERPLEXITY AND PARADOX
511
TABLE OF CONTENTS VOLUME II
531
Copyright

Other editions - View all

Common terms and phrases

About the author (1996)

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