Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Content:
Advisory Editorial Board
Page ii

Edited by
Page iii

Copyright page
Page iv

Preface
Pages ix-x

Elementary Logic Original Research Article
Pages 3-11
Gr.C. Moisil

Partial Orderings of the Family of П‰-Models Original Research Article
Pages 13-28
A. Mostowski

A Survey of Decidability Results for Modal, Tense and Intermediate Logics Original Research Article
Pages 29-43
D.M. Gabbay

On the Number of Countable Models of A Countable Superstable Theory Original Research Article
Pages 45-56
A.H. Lachlan

Countable Models With Standard Part Original Research Article
Pages 57-62
M. Morley

Solving Diophantine Equations Original Research Article
Pages 63-67
Julia Robinson

The Hierarchy of О”⁰₂-Sets Original Research Article
Pages 69-76
Y.L. Ershov

Analytical Definability in a Playful Universe Original Research Article
Pages 77-85
Y.N. Moschovakis

On Recursive Unsolvability of Hilbert's Tenth Problem Original Research Article
Pages 89-110
Yu.V. MatijaseviДЌ

Constructive Mathematics and Models of Intuitionistic Theories Original Research Article
Pages 111-128
A.G. Dragalin

An Interpretation of Intuitionistic Number Theory Original Research Article
Pages 129-136
Yu.T. Medvedev

Nonstandard Arithmetic and Generic Arithmetic Original Research Article
Pages 137-154
Abraham Robinson

Models for Various Type-Free Calculi Original Research Article
Pages 157-187
D. Scott

The Dangers of Computer-Science Theory Original Research Article
Pages 189-195
Donald E. Knuth

Sur Un Langage Equivalent Au Langage De Dyck Original Research Article
Pages 197-203
M.P. SchГјtzenberger

Formalization of Some Notions in Terms of Computational Complexity Original Research Article
Pages 205-213
B.A. Trakhtenbrot

Features of Natural Languages in Programming Languages Original Research Article
Pages 215-222
G.S. Tseytin

Towards A Foundation of A General Proof Theory Original Research Article
Pages 225-250
Dag Prawitz

In Memoriam to Richard Montague
Page 251
H. Hermes

Some Remarks on Lorenzen's Theory Original Research Article
Pages 253-254
H. Hermes

Perspectives in the Philosophy of Pure Mathematics Original Research Article
Pages 255-277
G. Kreisel

Hauptsatz for Intuitionistic Simple Type Theory Original Research Article
Pages 279-290
P. Martin-Löf

On the Logic and Epistemology of the Causal Relation Original Research Article
Pages 293-312
G.H. Von Wright

On the Different Ingredients of an Empirical Theory Original Research Article
Pages 313-322
K.J. Hintikka

Gnoseological Aspects of Present-Day Science Original Research Article
Pages 323-332
P.V. Kopnin, V.A. Lektorsky

Falsification, Revolution, and Continuity in the Development of Science Original Research Article
Pages 333-343
L. KrГјger

Induction and the Empiricist Model of Knowledge Original Research Article
Pages 345-356
F. Von Kutschera

Гњber Abstrakte Und Idealisierte Objekte, Гњber Deren Methodologischen Und Gnoseologischen Status Original Research Article
Pages 357-366
D.P. Gorski

The Meaning of Theoretical Terms: A Critique of the Standard Empiricist Construal Original Research Article
Pages 367-378
C.G. Hempel

Models of Theory-Change Original Research Article
Pages 379-391
M. Hesse

Falsification and its Critics Original Research Article
Pages 393-406
A.E. Musgrave

Demonstrative and Heuristic Aspects in the Logical Modeling of Science Original Research Article
Pages 407-413
A. Uyemov

Probability in Science: A Personalistic Account Original Research Article
Pages 417-428
L.J. Savage

Induction and Probability in the Nineteenth Century Original Research Article
Pages 429-438
L.L. Laudan

Extension of the Theory of Probability Original Research Article
Pages 439-449
O. Onicescu

The Concept of Probability in Psychological Experiments Original Research Article
Pages 451-465
Carl-Axel S. StaГ«l Von Holstein

Objective Single-Case Probabilities and the Foundations of Statistics Original Research Article
Pages 467-483
R.N. Giere

Propensities, Statistics and Inductive Logic Original Research Article
Pages 485-500
I. Hacking

Carnap's Normative Theory of Inductive Probability Original Research Article
Pages 501-513
W. StegmГјller

New Foundations of Objective Probability: Axioms for Propensities Original Research Article
Pages 515-529
P. Suppes

Macrotheories and Microtheories Original Research Article
Pages 533-566
P. Achinstein

The two Problems of Quantum Measurement Original Research Article
Pages 567-581
A. Fine

Concerning Unity of Knowledge in Physics Original Research Article
Pages 583-592
N.F. Ovchinnikov, I.A. Akchurin

The Status of Hidden-Variable Theories Original Research Article
Pages 593-601
A. Shimony

Two Concepts of Probability in Physics Original Research Article
Pages 603-615
M. Strauss

Reduction In Genetics—Doing the Impossible Original Research Article
Pages 619-635
D.L. Hull

Hyperstructures and ‘Infa’-Systems of Organized and Organizing Information in Biology Original Research Article
Pages 637-645
V.I. Kremiansky

On the Formalizability of Learning and Evolution Original Research Article
Pages 647-658
L. Löfgren

Organizational Principles for Theoretical Embryology Original Research Article
Pages 659-663
M.A. Arbib

Polar Organisms With Apolar Individual Cells Original Research Article
Pages 665-675
G.T. Herman

Cellular Automata, Formal Languages and Developmental Systems Original Research Article
Pages 677-691
A. Lindenmayer

The Material Mind Original Research Article
Pages 709-722
D. Davidson

The Divergence of History and Sociology in Recent Philosophy of History Original Research Article
Pages 725-742
L.O. Mink

New Trends in the Method of Social Sciences, and Especially of the Economic Sciences Original Research Article
Pages 743-755
R. Moldovan

A Model for Mutual Effects of Attributes Original Research Article
Pages 757-763
J.S. Coleman

Conditional Causal Relations and their Approximations in the Social Sciences Original Research Article
Pages 765-787
S. Nowak

Cause-Effect Relationships: Operative Aspects Original Research Article
Pages 789-801
H. Wold

Problems of Theoretical Linguistics Original Research Article
Pages 805-831
H. Schnelle

Some Remarks on the Notion ‘Universal Semantics’ Original Research Article
Pages 833-843
S.C. Dik

Uncontained Rules of Meaning Original Research Article
Pages 845-862
J.F. Staal

On the Grammar of Existential Sentences Original Research Article
Pages 863-881
J.P. Thorne

Rationality and The Changing Aims of Inquiry Original Research Article
Pages 885-903
S. Toulmin

La Doctrine De L'universel Chez Aristote Original Research Article
Pages 905-919
A. Joja

Aristotle, ЕЃukasiewicz and the Origins Of Many-Valued Logic Original Research Article
Pages 921-929
G. Patzig

The Approximative Explanation and the Development of Physics Original Research Article
Pages 931-942
E. Scheibe

Hegel's Conception of ‘Begriffsbestimmung’ and his Philosophy of Science Original Research Article
Pages 943-955
G. Buchdahl

La ContinuitГ© et La DiscontinuitГ© En Chimie Et En Physique Au XIX^e SiГЁcle Original Research Article
Pages 957-966
B.M. Kedrov

The Concept of Physical Necessity Original Research Article
Pages 967-976
M. Marković

Program of Invited Addresses and Symposia
Pages 977-981