Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    gbv_1655661825
    Format: Online Ressource (xiii, 738 pages) , illustrations.
    Edition: Online-Ausg. [S.l.] HathiTrust Digital Library
    ISBN: 9780080960395 , 0080960391 , 9780444876560
    Series Statement: Studies in logic and the foundations of mathematics v. 114
    Content: pt. 0. Inaugural address -- pt. 1. Proof theory and foundations of mathematics -- pt. 2. Model theory and its applications -- pt. 3. Recursion theory and theory of computation -- pt. 4. Axiomatic set theory -- pt. 5. Philosophical logic -- pt. 6. General methodology of science -- pt. 7. Foundations of probability and induction -- pt. 8 Foundations and philosophy of the physical sciences -- pt. 9. Foundations and philosophy of biology -- pt. 10. Foundations and philosophy of psychology -- pt. 11. Foundations and philosophy of the social sciences -- pt. 12. Foundations and philosophy of linguistics -- pt. 13. History of logic, methodology and philosophy of science -- pt. 14. Fundamental principles of the ethics of science
    Note: Includes bibliographical references. - Print version record , Front Cover; Logic, Methodology and Philosophy of Science VII; Copyright Page; CONTENTS; Preface; Appendix to the Preface; PART 0 INAUGURAL ADDRESS; Chapter 1 On Scientific Information, Explanation and Progress; PART 1 PROOF THEORY AND FOUNDATIONS OF MATHEMATICS; Chapter 2 The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions; Chapter 3 Proving Programs and Programming Proofs; Chapter 4 The Use of Ordinals in the Constructive Foundations of Mathematics; Chapter 5 Applications of Proof-Theoretic Transformation (Abstract); PART 2 MODEL THEORY AND ITS APPLICATIONS , Chapter 6 Aspects of No-CategoricityChapter 7 Structural Properties of Models of N1-Categorical Theories; PART 3 RECURSION THEORY AND THEORY OF COMPUTATION; Chapter 8 An Introduction to the Admissibility Spectrum; Chapter 9 Are Recursion Theoretic Arguments Useful in Complexity Theory; PART 4 AXIOMATIC SET THEORY; Chapter 10 Reals and Positive Partition Relations; Chapter 11 Aspects of Determinacy; PART 5 PHILOSOPHICAL LOGIC; Chapter 12 The Situation in Logic; Chapter 13 A Linguistic Turn: New Directions in Logic; Chapter 14 The Relevance of Quantum Logic in the Domain of Non-Classical Logics , PART 6 GENERAL METHODOLOGY OF SCIENCEChapter 15 Theories. Approximations. and Idealizations; Chapter 16 The Structure of Empirical Science: Local and Global; Chapter 17 Aim and Structure of Scientific Theories; PART 7 FOUNDATIONS OF PROBABILITY AND INDUCTION; Chapter 18 Towards a Unified Concept of Probability; Chapter 19 A Probabilistic Approach to Moral Responsibility; Chapter 20 Probability Exists (but just barely); PART 8 FOUNDATIONS AND PHILOSOPHY OF THE PHYSICAL SCIENCES; Chapter 21 On Limit Relations between, and Approximative Explanations of, Physical Theories , Chapter 22 Gravity and Spatial GeometryChapter 23 Conceptual Reform in Scientific Revolutions; PART 9 FOUNDATIONS AND PHILOSOPHY OF BIOLOGY; Chapter 24 Philosophy of Biology 1983: Problems and Prospects; Chapter 25 Biology and Values: A Fresh Look; Chapter 26 Biological Cognition: Its Unity and Diversity; PART 10 FOUNDATIONS AND PHILOSOPHY OF PSYCHOLOGY; Chapter 27 The Explication of Psychological Common Sense: Implications for the Science of Psychology; Chapter 28 Research Strategy in Psychophysiology; Chapter 29 The Framing of Decisions and the Evaluation of Prospects , PART 11 FOUNDATIONS AND PHILOSOPHY OF THE SOCIAL SCIENCESChapter 30 The Social Construction of Mind; Chapter 31 The Concept of Role and Human Behaviour; Chapter 32 Issues in the Ontology of Culture; PART 12 FOUNDATIONS AND PHILOSOPHY OF LINGUISTICS; Chapter 33 Natural Language Metaphysics; Chapter 34 Semantics and the Computational Metaphor; PART 13 HISTORY OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE; Chapter 35 Metaphysical and Internal Realism: The Relations between Ontology and Methodology in Kant's Philosophy of Science; Chapter 36 Conceptual Evolution and the Eye of the Octopus , Chapter 37 Historical Sources of Popper's Logic of Science , pt. 0. Inaugural address -- pt. 1. Proof theory and foundations of mathematics -- pt. 2. Model theory and its applications -- pt. 3. Recursion theory and theory of computation -- pt. 4. Axiomatic set theory -- pt. 5. Philosophical logic -- pt. 6. General methodology of science -- pt. 7. Foundations of probability and induction -- pt. 8 Foundations and philosophy of the physical sciences -- pt. 9. Foundations and philosophy of biology -- pt. 10. Foundations and philosophy of psychology -- pt. 11. Foundations and philosophy of the social sciences -- pt. 12. Foundations and philosophy of linguistics -- pt. 13. History of logic, methodology and philosophy of science -- pt. 14. Fundamental principles of the ethics of science. , 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
    Additional Edition: ISBN 0444876561
    Additional Edition: Erscheint auch als Druck-Ausgabe International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria) Logic, methodology, and philosophy of science VII Amsterdam : North-Holland, 1986
    Language: English
    Keywords: Electronic books ; Electronic books ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages