Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress

Content: 
Edited by
Page iii

Copyright page
Page iv

Preface
Pages v-vi

Symposium on Decision Problems: On a Decision Method in Restricted Second Order Arithmetic Original Research Article
Pages 1-11
J. Richard BГјchi

The Undecidability of Exponential Diophantine Equations Original Research Article
Pages 12-13
Julia Robinson

On a Theorem of Cobham Concerning Undecidable Theories Original Research Article
Pages 14-25
Robertl. Vaught

Symposium on the Notion of Recursiveness: The Theory of Hierarchies Original Research Article
Pages 26-37
J.W. Addison

Turing-Machine Computable Functionals of Finite Types I Original Research Article
Pages 38-45
S.C. Kleene

Recursive Equivalence Types and Combinatorial Functions Original Research Article
Pages 46-55
John Myhill

Some Applications of Degrees Original Research Article
Pages 56-59
J.R. Shoenfield

Recent Developments in Model Theory Original Research Article
Pages 60-79
Abraham Robinson

Symposium on Foundations of Set Theory: Some Applications of the Theory of Models to Set Theory Original Research Article
Pages 80-86
H. Jerome Keisler

On the Principles of Reflection in Axiomatic Set Theory Original Research Article
Pages 87-93
Azriel LГ©vy

Two Contributions to the Foundations of Set Theory Original Research Article
Pages 94-110
Richard Montague

Quine's Individuals Original Research Article
Pages 111-115
Dana Scott

Typical Ambiguity Original Research Article
Pages 116-124
Ernst Specker

Some Problems and Results Relevant to the Foundations of Set Theory Original Research Article
Pages 125-135
Alfred Tarski

Common Extension in Equational Classes Original Research Article
Pages 136-142
Jerzy ЕЃoЕ›

Symposium on Metamathematics of Algebra and Geometry: Metamathematics and Algebra: An Example Original Research Article
Pages 143-150
Roger C. Lyndon

Diophantine Equations and Non-Standard Models of Arithmetic Original Research Article
Pages 151-158
Michaelo. Rabin

On Completeness and Decidability and Some Non-Definable Notions of Elementary Hyperbolic Geometry Original Research Article
Pages 159-167
Wolfram Schwabhäuser

New Foundations of Absolute Geometry Original Research Article
Pages 168-175
Wanda Szmielew

Remarks About Formalization and Models Original Research Article
Pages 176-180
Paul Bernays

Mathematics and Logic Original Research Article
Pages 181-186
Alonzo Church

Nominalistic Analysis of Mathematical Language Original Research Article
Pages 187-193
Leon Henkin

After Thirty Years Original Research Article
Pages 194-197
A. Heyting

Foundations of Intuitionistic Logic Original Research Article
Pages 198-210
G. Kreisel

Praxiological Sentences and How They are Proved Original Research Article
Pages 211-223
Tadeusz KotarbiЕ„ski

Symposium on Models in the Empirical Sciences: Models in the Empirical Sciences Original Research Article
Pages 224-231
R.B. Braithwaite

On the Structural Form of Interdependent Systems Original Research Article
Pages 232-239
Leonid Hurwicz

What Theories are Not Original Research Article
Pages 240-251
H. Putnam

Models of Data Original Research Article
Pages 252-261
Patrick Suppes

Determinism and Indeterminism in a New “Level” Conception of Matter Original Research Article
Pages 262-264
J.P. Vigier

Symposium on Theoretical and Empirical Aspects of Science: The Controversy: Deductivism Versus Inductivism Original Research Article
Pages 265-274
Janina KotarbiЕ„ska

The Theoretical and Empirical Aspects of Science Original Research Article
Pages 275-284
Henryk Mehlberg

Some Comments On Truth and the Growth of Knowledge Original Research Article
Pages 285-292
K.R. Popper

Abstraction in Natural Science Original Research Article
Pages 293-302
J.H. Woodger

The Aim of Inductive Logic Original Research Article
Pages 303-318
Rudolf Carnap

Symposium on Current Views of Subjective Probability: Subjective Probability As the Measure of a Non-Measurable Set Original Research Article
Pages 319-329
I.J. Good

Remarks On the Epistemology of Subjective Probability Original Research Article
Pages 330-339
G.H. Von Wright

Symposium on the Role of Mathematics in the Formulation of Physical Theories: Analyse Mathématique Du “Principe De Continuité” En Physique Original Research Article
Pages 340-347
Alexandre Froda

Is the Mathematical Explanation of Physical Data Unique? Original Research Article
Pages 348-355
Henry Margenau

The Pernicious Influence of Mathematics On Science Original Research Article
Pages 356-360
J. Schwartz

Curved Empty Space-Time As the Building Material of the Physical World: An Assessment Original Research Article
Pages 361-374
John A. Wheeler

The Scientific Status of Psychoanalysis Original Research Article
Pages 375-390
Ernestr. Hilgard

Symposium on Alternative Approaches to the Theory of Choice: A Stochastic Model For the Act of Choice Original Research Article
Pages 391-399
R.J. Audley

Response Strengths and Choice Probability: a Consideration of Two Combination Rules Original Research Article
Pages 400-412
Gordonh. Bower

Theories of Choice and the Stimulus-Response Framework Original Research Article
Pages 413-423
J.A. Deutsch

A Descriptive Approach to the Dynamics of Choice Behavior Original Research Article
Pages 424-433
W.K. Estes

“Brain-Computer” Approach to the Theory of Choice Original Research Article
Pages 434-441
Masanao Toda

Models For the Analysis of Balance of Power in Society Original Research Article
Pages 442-462
Johnc. Harsanyi

Philosophy of Science and Empirical Social Research Original Research Article
Pages 463-473
Paul F. Lazarsfeld

Symposium on Macro and Microeconomics: Microeconomics and Macroeconomics Original Research Article
Pages 474-483
Abba P. Lerner

RГ©sultats Et Directions De Recherche Dans La ThГ©orie De ДЅagrГ©gation Original Research Article
Pages 484-493
AndrГ© Nataf

Three Models of Economic Growth Original Research Article
Pages 494-506
Richard Stone

Alternative Approaches to the Aggregation Problem Original Research Article
Pages 507-527
H. Theil

Explanatory Models in Linguistics Original Research Article
Pages 528-550
Noam Chomsky

Symposium on Models in Linguistics: Some Recent Results in Theoretical Linguistics Original Research Article
Pages 551-557
Y. Bar-Hillel

Models in Linguistics and Models in General Original Research Article
Pages 558-566
Yuenren Chao

Lists in Grammars Original Research Article
Pages 567-576
F.W. Householder

Criteria For a Model of Language Original Research Article
Pages 577-583
Francisj. Whitfield

Scientific Method and the Work of the Historian Original Research Article
Pages 584-594
G. Barraclough

The Historian's Problem of Selection Original Research Article
Pages 595-603
William Dray

Remarks On the Role of Quantity, Quality, and Relations in the History of Logic, Methodology and Philosophy of Science Original Research Article
Pages 604-612
Joseph T. Clark

The Main Trends in the Foundations of Geometry in the 19th Century Original Research Article
Pages 613-621
Hans Freudenthal

Modality De Dicto and De Re Original Research Article
Pages 622-633
W. Kneale

Contraposition in Indian Logic Original Research Article
Pages 634-649
J.F. Staal

Program: 1960 International Congress For Logic, Methodology and Philosophy of Science
Pages 653-661