Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967

Content: Advisory Editorial Board Page iv Edited by Page v Copyright page Page vi Preface Pages xi-xii The Editors List of Donors Page xiii Speech by Professor A. Heyting, Pages 1-3 Speech by Professor A. Heyting, Page 4 In Memoriam A. I. Malcev Original Research Article Pages 5-6 Yu. L. Ershov Infinitary Properties of Models Generated from Indiscernibles Original Research Article Pages 9-21 C.C. Chang Two Complete Algebraic Theories of Logic Original Research Article Pages 23-29 W. Craig Numbered Fields Original Research Article Pages 31-34 Yu.L. Ershov Models with Orderings Original Research Article Pages 35-62 H.J. Keisler Recursion Theory as a Branch of Model Theory Original Research Article Pages 63-86 R. Montague Craig's Interpolation Theorem in Some Extended Systems of Logic Original Research Article Pages 87-103 A. Mostowski Formalization Principle Original Research Article Pages 105-118 G. Takeuti Autonomous Transfinite Progressions and the Extent of Predicative Mathematics Original Research Article Pages 121-135 S. Feferman Constructive Functions in “The Foundations of Intuttionistic Mathematics” Original Research Article Pages 137-144 S.C. Kleene Functions, Ordinals, Species Original Research Article Pages 145-159 G. Kreisel Formal Systems of Intuitionistic Analysis I Original Research Article Pages 161-178 J. Myhill On Simple Type Theory with Extensionality Original Research Article Pages 179-184 K. Schütte Constructive Reasoning Original Research Article Pages 185-199 W.W. Tait The Theory of Choice Sequences Original Research Article Pages 201-223 A.S. Troelstra Problems in the Theory of Programming Languages Original Research Article Pages 227-238 J.W. De Barker Computable and Uncomputable Elements of Syntax Original Research Article Pages 239-254 H. Hiz On the Notion of a Computer Original Research Article Pages 255-267 Z. Pawlak Interpretation of Quantifiers Original Research Article Pages 271-281 D. Føllesdal An Approach to Constructive Mathematical Logic Original Research Article Pages 283-294 A.A. Markov A Self-Correcting Observation Language Original Research Article Pages 297-309 Mary B. Hesse The Varieties of Information and Scientific Explanation Original Research Article Pages 311-331 J. Hintikka Epistemology Without a Knowing Subject Original Research Article Pages 333-373 K.R. Popper Things, Structures and Phenomena in Quantum Physics Original Research Article Pages 377-384 B. D'espagnat What do Physical Models Tell us? Original Research Article Pages 385-396 E. Mcmullin The Origin of the Universe Original Research Article Pages 397-400 D.W. Sciama A Unified Approach to Biological and Social Organisms Original Research Article Pages 403-412 N. Rashevsky Some Thoughts on the Use of Models in Psychology Original Research Article Pages 415-430 B.A. Farrell Perception as a Function of Behaviour Original Research Article Pages 431-436 J.G. Taylor On Judging the Plausibility of Theories Original Research Article Pages 439-459 H.A. Simon The Logic of Questions Original Research Article Pages 463-493 J.J. Katz Existence, Location, Possession and Transitivity Original Research Article Pages 495-504 J. Lyons Leibniz on Possible Worlds Original Research Article Pages 507-529 B. Mates Gangeśa on the Concept of Universal Property (Kevalānvayin) Original Research Article Pages 531-542 B.K. Matilal Program 3rd International Congress for Logic, Methodology and Philosophy of Science Pages 543-553 Author Index Page 554