Title | Logic and Scientific Methods [electronic resource] : Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 / edited by Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem |
---|---|
Imprint | Dordrecht : Springer Netherlands : Imprint: Springer, 1997 |
Connect to | http://dx.doi.org/10.1007/978-94-017-0487-8 |
Descript | XVIII, 534 p. online resource |
Presidentโs address -- Section 1 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 -- Section 2 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 -- Section 3 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 -- Section 5 Philosophical logic -- Conjoining and disjoining on different levels -- Logical consequence: a turn in style -- Applying normative rules with restraint -- Section 10 Philosophy of logic, mathematics and computer science -- What can we do โin principleโ? -- 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 -- Table of contents Vol. II