Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science

Content:
Edited by
Page iii

Copyright page
Page iv

Preface
Pages v-vi
Ruth Barcan Marcus, Georg J.W. Dorn, Paul Weingartner

Appendix to the Preface
Pages vii-ix

On Scientific Information, Explanation and Progress Original Research Article
Pages 1-15
Stephan Körner

The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions Original Research Article
Pages 17-49
Peter Aczel

Proving Programs and Programming Proofs Original Research Article
Pages 51-82
M.J. Beeson

The Use of Ordinals in the Constructive Foundations of Mathematics Original Research Article
Pages 83-94
William Howard

Applications of Proof-Theoretic Transformation (Abstract) Original Research Article
Pages 95-98
G.E. Minc

Aspects of N₀-Categoricity Original Research Article
Pages 99-114
Gregory Cherlin

Structural Properties of Models of N¹-Categorical Theories Original Research Article
Pages 115-128
B.I. Zil'Ber

An Introduction to the Admissibility Spectrum Original Research Article
Pages 129-139
Syd. Friedman

Are Recursion Theoretic Arguments Useful in Complexity Theory? Original Research Article
Pages 141-158
Wolfgang Maass

Reals and Positive Partition Relations Original Research Article
Pages 159-169
Stevo TodorДЌeviДЌ

Aspects of Determinacy Original Research Article
Pages 171-181
Hugh Woodin

The Situation in Logic—I Original Research Article
Pages 183-203
Jon Barwise

A Linguistic Turn: New Directions in Logic Original Research Article
Pages 205-240
Johanvan Benthem

The Relevance of Quantum Logic in the Domain of Non-Classical Logics Original Research Article
Pages 241-253
Maria Luisa Dalla Chiara

Theories, Approximations, and Idealizations Original Research Article
Pages 255-289
Ilkka Niiniluoto

The Structure of Empirical Science: Local and Global Original Research Article
Pages 291-306
Wolfgang Balzer, C.-Ulises Moulines, Joseph D. Sneed

Aim and Structure of Scientific Theories Original Research Article
Pages 307-318
Bas C. Van Fraassen

Towards a Unified Concept of Probability Original Research Article
Pages 319-350
Haim Gaifman

A Probabilistic Approach to Moral Responsibility Original Research Article
Pages 351-365
Frank Jackson

Probability Exists (But Just Barely)! Original Research Article
Pages 367-385
Isaac Levi

On Limit Relations Between, and Approximative Explanations of, Physical Theories Original Research Article
Pages 387-403
JГјrgen Ehlers

Gravity and Spatial Geometry Original Research Article
Pages 405-411
David Malament

Conceptual Reform in Scientific Revolutions Original Research Article
Pages 413-431
Roberto Torretti

Philosophy of Biology 1983: Problems and Prospects Original Research Article
Pages 433-452
Marjorie Grene

Biology and Values: A Fresh Look Original Research Article
Pages 453-466
Michael Ruse

Biological Cognition: Its Unity and Diversity Original Research Article
Pages 467-480
B.G. Yudin

The Explication of Psychological Common Sense: Implications for the Science of Psychology Original Research Article
Pages 481-494
Jan Smedslund

Research Strategy in Psychophysiology Original Research Article
Pages 495-502
Eugen N. Sokolov

The Framing of Decisions and the Evaluation of Prospects Original Research Article
Pages 503-520
Amos Tversky, Daniel Kahneman

The Social Construction of Mind Original Research Article
Pages 521-536
Rom HarrГ©

The Concept of Role and Human Behaviour Original Research Article
Pages 537-556
Lars Hertzberg

Issues in the Ontology of Culture Original Research Article
Pages 557-571
Dan Sperber

Natural Language Metaphysics Original Research Article
Pages 573-595
Emmon Bach

Semantics and the Computational Metaphor Original Research Article
Pages 597-621
L. Jonathan Cohen

Metaphysical and Internal Realism: The Relations Between Ontology and Methodology in Kant's Philosophy of Science Original Research Article
Pages 623-641
Gerd Buchdahl

Conceptual Evolution and the Eye of the Octopus Original Research Article
Pages 643-665
David L. Hull

Historical Sources of Popper's Logic of Science Original Research Article
Pages 667-680
Vadim N. Sadovsky

The Ethics of Clinical Experimentation on Human Children Original Research Article
Pages 681-689
Richard M. Hare

Experimentation on Children: Widening the Context: Comments on R.M. Hare's Paper, “The Ethics of Clinical Experimentation on Human Children” Original Research Article
Pages 691-698
Knut E. TranГёy

Scientific and Ethical Rationality Original Research Article
Pages 699-710
Jean LadriГЁre

Ethical Aspects of Non-Ethical Theories Original Research Article
Pages 711-725
Marian PrzeЕ‚ecki

Contributed Papers
Pages 727-738