Logic, Methodology and Philosophy of Science, VII: International Congress Proceedings: 7th

Cover......Page 1
Copyright......Page 2
Preface......Page 3
Appendix to the Editor......Page 5
On Scientific Information, Explanation and Progress......Page 8
The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions......Page 23
Proving Programs and Programming Proofs......Page 56
The Use of Ordinals in the Constructive Foundations of Mathematics......Page 88
Applications of Proof-Theoretic Transformation (Abstract)......Page 100
Aspects of N0-Categoricity......Page 104
Structural Properties of Models of N1-Categorical Theories......Page 120
An Introduction to the Admissibility Spectrum......Page 134
Are Recursion Theoretic Arguments Useful in Complexity Theory?......Page 145
Reals and Positive Partition Relations......Page 163
Aspects of Determinacy......Page 174
The Situation in Logic—I......Page 185
A Linguistic Turn: New Directions in Logic......Page 206
The Relevance of Quantum Logic in the Domain of Non-Classical Logics......Page 242
Theories, Approximations, and Idealizations......Page 255
The Structure of Empirical Science: Local and Global......Page 290
Aim and Structure of Scientific Theories......Page 306
Towards a Unified Concept of Probability......Page 318
A Probabilistic Approach to Moral Responsibility......Page 350
Probability Exists (But Just Barely)!......Page 365
On Limit Relations Between, and Approximative Explanations of, Physical Theories......Page 384
Gravity and Spatial Geometry......Page 401
Conceptual Reform in Scientific Revolutions......Page 408
Philosophy of Biology 1983: Problems and Prospects......Page 427
Biology and Values: A Fresh Look......Page 447
Biological Cognition: Its Unity and Diversity......Page 461
The Explication of Psychological Common Sense: Implications for the Science of Psychology......Page 475
Research Strategy in Psychophysiology......Page 489
The Framing of Decisions and the Evaluation of Prospects......Page 497
The Social Construction of Mind......Page 515
The Concept of Role and Human Behaviour......Page 531
Issues in the Ontology of Culture......Page 551
Natural Language Metaphysics......Page 566
Semantics and the Computational Metaphor......Page 589
Metaphysical and Internal Realism: The Relations Between Ontology and Methodology in Kant's Philosophy of Science......Page 614
Conceptual Evolution and the Eye of the Octopus......Page 633
Historical Sources of Popper's Logic of Science......Page 656
The Ethics of Clinical Experimentation on Human Children......Page 670
Experimentation on Children: Widening the Context: Comments on R.M. Hare's Paper, “The Ethics of Clinical Experimentation on Human Children”......Page 679
Scientific and Ethical Rationality......Page 687
Ethical Aspects of Non-Ethical Theories......Page 699
Contributed Papers......Page 714