Logic, Methodology and Philosophy of Science IV

Description

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