Kooperativer Bibliotheksverbund

UID:

Format: 1 online resource (673 p.)

ISBN: 1-282-30910-2 , 9786612309106 , 0-08-095471-5

Series Statement: Studies in logic and the foundations of mathematics ; v. 44

Content: Provability, Computability and Reflection

Note: "Held ... under the auspices of the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science... Jointly sponsored by IUHPS and the United States National Academy of Sciences." , Front Cover; Logic, Methodology and Philosophy of Science; Copyright Page; Contents; Preface; SECTION I MATHEMATICAL LOGIC; Symposiuam on Decision Problems; Chapter 1 On a Decision Method in Restricted Second Order Arithmetic; Chapter 2 The Undecidability of Exponential Diophantine Equations; Chapter 3 On a Theorem of Cobham Concerning Undecidable Theories; Symposiuam on the Notion of Recursiveness; Chapter 4 The Theory of Hierarchies; Chapter 5 Turing-Machine Computable Functionals of Finite Types I; Chapter 6 Recursive Equivalence Types and Combinatorial Functions , Chapter 7 Some Applications of DegreesSECTION II FOUNDATIONS OF MATHEMATICAL THEORIES; Chapter 8 Recent Developments in Model Theory; Symposium on Foundations of Set Theory; Chapter 9 Some Applications of the Theory of Models to Set Theory; Chapter 10 On The Principles of Reflection in Axiomatic Set Theory; Chapter 11 Two Contributions to The Foundations of Set Theory; Chapter 12 Quine's Individuals; Chapter 13 Typical Ambiguity; Chapter 14 Some Problems and Results Relevant to the Foundations of Set Theory; Chapter 15 Common Extension in Equational Classes , Symposium on Metamathematics of Algebra and GeometryChapter 16 Metamathematics and Algebra: an Example; Chapter 17 Diophantine Equations and Non-Standard Models of Arithmetic; Chapter 18 On Completeness and Decidability and Some Non-Definable Notions of Elementary Hyperbolic Geometry; Chapter 19 New Foundations of Absolute Geometry; SECTION III PHILOSOPHY OF LOGIC AND MATHEMATICS; Chapter 20 Remarks About Formalization and Models; Chapter 21 Mathematics and Logic; Chapter 22 Nominalistic Analysis of Mathematical Language; Chapter 23 After Thirty Years , Chapter 24 Foundations of Intuitionistic LogicSECTION IV GENERAL PROBLEMS OF METHODOLOGY AND PHILOSOPHY OF SCIENCE; Chapter 25 Praxiological Sentences and How They are Proved; Symposium on Models in the Empiricl Sciences; Chapter 26 Models in the Empirical Sciences; Chapter 27 On the Structural Form of Interdependent Systems; Chapter 28 What Theories are Not; Chapter 29 Models of Data; Chapter 30 Determinism and Indeterminism in a New ""level"" Conception of Matter; Symposium on Theoretical and Empirical Aspects of Science; Chapter 31 The Controversy: Deductivism Versus Inductivism , Chapter 32 The Theoretical and the Empirical Aspects of ScienceChapter 33 Some Comments on Truth and the Growth of Knowledge; Chapter 34 Abstraction in Natural Science; SECTION V FOUNDATIONS OF PROBABILITY AND INDUCTION; Chapter 35 The Aim of Inductive Logic; Symposium on Current Views of Subjective Probability; Chapter 36 Subjective Probability as the Measure of a Non-Measurable Set; Chapter 37 Remarks on the Epistemology of Subjective Probability; SECTION VI METHODOLOGY AND PHILOSOPHY OF PHYSICAL SCIENCES; Symposium on the Role of Mathematics in the Formulution of Physical Theories , Chapter 38 Analyse Mathématique du ""Principe de Continuité"" en Physique , English

Additional Edition: ISBN 0-8047-0096-6

Language: English

UID:

Format: Online Ressource (vi, 661 pages)

Edition: Online-Ausg.

ISBN: 0804700966 , 9780804700962

Series Statement: Studies in Logic and the Foundations of Mathematics v. 44

Content: Mathematical logic -- Foundations of mathematical theories -- Philosophy of logic and mathematics -- General problems of metholody and philosophy of science -- Foundations of probability and induction -- Methodology and philosophy of physical sciences -- Methodology and philosophy of biological and psychological sciences -- Methodology and philosophy of social sciences -- Methodology and philosophy of linguistics -- Methodology and philosophy of historical sciences -- History of logic, methodology, and philosophy of science

Note: Print version record , Mathematical logic -- Foundations of mathematical theories -- Philosophy of logic and mathematics -- General problems of metholody and philosophy of science -- Foundations of probability and induction -- Methodology and philosophy of physical sciences -- Methodology and philosophy of biological and psychological sciences -- Methodology and philosophy of social sciences -- Methodology and philosophy of linguistics -- Methodology and philosophy of historical sciences -- History of logic, methodology, and philosophy of science.

Additional Edition: ISBN 0804700966

Language: English

Keywords: Electronic books ; Congress ; Electronic books ; Konferenzschrift

URL: Volltext  (lizenzpflichtig)

URL: Volltext

URL: lizenzpflichtig

Author information: Tarski, Alfred 1901-1983

Author information: Suppes, Patrick 1922-2014

Author information: Nagel, Ernest 1901-1985