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
Springer, 1997 - Computers - 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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
PROOFTHEORETICAL ASPECTS OF SELFREFERENTIAL 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 SECONDORDER LINEAR LOGIC
COMPARING THE CONTINUUM WITH THE FIRST TWO UNCOUNTABLE CARDINALS
WHAT CAN WE DO IN PRINCIPLE?
CAUSATION ACTION AND COUNTERFACTUALS
Logic and Philosophy of Science Current Interfaces
RELIABLE BELIEF REVISION
Beyond Functionalism and Reductionism
LOGIC VISUAL THINKING AND COHERENCE
CAN THE LAWS OF NATURE PHYSICS BE COMPLETE?
Recursion Theory and Constructivism
CHURCHS THESIS AND HUMES PROBLEM
THE LOGIC OF FUNCTIONAL RECURSION
FROM HIGHER ORDER TERMS TO CIRCUITS
COMPUTABILITY AND ENUMERABILITY
THE IMPORT OF TURINGS THESIS
CONJOINING AND DISJOINING ON DIFFERENT LEVELS
A TURN IN STYLE
APPLYING NORMATIVE RULES WITH RESTRAINT
Foundations of Logic Mathematics and Computer Science
Logic in Central and Eastern Europe
LOGIC IN CENTRAL AND EASTERN EUROPE
LOGIC IN CZECHOSLOVAKIA AND HUNGARY
BRIEF HISTORY AND CURRENT TRENDS
THE POSTWAR PANORAMA OF LOGIC IN POLAND
PHILOSOPHICAL PERPLEXITY AND PARADOX
TABLE OF CONTENTS VOLUME II
abduction Abelian algebra algorithmic application argument arithmetic assertions axioms basic belief revision calculus causal classical cognitive complete Computer Science conjecture consider construction corresponding counterfactual cut elimination data stream deduction defined definition denote domain elements empirical encoding equations equivalent example finite model theory finite structures first-order first-order logic formal formula free lattices given Godel graph hypothesis IMLL2 induction inference interpretation intuitionistic logic ISBN isomorphism Kleene language lattice Lemma linear logic logicians lower bounds Math Mathematical Logic mechanism method modal logic model theory natural numbers normative notion operations partial Philosophy of Science poset predicate principle problem procedure proof theory properties propositional provable prove query recursion theory recursive functions rules satisfies scientific second-order semantics sentences sequents set theory subset Symbolic Theorem tion true truth Turing machine Turing's University variables