Logic, Methodology and Philosophy of Science IV

Advisory Editorial Board......Page 1
Edited by......Page 2
Copyright page......Page 3
Preface......Page 4
Elementary Logic......Page 6
Partial Orderings of the Family of ω-Models......Page 15
A Survey of Decidability Results for Modal, Tense and Intermediate Logics......Page 31
On the Number of Countable Models of A Countable Superstable Theory......Page 46
Countable Models With Standard Part......Page 58
Solving Diophantine Equations......Page 64
The Hierarchy of Δ02-Sets......Page 69
Analytical Definability in a Playful Universe......Page 77
On Recursive Unsolvability of Hilbert's Tenth Problem......Page 86
Constructive Mathematics and Models of Intuitionistic Theories......Page 108
An Interpretation of Intuitionistic Number Theory......Page 126
Nonstandard Arithmetic and Generic Arithmetic......Page 134
Models for Various Type-Free Calculi......Page 152
The Dangers of Computer-Science Theory......Page 183
Sur Un Langage Equivalent Au Langage De Dyck......Page 190
Formalization of Some Notions in Terms of Computational Complexity......Page 197
Features of Natural Languages in Programming Languages......Page 206
Towards A Foundation of A General Proof Theory......Page 214
In Memoriam to Richard Montague......Page 240
Some Remarks on Lorenzen's Theory......Page 241
Perspectives in the Philosophy of Pure Mathematics......Page 243
Hauptsatz for Intuitionistic Simple Type Theory......Page 266
On the Logic and Epistemology of the Causal Relation......Page 278
On the Different Ingredients of an Empirical Theory......Page 298
Gnoseological Aspects of Present-Day Science......Page 308
Falsification, Revolution, and Continuity in the Development of Science......Page 318
Induction and the Empiricist Model of Knowledge......Page 329
Über Abstrakte Und Idealisierte Objekte, Über Deren Methodologischen Und Gnoseologischen Status......Page 341
The Meaning of Theoretical Terms: A Critique of the Standard Empiricist Construal......Page 351
Models of Theory-Change......Page 363
Falsification and its Critics......Page 376
Demonstrative and Heuristic Aspects in the Logical Modeling of Science......Page 390
Probability in Science: A Personalistic Account......Page 397
Induction and Probability in the Nineteenth Century......Page 409
Extension of the Theory of Probability......Page 419
The Concept of Probability in Psychological Experiments......Page 430
Objective Single-Case Probabilities and the Foundations of Statistics......Page 445
Propensities, Statistics and Inductive Logic......Page 462
Carnap's Normative Theory of Inductive Probability......Page 478
New Foundations of Objective Probability: Axioms for Propensities......Page 491
Macrotheories and Microtheories......Page 506
The two Problems of Quantum Measurement......Page 540
Concerning Unity of Knowledge in Physics......Page 555
The Status of Hidden-Variable Theories......Page 565
Two Concepts of Probability in Physics......Page 574
Reduction In Genetics—Doing the Impossible......Page 587
Hyperstructures and ‘Infa’-Systems of Organized and Organizing Information in Biology......Page 604
On the Formalizability of Learning and Evolution......Page 613
Organizational Principles for Theoretical Embryology......Page 625
Polar Organisms With Apolar Individual Cells......Page 630
Cellular Automata, Formal Languages and Developmental Systems......Page 641
The Material Mind......Page 656
The Divergence of History and Sociology in Recent Philosophy of History......Page 670
New Trends in the Method of Social Sciences, and Especially of the Economic Sciences......Page 688
A Model for Mutual Effects of Attributes......Page 701
Conditional Causal Relations and their Approximations in the Social Sciences......Page 708
Cause-Effect Relationships: Operative Aspects......Page 731
Problems of Theoretical Linguistics......Page 744
Some Remarks on the Notion ‘Universal Semantics’......Page 771
Uncontained Rules of Meaning......Page 782
On the Grammar of Existential Sentences......Page 800
Rationality and The Changing Aims of Inquiry......Page 819
La Doctrine De L'universel Chez Aristote......Page 838
Aristotle, Łukasiewicz and the Origins Of Many-Valued Logic......Page 853
The Approximative Explanation and the Development of Physics......Page 862
Hegel's Conception of ‘Begriffsbestimmung’ and his Philosophy of Science......Page 874
La Continuité et La Discontinuité En Chimie Et En Physique Au XIXe Siècle......Page 887
The Concept of Physical Necessity......Page 897
Program of Invited Addresses and Symposia......Page 907