Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 / edited by Patrick Suppes [and others]

International Congress for Logic, Methodology, and Philosophy of Science ; 4th (Bucharest, Romania) : 1971

Englisch, Franzoesisch, Deutsch, Russisch

Amsterdam ; New York : North-Holland Pub. Co, 2011

Online Ressource (x, 981 pages)

Jointly sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science and the Academy of the Socialist Republic of Rumania. - Text in English, French, German, and Russian. - Includes bibliographical references. - Print version record

Text in English, French, German, and Russian

Includes bibliographical references

Print version record

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002

English

Erscheint auch als: Druck-Ausgabe- International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania): Logic, methodology and philosophy of science IV. - Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1973

0-08-095484-7

0-444-10491-7

978-0-08-095484-4

978-0-444-10491-5

Weitere Ausgaben: 978-0-444-10491-5 (Druckausgabe), 0-7204-2274-4 (Druckausgabe)

*978-0-444-10491-5 - ISBN *0-7204-2274-4 - ISBN *978-0-7204-2274-0 - ISBN *0-7204-2274-4 - ISBN *978-0-444-10491-5 - ISBN *978-0-7204-2274-0

*Logic, Symbolic and mathematical -- Congresses ; Methodology -- Congresses ; Science -- Congresses -- Philosophy ; Logique symbolique et mathématique -- Congrès ; Méthodologie -- Congrès ; Sciences -- Congrès -- Philosophie ; Electronic books ; Philosophy -- Congresses ; Science -- Philosophy ; Science -- Methodology ; Logic ; Science -- Philosophy -- Congresses ; Methodology -- Congresses ; Logic, Symbolic and mathematical -- Congresses

*Logic, Symbolic and mathematical / Congresses / Congresses. Methodology / Congresses. Science / Philosophy ; Electronic books / Conference papers and proceedings ; Logic, Symbolic and mathematical / Congresses ; Logique symbolique et mathématique / Congrès ; Methodology / Congresses ; Méthodologie / Congrès ; Science / Congresses / Philosophy ; Sciences / Congrès / Philosophie ; PHILOSOPHY ; Logic ; Logic, Symbolic and mathematical ; Methodology ; Science ; Philosophy ; Natuurwetenschappen ; Wetenschapsfilosofie ; Conference papers and proceedings ; Conference papers and proceedings

Klassifikation der Library of Congress: Q175 ; BC135

Dewey Dezimal-Klassifikation: 160;

bisacsh: PHI

bisacsh: PHI 011000

bisac: PHI

bisacsh: PHI 011000

Chapter 17 Features of Natural Languages in Programming LanguagesPART IV PHILOSOPHY OF LOGIC AND MATHEMATICS; Chapter 18 Towards a Foundation of General Proof Theory; Chapter 19 In Memoriam to Richard Montague; Chapter 20 Some Remarks on Lorenzen's Theory; Chapter 21 Perspectives in the Philosophy of Pure Mathematics; Chapter 22 Hauptsatz for Intuitionistic Simple Type Theory; PART V GENERAL PROBLEMS OF METHODOLOGY AND PHILOSOPHY OF SCIENCE; Chapter 23 On the Logic and Epistemology of the Causal Relation; Chapter 24 On the Different Ingredients of an Empirical Theory

Chapter 25 Gnoseological Aspects of Present-day ScienceChapter 26 Falsification, Revolution and Continuity in the Development of Science; Chapter 27 Induction and the Empiricist Model of Knowledge; Chapter 28 Über abstrakte und idealisierte Objekte, über deren methodologischen und gnoseologischen Status; Chapter 29 The Meaning of Theoretical Terms: A Critique of the Standard Empiricist Construal; Chapter 30 Models of Theory-Change; Chapter 31 Falsification and Its Critics; Chapter 32 Demonstrative and Heuristic Aspects in the Logical Modeling of Science

Front Cover; Logic, Methodology and Philosophy of Science IV; Copyright Page; Table of Contents; Preface; PART I MATHEMATICAL LOGIC; Chapter 1 Elementary Logic; Chapter 2 Partial Orderings of the Family of ?-models; Chapter 3 A Survey of Decidability Results for Modal, Tense and Intermediate Logics; Chapter 4 On the Number of Countable Models of a Countable Superstable Theory; Chapter 5 Countable Models with Standard Part; Chapter 6 Solving Diophantine Equations; Chapter 7 The Hierarchy of ?02-sets; Chapter 8 Analytical Definability in a Playful Universe

PART VI FOUNDATIONS OF PROBABILITY AND INDUCTIONChapter 33 Probability in Science: A Personalistic Account; Chapter 34 Induction and Probability in the Nineteenth Century; Chapter 35 Extension of the Theory of Probability; Chapter 36 The Concept of Probability in Psychological Experiments; Chapter 37 Objective Single-Case Probabilities and the Foundations of Statistics; Chapter 38 Propensities, Statistics and Inductive Logic; Chapter 39 Carnap's Normative Theory of Inductive Probability; Chapter 40 New Foundations of Objective Probability: Axioms for Propensities

Provability, Computability and Reflection

PART II FOUNDATIONS OF MATHEMATICAL THEORIESChapter 9 On Recursive Unsolvability of Hilbert's Tenth Problem; Chapter 10 Constructive Mathematics and Models of Intuitionistic Theories; Chapter 11 An Interpretation of Intuitionistic Number Theory; Chapter 12 Nonstandard Arithmetic and Generic Arithmetic; PART III AUTOMATA AND PROGRAMMING LANGUAGES; Chapter 13 Models for Various Type-Free Calculi; Chapter 14 The Dangers of Computer-Science Theory; Chapter 15 Sur un Langage Equivalent au Langage de Dyck; Chapter 16 Formalization of Some Notions in Terms of Computational Complexity

 

Online-Ausg.

[S.l.] : HathiTrust Digital Library

[S.l.] : HathiTrust Digital Library

Online-Ausg. [S.l.] : HathiTrust Digital Library

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.