Logic, methodology and philosophy of science IV : 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 О” 0 2 -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 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 О” 0 2 -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вЂTM-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вЂTM 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вЂTM 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