In the scope of logic, methodology and philosophy of science : 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999
著者
書誌事項
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
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: v.1. p. 365-367
Includes index
内容説明・目次
- 巻冊次
-
1 ISBN 9781402009297
内容説明
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.
目次
- 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.
- 巻冊次
-
2 ISBN 9781402009303
内容説明
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.
目次
- 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.
- 巻冊次
-
: set ISBN 9781402009310
内容説明
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.
目次
- 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.
「Nielsen BookData」 より