Logic, Methodology and Philosophy of Science III (Proceedings of the third international congress for logic, methodology and philosophy of science, Amsterdam 1967)

Cover ......Page 1 0.ToC......Page 3 04 Preface......Page 6 06 Heyting - Opening Speech......Page 9 07 Heyting - Closing Speech......Page 12 08 Ershov - In Memoriam Malcev......Page 13 09 Chang - Indiscernibles......Page 15 10 Craig - Algebraic Theories of Logic......Page 28 11 Ershov - Numbered Fields......Page 35 12 Keisler - Models with Orderings......Page 39 13 Montague - Recursion Theory as Branch of Model Theory......Page 67 14 Mostowski - Craig Interpolation Theorems......Page 91 15 Takeuti - Formalization Principle......Page 108 16 - Fefferman - Autonomous Transfinite Progressions and the Extent of Predicative Mathematics......Page 122 17 Kleene - Constructive Functions in 'The Foundations of Intuttionistic Mathematics”'......Page 137 18 Kreisel - Functions, Ordinals, Species......Page 145 19 Myhill - Formal Systems of Intuitionistic Analysis I......Page 160 20 Schutte - On Simple Type Theory with Extensionality......Page 178 21 Tait - Constructive Reasoning......Page 184 22 Troelstra - The Theory of Choice Sequences......Page 199 23 De Barker - Problems in the Theory of Programming Languages......Page 222 24 Hiz - Computable and Uncomputable Elements of Syntax......Page 234 25 Pawlak - On the Notion of a Computer......Page 250 26 Follesdal - Interpretation of Quantifiers......Page 263 27 Markov - An Approach to Constructive Mathematical Logic......Page 274 28 Mary B Hesse - A Self-Correcting Observation Language......Page 286 29 Hintikka - The Varieties of Information and Scientific Explanation......Page 299 30 Popper - Epistemology Without a Knowing Subject......Page 320 31 D'espagnat - Things, Structures and Phenomena in Quantum Physics......Page 361 32 Mcmullin - What do Physical Models Tell us......Page 369 33 Sciama - The Origin of the Universe......Page 381 34 Rashevsky - A Unified Approach to Biological and Social Organisms......Page 385 35 Farrell - Some Thoughts on the Use of Models in Psychology......Page 395 36 Taylor - Perception as a Function of Behaviour......Page 411 37 Herbert Simon - On Judging the Plausibility of Theorie......Page 417 38 Katz - The Logic of Questions......Page 438 39 Lyons - Existence, Location, Possession and Transitivity......Page 469 40 Mates - Existence, Location, Possession and Transitivity......Page 479 41 Matilal - Gangeśa on the Concept of Universal Property (Kevalānvayin)......Page 502 42 Program 3rd International Congress for Logic, Methodology and Philosophy of Science......Page 514 43 Author Index......Page 525