Logic, Methodology and Philosophy of Science IV: Proceedings Bucharest, 1971

Title ......Page 3
Copyright ......Page 4
Table of Contents ......Page 5
Preface ......Page 9
PART I MATHEMATICAL LOGIC ......Page 11
Elementary Logic ......Page 13
Partial Orderings of the Family of omega-models ......Page 23
A Survey of Decidability Results for Modal, Tense and Intermediate Logics ......Page 39
On the Number of Countable Models of a Countable Superstable Theory ......Page 55
Countable Models with Standard Part ......Page 67
Solving Diophantine Equations ......Page 73
The Hierarchy of D02-sets ......Page 79
Analytical Definability in a Playful Universe ......Page 87
PART II FOUNDATIONS OF MATHEMATICAL THEORIES ......Page 97
On Recursive Unsolvability of Hilbert's Tenth Problem ......Page 99
Constructive Mathematics and Models of Intuitionistic Theories ......Page 121
An Interpretation of Intuitionistic Number Theory ......Page 139
Nonstandard Arithmetic and Generic Arithmetic ......Page 147
PART III AUTOMATA AND PROGRAMMING LANGUAGES ......Page 165
Models for Various Type-Free Calculi ......Page 167
The Dangers of Computer-Science Theory ......Page 199
Sur un Langage Equivalent au Langage de Dyck ......Page 207
Formalization of Some Notions in Terms of Computational Complexity ......Page 215
Features of Natural Languages in Programming Languages ......Page 225
PART IV PHILOSOPHY OF LOGIC AND MATHEMATICS ......Page 233
Towards a Foundation of General Proof Theory ......Page 235
In Memoriam to Richard Montague ......Page 261
Some Remarks on Lorenzen's Theory ......Page 263
Perspectives in the Philosophy of Pure Mathematics ......Page 265
Hauptsatz for Intuitionistic Simple Type Theory ......Page 289
PART V GENERAL PROBLEMS OF METHODOLOGY AND PHILOSOPHY OF SCIENCE ......Page 301
On the Logic and Epistemology of the Causal Relation ......Page 303
On the Different Ingredients of an Empirical Theory ......Page 323
Gnoseological Aspects of Present-day Science ......Page 333
Falsification, Revolution and Continuity in the Development of Science ......Page 343
Induction and the Empiricist Model of Knowledge ......Page 355
Uber abstrakte und idealisierte Objekte, uber deren methodologischen und gnoseologischen Status ......Page 367
The Meaning of Theoretical Terms: A Critique of the Standard Empiricist Construal ......Page 377
Models of Theory-Change ......Page 389
Falsification and Its Critics ......Page 403
Demonstrative and Heuristic Aspects in the Logical Modeling of Science ......Page 417
PART VI FOUNDATIONS OF PROBABILITY AND INDUCTION ......Page 425
Probability in Science: A Personalistic Account ......Page 427
Induction and Probability in the Nineteenth Century ......Page 439
Extension of the Theory of Probability ......Page 449
The Concept of Probability in Psychological Experiments ......Page 461
Objective Single-Case Probabilities and the Foundations of Statistics ......Page 477
Propensities, Statistics and Inductive Logic ......Page 495
Carnap's Normative Theory of Inductive Probability ......Page 511
New Foundations of Objective Probability: Axioms for Propensities ......Page 525
PART VII METHODOLOGY AND PHILOSOPHY OF PHYSICAL SCIENCES ......Page 541
Macrotheories and Microtheories ......Page 543
The Two Problems of Quantum Measurement ......Page 577
Concerning Unity of Knowledge in Physics ......Page 593
The Status of Hidden-Variable Theories ......Page 603
Two Concepts of Probability in Physics ......Page 613
PART VIII METHODOLOGY AND PHILOSOPHY OF BIOLOGICAL SCIENCES ......Page 627
Reduction in Genetics - Doing the Impossible ......Page 629
Hyperstructures and 'Infa'-Systems of Organized and Organizing Information in Biology ......Page 647
On the Formalizability of Learning and Evolution ......Page 657
Organizational Principles for Theoretical Embryology ......Page 669
Polar Organisms with Apolar Individual Cells ......Page 675
Cellular Automata, Formal Languages and Developmental Systems ......Page 687
Models of Collective Behaviour of Automata ......Page 703
PART IX METHODOLOGY AND PHILOSOPHY OF PSYCHOLOGICAL SCIENCES ......Page 717
The Material Mind ......Page 719
PART X METHODOLOGY AND PHILOSOPHY OF HISTORICAL AND SOCIAL SCIENCES ......Page 733
The Divergence of History and Sociology in Recent Philosophy of History ......Page 735
New Trends in the Method of Social Sciences, and Especially of the Economic Sciences ......Page 753
A Model for Mutual Effects of Attributes ......Page 767
Conditional Causal Relations and Their Approximations in the Social Sciences ......Page 775
Cause-Effect Relationships: Operative Aspects ......Page 799
PART XI METHODOLOGY AND PHILOSOPHY OF LINGUISTICS ......Page 813
Problems of Theoretical Linguistics ......Page 815
Some Remarks on the Notion 'Universal Semantics' ......Page 843
Uncontained Rules of Meaning ......Page 855
On the Grammar of Existential Sentences ......Page 873
PART XII HISTORY OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE ......Page 893
Rationality and the Changing Aims of Inquiry ......Page 895
La Doctrine de L'Universel chez Aristote ......Page 915
Aristotle, Lukasiewicz and the Origins of Many-valued Logic ......Page 931
The Approximative Explanation and the Development of Physics ......Page 941
Hegel's Conception of 'Begriffsbestimmung' and Philosophy of Science ......Page 953
La Continuite et la Discontinuite en Chimie et en Physique au XIXe Siecle ......Page 967
The Concept of Physical Necessity ......Page 977
Program of Invited Addresses and Symposia ......Page 987