+612 9045 4394
 
CHECKOUT
Logic and Scientific Methods : Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 - Maria Luisa Dalla Chiara

Logic and Scientific Methods

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

By: Maria Luisa Dalla Chiara (Editor), Kees Doets (Editor), Daniele Mundici (Editor), Johan van Benthem (Editor)

Hardcover

Published: 31st December 1996
Ships: 7 to 10 business days
7 to 10 business days
RRP $1090.99
$755.50
31%
OFF
or 4 easy payments of $188.88 with Learn more
if ordered within

Other Available Formats (Hide)

  • Paperback View Product Published: 7th December 2010
    $508.80

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.

Editorial
President's Address
Proof Theory and Categorical Logic
Proof-Theoretical Aspects of Self-Referential Truth
Free Lattices, Communication and Money Games
On Methods for Proving Lower Bounds in Propositional Logic
On Bounded Set Theory
Model Theory, Set Theory and Formal Systems
Infinitary Logic in Finite Model Theory
Decision Problems for Second-Order Linear Logic
Comparing the Continuum with the First Two Uncountable Cardinals
Recursion Theory and Constructivism
Church's Thesis and Hume's Problem
The Logic of Functional Recursion
From Higher Order Terms to Circuits
Computability and Enumerability
Mechanistic Theories in Cognitive Science: The Import of Turing's Thesis
Philosophical Logic
Conjoining and Disjoining on Different Levels
Logical Consequence: A Turn in Style
Applying Normative Rules with Restraint
Philosophy of Logic, Mathematics and Computer Science
What Can We Do `In Principle'? Ch.D. Parsons
Causation, Action, and Counterfactuals
Symposium 1: Logic and Philosophy of Science: Current Interfaces
Logic and Philosophy of Science: Current Interfaces
Reliable Belief Revision
Explanatory Translation: Beyond Functionalism and Reductionism
Abductive Reasoning: Logic, Visual Thinking, and Coherence
Can the Laws of Nature (Physics) be Complete?
Symposium 4: Logic in Central and Eastern Europe
Logic in Central and Eastern Europe
Logic in Czechoslovakia and Hungary
Mathematical Logic in the Former Soviet Union: Brief History and Current Trends
Logic in Central and Eastern Europe: Balkan Region
The Postwar Panorama of Logic in Poland
Closing Address. Structure and Perspective: Philosophical Perplexity and Paradox
Volume II
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780792343837
ISBN-10: 0792343832
Series: NATO Asi Series
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 534
Published: 31st December 1996
Publisher: SPRINGER VERLAG GMBH
Country of Publication: NL
Dimensions (cm): 23.39 x 15.6  x 3.02
Weight (kg): 0.93