Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 (eBook)

Lev D. Beklemishev (Autor)

eBook Download: PDF

2000 | 1. Auflage
978 Seiten
Elsevier Science (Verlag)
978-0-08-095484-4 (ISBN)

Infos

Provability, Computability and Reflection

---

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Inhalt

Front Cover 1
Logic, Methodology and Philosophy of Science IV 4
Copyright Page 5
Table of Contents 6
Preface 10
PART I MATHEMATICAL LOGIC 12
Chapter 1 Elementary Logic 14
Chapter 2 Partial Orderings of the Family of .-models 24
Chapter 3 A Survey of Decidability Results for Modal, Tense and Intermediate Logics 40
Chapter 4 On the Number of Countable Models of a Countable Superstable Theory 56
Chapter 5 Countable Models with Standard Part 68
Chapter 6 Solving Diophantine Equations 74
Chapter 7 The Hierarchy of .02-sets 80
Chapter 8 Analytical Definability in a Playful Universe 88
PART II FOUNDATIONS OF MATHEMATICAL THEORIES 98
Chapter 9 On Recursive Unsolvability of Hilbert's Tenth Problem 100
Chapter 10 Constructive Mathematics and Models of Intuitionistic Theories 122
Chapter 11 An Interpretation of Intuitionistic Number Theory 140
Chapter 12 Nonstandard Arithmetic and Generic Arithmetic 148
PART III AUTOMATA AND PROGRAMMING LANGUAGES 166
Chapter 13 Models for Various Type-Free Calculi 168
Chapter 14 The Dangers of Computer-Science Theory 200
Chapter 15 Sur un Langage Equivalent au Langage de Dyck 208
Chapter 16 Formalization of Some Notions in Terms of Computational Complexity 216
Chapter 17 Features of Natural Languages in Programming Languages 226
PART IV PHILOSOPHY OF LOGIC AND MATHEMATICS 234
Chapter 18 Towards a Foundation of General Proof Theory 236
Chapter 19 In Memoriam to Richard Montague 262
Chapter 20 Some Remarks on Lorenzen's Theory 264
Chapter 21 Perspectives in the Philosophy of Pure Mathematics 266
Chapter 22 Hauptsatz for Intuitionistic Simple Type Theory 290
PART V GENERAL PROBLEMS OF METHODOLOGY AND PHILOSOPHY OF SCIENCE 302
Chapter 23 On the Logic and Epistemology of the Causal Relation 304
Chapter 24 On the Different Ingredients of an Empirical Theory 324
Chapter 25 Gnoseological Aspects of Present-day Science 334
Chapter 26 Falsification, Revolution and Continuity in the Development of Science 344
Chapter 27 Induction and the Empiricist Model of Knowledge 356
Chapter 28 Über abstrakte und idealisierte Objekte, über deren methodologischen und gnoseologischen Status 368
Chapter 29 The Meaning of Theoretical Terms: A Critique of the Standard Empiricist Construal 378
Chapter 30 Models of Theory-Change 390
Chapter 31 Falsification and Its Critics 404
Chapter 32 Demonstrative and Heuristic Aspects in the Logical Modeling of Science 418
PART VI FOUNDATIONS OF PROBABILITY AND INDUCTION 426
Chapter 33 Probability in Science: A Personalistic Account 428
Chapter 34 Induction and Probability in the Nineteenth Century 440
Chapter 35 Extension of the Theory of Probability 450
Chapter 36 The Concept of Probability in Psychological Experiments 462
Chapter 37 Objective Single-Case Probabilities and the Foundations of Statistics 478
Chapter 38 Propensities, Statistics and Inductive Logic 496
Chapter 39 Carnap's Normative Theory of Inductive Probability 512
Chapter 40 New Foundations of Objective Probability: Axioms for Propensities 526
PART VII METHODOLOGY AND PHILOSOPHY OF PHYSICAL SCIENCES 542
Chapter 41 Macrotheories and Microtheories 544
Chapter 42 The Two Problems of Quantum Measurement 578
Chapter 43 Concerning Unity of Knowledge in Physics 594
Chapter 44 The Status of Hidden-Variable Theories 604
Chapter 45 Two Concepts of Probability in Physics 614
PART VIII METHODOLOGY AND PHILOSOPHY OF BIOLOGICAL SCIENCES 628
Chapter 46 Reduction in Genetics—Doing the Impossible 630
Chapter 47 Hyperstructures and 'Infa'-Systems of Organized and Organizing Information in Biology 648
Chapter 48 On the Formalizability of Learning and Evolution 658
Chapter 49 Organizational Principles for Theoretical Embryology 670
Chapter 50 Polar Organisms with Apolar Individual Cells 676
Chapter 51 Cellular Automata, Formal Languages and Developmental Systems 688
Chapter 52 Models of Collective Behaviour of Automata 704
PART IX METHODOLOGY AND PHILOSOPHY OF PSYCHOLOGICAL SCIENCES 718
Chapter 53 The Material Mind 720
PART X METHODOLOGY AND PHILOSOPHY OF HISTORICAL AND SOCIAL SCIENCES 734
Chapter 54 The Divergence of History and Sociology in Recent Philosophy of History 736
Chapter 55 New Trends in the Method of Social Sciences, and Especially of the Economic Sciences 754
Chapter 56 A Model for Mutual Effects of Attributes 768
Chapter 57 Conditional Causal Relations and Their Approximations in the Social Sciences 776
Chapter 58 Cause-Effect Relationships: Operative Aspects 800
PART XI METHODOLOGY AND PHILOSOPHY OF LINGUISTICS 814
Chapter 59 Problems of Theoretical Linguistics 816
Chapter 60 Some Remarks on the Notion 'Universal Semantics' 844
Chapter 61 Uncontained Rules of Meaning 856
Chapter 62 On the Grammar of Existential Sentences 874
PART XII HISTORY OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE 894
Chapter 63 Rationality and the Changing Aims of Inquiry 896
Chapter 64 La Doctrine de L'Universel chez Aristote 916
Chapter 65 Aristotle, ukasiewicz and the Origins of Many-valued Logic 932
Chapter 66 The Approximative Explanation and the Development of Physics 942
Chapter 67 Hegel's Conception of 'Begriffsbestimmung' and Philosophy of Science 954
Chapter 68 La Continuité et la Discontinuité en Chimie et en Physique au XIXe Siècle 968
Chapter 69 The Concept of Physical Necessity 978
Program 988

Produkt-Details

• Erscheint lt. Verlag: 1.4.2000
• Sprache: englisch
• Themenwelt: Informatik ► Software Entwicklung ► User Interfaces (HCI)
• Themenwelt: Informatik ► Theorie / Studium ► Algorithmen
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Themenwelt: Naturwissenschaften
• Themenwelt: Technik
• ISBN-10: 0-08-095484-7 / 0080954847
• ISBN-13: 978-0-08-095484-4 / 9780080954844