Keywords:
Methodology -- Congresses.
;
Electronic books.
Type of Medium:
Online Resource
Pages:
1 online resource (673 pages)
Edition:
1st ed.
ISBN:
9780080954714
Series Statement:
Issn Series ; v.Volume 44
URL:
https://ebookcentral.proquest.com/lib/geomar/detail.action?docID=472848
Language:
English
Note:
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 Degrees -- SECTION 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 Geometry -- Chapter 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 Logic.
,
SECTION 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 Science -- Chapter 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 -- Chapter 39 Is the Mathematical Explanation of Physical Data Unique? -- Chapter 40 The Pernicious Influence of Mathematics on Science -- Chapter 41 Curved Empty Space-Time as the Building Material of the Physical World: an Assessment -- SECTION VII METHODOLOGY AND PHILOSOPHY OF BIOLOGICAL AND PSYCHOLOGICAL SCIENCES -- Chapter 42 The Scientific Status of Psychoanalysis -- Symposium on Alternative Approaches to the Theoy of Choice -- Chapter 43 A Stochastic Model for the Act of Choice -- Chapter 44 Response Strengths and Choice Probability: A Consideration of two Combination Rules.
,
Chapter 45 Theories of Choice and the Stimulus-Response Framework -- Chapter 46 A Descriptive Approach to the Dynamics of Choice Behavior -- Chapter 47 "Brain-Computer" Approach to the Theory of Choice -- SECTION VIII METHODOLOGY AND PHILOSOPHY OF SOCIAL SCIENCES -- Chapter 48 Models for the Analysis of Balance of Power in Society -- Chapter 49 Philosophy of Science and Empirical Social Research -- Symposium on Macro- and Microeconomics -- Chapter 50 Microeconomics and Macroeconomics -- Chapter 51 Résultats et Directions de Recherche Dans la Théorie De l'Agrégation -- Chapter 52 Three Models of Economic Growth -- Chapter 53 Alternative Approaches to the Aggregation Problem -- SECTION IX METHODOLOGY AND PHILOSOPHY OF LINGUISTICS -- Chapter 54 Explanatory Models in Linguistics -- Smposium on Models in Linguistics -- Chapter 55 Some Recent Results in Theoretical Linguistics -- Chapter 56 Models in Linguistics and Models in General -- Chapter 57 Lists in Grammars -- Chapter 58 Criteria for a Model of Language -- SECTION X METHODOLOGY AND PHILOSOPHY OF HISTORICAL SCIENCES -- Chapter 59 Scientific Method and the Work of the Historian -- Chapter 60 The Historian's Problem of Selection -- SECTION XI HISTORY OF LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE -- Chapter 61 Remarks on the Role of Quantity, Quality, and Relations in the History of Logic, Methodology and Philosophy of Science -- Chapter 62 The Main Trends in the Foundations of Geometry in the 19th Century -- Chapter 63 Modality de Dicto and de Re -- Chapter 64 Contraposition in Indian Logic -- Chapter 65. Program of the Proceedings.
Permalink