In the scope of logic, methodology and philosophy of science : 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999
Author(s)
Bibliographic Information
In the scope of logic, methodology and philosophy of science : 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999
(Synthese library, v. 315-316)
Kluwer Academic Publishers, c2002
- : set
- 1
- 2
Available at / 12 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
1DC21:108/SY782070579240,
2DC21:108/SY782070579251 -
No Libraries matched.
- Remove all filters.
Note
Bibliography: v.1. p. 365-367
Includes index
Description and Table of Contents
- Volume
-
1 ISBN 9781402009297
Description
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. Wroblewski 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.
Table of Contents
- Editorial. Sections, Plenary Lectures, and Special Symposia. Opening Lecture. Development of Science - Determined or Arbitrary? A.K. Wroblewski. 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, Goedel and Relativity
- M. Dorato. Symmetries: Physics or Metaphysics? M. Morrison. Table of Contents Volume II.
- Volume
-
2 ISBN 9781402009303
Description
This is the second 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.
Table of Contents
- XI: Philosophy of the Biological Sciences. Biology and the Possible
- C. Debru. On Genetic Information and Genetic Coding
- P. Godfrey-Smith. XII: Philosophy of Cognitive Science and Artificial Intelligence. Architecture-Based Conceptions of Mind
- A. Sloman. XIII: Philosophy of Linguistics. Linguistics as a System of Distinct Types of Ontology-cum-methodology
- E. Itkonen. XIV: Philosophy of the Social Sciences. Philosophy and the Social Sciences
- M. Gilbert. Assessing Game-Theoretic Explanations in the Social Sciences
- H. Kincaid. In Defense of Mental Representation
- B. von Eckardt. XV: Ethics of Science and Technology. Situated Knowledge and the Interplay of Value Judgments and Evidence in Scientific Inquiry
- E. Anderson. The Ways in Which the Sciences Are and Are Not Value Free
- H. Lacey. Scientific Controversy and the Public Face of Science
- H.E. Longino. XVI: History of Logic, Methodology, and Philosophy of Science. Incommensurability and Empirical Comparability: The Case of the Phlogiston Theory
- M. Carrier. A Century of Inference: 1837-1936
- G. Sundholm. XVII: Philosophical Questions Raised by the History and Sociology of Science. Historical Ontology
- I. Hacking. Special Symposium: A Hundred Years of the Philosophy of Science. Carnap and Kuhn: a Belated Encounter
- G. Irzik. Philosophy as Science: The Modernist Agenda of Philosophy of Science, 1900-1950
- A. Richardson. Philosophy of Science, 1950-2000: The Parting of the Ways
- E. McMullin. Special Symposium: Cognitive Science Meets Philosophy of Science. Patterns of Interaction Among Philosophers of Science and Cognitive Scientists
- R.N. Giere. Closing Lecture. The Concept of Information in Biology
- J. Maynard Smith. Special Lecture. On the Future of Science
- S. Lem. Index of Names. Table of contents Volume I.
- Volume
-
: set ISBN 9781402009310
Description
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. Wroblewski 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. Volume two contains the closing lecture by John Maynard Smith and the invited papers in sections of Philosophy of the Biological Sciences, Philosophy of Cognitive Science and Artificial Intelligence, Philosophy of Linguistics, Philosophy of the Social Sciences, Ethics of Science and Technology, History of Logic, Methodology, and Philosophy of Science, Philosophical Questions Raised by the History and Sociology of Science.
Table of Contents
- XI: Philosophy of the Biological Sciences. Biology and the Possible
- C. Debru. On Genetic Information and Genetic Coding
- P. Godfrey-Smith. XII: Philosophy of Cognitive Science and Artificial Intelligence. Architecture-Based Conceptions of Mind
- A. Sloman. XIII: Philosophy of Linguistics. Linguistics as a System of Distinct Types of Ontology-cum-methodology
- E. Itkonen. XIV: Philosophy of the Social Sciences. Philosophy and the Social Sciences
- M. Gilbert. Assessing Game-Theoretic Explanations in the Social Sciences
- H. Kincaid. In Defense of Mental Representation
- B. von Eckardt. XV: Ethics of Science and Technology. Situated Knowledge and the Interplay of Value Judgments and Evidence in Scientific Inquiry
- E. Anderson. The Ways in Which the Sciences Are and Are Not Value Free
- H. Lacey. Scientific Controversy and the Public Face of Science
- H.E. Longino. XVI: History of Logic, Methodology, and Philosophy of Science. Incommensurability and Empirical Comparability: The Case of the Phlogiston Theory
- M. Carrier. A Century of Inference: 1837-1936
- G. Sundholm. XVII: Philosophical Questions Raised by the History and Sociology of Science. Historical Ontology
- I. Hacking. Special Symposium: A Hundred Years of the Philosophy of Science. Carnap and Kuhn: a Belated Encounter
- G. Irzik. Philosophy as Science: The Modernist Agenda of Philosophy of Science, 1900-1950
- A. Richardson. Philosophy of Science, 1950-2000: The Parting of the Ways
- E. McMullin. Special Symposium: Cognitive Science Meets Philosophy of Science. Patterns of Interaction Among Philosophers of Science and Cognitive Scientists
- R.N. Giere. Closing Lecture. The Concept of Information in Biology
- J. Maynard Smith. Special Lecture. On the Future of Science
- S. Lem. Index of Names. Table of contents Volume I.
by "Nielsen BookData"