Author(s): B. Van Rootselaar and J.F. Staal (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 52
Publisher: Elsevier Science
Year: 1968
Language: English
Pages: iv-xiii, 1-554
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
