Logic, Methodology and Philosophy of Science VII (eBook)

Front Cover 1
Logic, Methodology and Philosophy of Science VII 4
Copyright Page 5
CONTENTS 12
Preface 6
Appendix to the Preface 8
PART 0 INAUGURAL ADDRESS 16
Chapter 1 On Scientific Information, Explanation and Progress 18
PART 1 PROOF THEORY AND FOUNDATIONS OF MATHEMATICS 34
Chapter 2 The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions 36
Chapter 3 Proving Programs and Programming Proofs 70
Chapter 4 The Use of Ordinals in the Constructive Foundations of Mathematics 102
Chapter 5 Applications of Proof-Theoretic Transformation (Abstract) 114
PART 2 MODEL THEORY AND ITS APPLICATIONS 118
Chapter 6 Aspects of No-Categoricity 120
Chapter 7 Structural Properties of Models of N1-Categorical Theories 136
PART 3 RECURSION THEORY AND THEORY OF COMPUTATION 150
Chapter 8 An Introduction to the Admissibility Spectrum 152
Chapter 9 Are Recursion Theoretic Arguments Useful in Complexity Theory 164
PART 4 AXIOMATIC SET THEORY 182
Chapter 10 Reals and Positive Partition Relations 184
Chapter 11 Aspects of Determinacy 196
PART 5 PHILOSOPHICAL LOGIC 208
Chapter 12 The Situation in Logic 210
Chapter 13 A Linguistic Turn: New Directions in Logic 232
Chapter 14 The Relevance of Quantum Logic in the Domain of Non-Classical Logics 268
PART 6 GENERAL METHODOLOGY OF SCIENCE 282
Chapter 15 Theories. Approximations. and Idealizations 284
Chapter 16 The Structure of Empirical Science: Local and Global 320
Chapter 17 Aim and Structure of Scientific Theories 336
PART 7 FOUNDATIONS OF PROBABILITY AND INDUCTION 348
Chapter 18 Towards a Unified Concept of Probability 350
Chapter 19 A Probabilistic Approach to Moral Responsibility 382
Chapter 20 Probability Exists (but just barely) 398
PART 8 FOUNDATIONS AND PHILOSOPHY OF THE PHYSICAL SCIENCES 418
Chapter 21 On Limit Relations between, and Approximative Explanations of, Physical Theories 420
Chapter 22 Gravity and Spatial Geometry 438
Chapter 23 Conceptual Reform in Scientific Revolutions 446
PART 9 FOUNDATIONS AND PHILOSOPHY OF BIOLOGY 466
Chapter 24 Philosophy of Biology 1983: Problems and Prospects 468
Chapter 25 Biology and Values: A Fresh Look 488
Chapter 26 Biological Cognition: Its Unity and Diversity 502
PART 10 FOUNDATIONS AND PHILOSOPHY OF PSYCHOLOGY 516
Chapter 27 The Explication of Psychological Common Sense: Implications for the Science of Psychology 518
Chapter 28 Research Strategy in Psychophysiology 532
Chapter 29 The Framing of Decisions and the Evaluation of Prospects 540
PART 11 FOUNDATIONS AND PHILOSOPHY OF THE SOCIAL SCIENCES 558
Chapter 30 The Social Construction of Mind 560
Chapter 31 The Concept of Role and Human Behaviour 576
Chapter 32 Issues in the Ontology of Culture 596
PART 12 FOUNDATIONS AND PHILOSOPHY OF LINGUISTICS 612
Chapter 33 Natural Language Metaphysics 614
Chapter 34 Semantics and the Computational Metaphor 638
PART 13 HISTORY OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE 664
Chapter 35 Metaphysical and Internal Realism: The Relations between Ontology and Methodology in Kant's Philosophy of Science 666
Chapter 36 Conceptual Evolution and the Eye of the Octopus 686
Chapter 37 Historical Sources of Popper's Logic of Science 710
PART 14 FUNDAMENTAL PRINCIPLES OF THE ETHICS OF SCIENCE 724
Chapter 38 The Ethics of Clinical Experimentation on Human Children 726
Chapter 39 Experimentation on Children: Widening the Context 736
Chapter 40 Scientific and Ethical Rationality 744
Chapter 41 Ethical Aspects of Non-Ethical Theories 756
Contributed Papers 772