In the Scope of Logic, Methodology and Philosophy of Science: Volume One of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999 / Edition 1

In the Scope of Logic, Methodology and Philosophy of Science: Volume One of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999 / Edition 1

5.0 1
by Peter Gardenfors, Jan Wolenski, K. Kijania-Placek
     
 

ISBN-10: 1402009291

ISBN-13: 9781402009297

Pub. Date: 12/31/2002

Publisher: Springer Netherlands

This is the first of two volumes containing papers submitted by the invited speakers to the 11th International Congress of Logic, Methodology and Philosophy of Science, held in Cracow in 1999, under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited speakers are the

…  See more details below

Overview

This is the first of two volumes containing papers submitted by the invited speakers to the 11th International Congress of Logic, Methodology and Philosophy of Science, held in Cracow in 1999, under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited speakers are the leading researchers and accordingly the book presents the current state of the intellectual discourse in the respective fields. The papers delivered at the congress were divided into 17 sections. Thus the structure of the volume corresponds to the very schedule of the congress. Volume one contains the opening lecture by Andrzej K. Wr blewski as well as invited papers in sections of Proof Theory, Model Theory, Recursion Theory, Axiomatic Set Theory, Logic and Computation, Logic, Language and Cognition, Methodology, Probability, Induction, and Decision Theory, Philosophy of Logic, Mathematics, and Computer Science, and Philosophy of the Physical Sciences. We hope that the book could be of interest to logicians, philosophers, mathematicians, physicists, chemists, linguists, cognitive scientists, computer scientists, as well as historians and philosophers of science.

Read More

Product Details

ISBN-13:
9781402009297
Publisher:
Springer Netherlands
Publication date:
12/31/2002
Series:
Synthese Library Series, #315
Edition description:
2003
Pages:
384
Product dimensions:
6.10(w) x 9.25(h) x 0.04(d)

Table of Contents

Editorial. Sections, Plenary Lectures, and Special Symposia. Opening Lecture. Development of Science - Determined or Arbitrary? A.K. Wróblewski. I: Proof Theory. Lower Bounds on Proof Length in Axiomatic Theories; V. Orevkov. II: Model Theory. Few Non Minimal Types on Non Structure; S. Shelah. III: Recursion Theory. Minimisation vs. Recursion on the Partial Continuous Functionals; U. Berger. Global Properties of Degree Structures; A. Nies. Computable Structures: Presentations Matter; R.A. Shore. IV: Axiomatic Set Theory. Effective Cardinality; G. Hjorth. V: Logic and Computation. On Hoare Logic, Kleene Algebra, and Types; D. Kozen. VI: Logic, Language and Cognition. Logic and Cognition; F.J. Pelletier, R. Elio. VII: Methodology. Experiment and the Growth of Experimental Knowledge; A. Chalmers. Theory Testing, Statistical Methodology, and the Growth of Experimental Knowledge; D.G. Mayo. New Evidence for Old; J. Worrall. VIII: Probability, Induction, and Decision Theory. Preference Logic and Radical Interpretation; W. Rabinowicz. Defineable Preferences: Another Example; A. Rubinstein. IX: Philosophy of Logic, Mathematics, and Computer Science. Calculations by Man & Machine: Mathematical Presentation; W. Sieg. Steps Toward a Dynamic Constructivism; G. Sambin. On the Distinction Proof-Truth in Mathematics; R. Murawski. X: Philosophy of the Physical Sciences. Topos Theory as a Framework for Partial Truth; J. Butterfield. Kant, Gödel and Relativity; M. Dorato. Symmetries: Physics or Metaphysics? M. Morrison. Table of Contents Volume II.

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >

In the Scope of Logic, Methodology and Philosophy of Science: Volume One of the 11th International Congress of Logic, Methodology and Philosophy of Sc 0 out of 5 based on 0 ratings. 0 reviews.