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
Author information:
Marcus, Ruth Barcan 1921-2012
