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

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.

---

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.

---

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.
Content:
Front Matter....Pages i-xviii
President’s Address....Pages 1-4
Front Matter....Pages 5-5
Proof-Theoretical Aspects of Self-Referential Truth....Pages 7-27
Free Lattices, Communication and Money Games....Pages 29-68
On Methods for Proving Lower Bounds in Propositional Logic....Pages 69-83
On Bounded Set Theory....Pages 85-103
Front Matter....Pages 105-105
Infinitary Logic in Finite Model Theory....Pages 107-125
Decision Problems for Second-Order Linear Logic....Pages 127-143
Comparing the Continuum with the First Two Uncountable Cardinals....Pages 145-155
Front Matter....Pages 157-157
Church’s Thesis and Hume’s Problem....Pages 159-177
The Logic of Functional Recursion....Pages 179-207
From Higher Order Terms To Circuits....Pages 209-220
Computability and Enumerability....Pages 221-237
Front Matter....Pages 239-257
Conjoining and Disjoining on Different Levels....Pages 259-259
Logical Consequence: A Turn in Style....Pages 261-288
Applying Normative Rules with Restraint....Pages 289-311
Front Matter....Pages 313-332
What Can We Do “In Principle”?....Pages 377-377
Causation, Action, and Counterfactuals....Pages 335-354
Front Matter....Pages 355-375
Logic and Philosophy of Science: Current Interfaces....Pages 377-377
Reliable Belief Revision....Pages 379-281
Front Matter....Pages 383-398
Explanatory Translation....Pages 377-377
Abductive Reasoning: Logic, Visual Thinking, and Coherence....Pages 399-412
Can the Laws of Nature (Physics) be Complete?....Pages 413-427
Front Matter....Pages 429-446
Logic in Central and Eastern Europe....Pages 447-447
Logic in Czechoslovakia and Hungary....Pages 449-449
Mathematical Logic in the Former Soviet Union: Brief History and Current Trends....Pages 451-456
Logic in Central and Eastern Europe: Balkan Region....Pages 457-483
The Postwar Panorama of Logic in Poland....Pages 485-495
Front Matter....Pages 497-508
Structure and Perspective: Philosophical Perplexity and Paradox....Pages 509-509
Back Matter....Pages 511-530
....Pages 531-534