Logic, Methodology and Philosophy of Science III

✍ Scribed by B. Van Rootselaar and J.F. Staal (Eds.)

• Publisher: Elsevier Science
• Year: 1968
• Tongue: English
• Leaves: 523
• Series: Studies in Logic and the Foundations of Mathematics 52
• Category: Library

✦ Table of Contents

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