Author(s): Methodology and Philosophy of Science, Third, Amsterdam, 1967. International Congress for Logic
Series: Studies in Logic and the Foundations of Mathematics
Publisher: North-Holland Publishing Company
Year: 1968
Language: English
Pages: 525
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
