Select an Action
Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Title:
Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Author:
International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)
ISBN:
9780080954844
9780444104915
9781282309296
9786612309298
Publication Information:
Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1973.
Physical Description:
1 online resource (x, 981 pages).
Series:
Studies in logic and the foundations of mathematics ; v. 74
Studies in logic and the foundations of mathematics ; v. 74.
General Note:
Jointly sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science and the Academy of the Socialist Republic of Rumania.
Text in English, French, German, and Russian.
Contents:
Front Cover; Logic, Methodology and Philosophy of Science IV; Copyright Page; Table of Contents; Preface; PART I MATHEMATICAL LOGIC; Chapter 1 Elementary Logic; Chapter 2 Partial Orderings of the Family of ?-models; Chapter 3 A Survey of Decidability Results for Modal, Tense and Intermediate Logics; Chapter 4 On the Number of Countable Models of a Countable Superstable Theory; Chapter 5 Countable Models with Standard Part; Chapter 6 Solving Diophantine Equations; Chapter 7 The Hierarchy of ?02-sets; Chapter 8 Analytical Definability in a Playful Universe
PART II FOUNDATIONS OF MATHEMATICAL THEORIESChapter 9 On Recursive Unsolvability of Hilbert's Tenth Problem; Chapter 10 Constructive Mathematics and Models of Intuitionistic Theories; Chapter 11 An Interpretation of Intuitionistic Number Theory; Chapter 12 Nonstandard Arithmetic and Generic Arithmetic; PART III AUTOMATA AND PROGRAMMING LANGUAGES; Chapter 13 Models for Various Type-Free Calculi; Chapter 14 The Dangers of Computer-Science Theory; Chapter 15 Sur un Langage Equivalent au Langage de Dyck; Chapter 16 Formalization of Some Notions in Terms of Computational Complexity
Chapter 17 Features of Natural Languages in Programming LanguagesPART IV PHILOSOPHY OF LOGIC AND MATHEMATICS; Chapter 18 Towards a Foundation of General Proof Theory; Chapter 19 In Memoriam to Richard Montague; Chapter 20 Some Remarks on Lorenzen's Theory; Chapter 21 Perspectives in the Philosophy of Pure Mathematics; Chapter 22 Hauptsatz for Intuitionistic Simple Type Theory; PART V GENERAL PROBLEMS OF METHODOLOGY AND PHILOSOPHY OF SCIENCE; Chapter 23 On the Logic and Epistemology of the Causal Relation; Chapter 24 On the Different Ingredients of an Empirical Theory
Chapter 25 Gnoseological Aspects of Present-day ScienceChapter 26 Falsification, Revolution and Continuity in the Development of Science; Chapter 27 Induction and the Empiricist Model of Knowledge; Chapter 28 Über abstrakte und idealisierte Objekte, über deren methodologischen und gnoseologischen Status; Chapter 29 The Meaning of Theoretical Terms: A Critique of the Standard Empiricist Construal; Chapter 30 Models of Theory-Change; Chapter 31 Falsification and Its Critics; Chapter 32 Demonstrative and Heuristic Aspects in the Logical Modeling of Science
PART VI FOUNDATIONS OF PROBABILITY AND INDUCTIONChapter 33 Probability in Science: A Personalistic Account; Chapter 34 Induction and Probability in the Nineteenth Century; Chapter 35 Extension of the Theory of Probability; Chapter 36 The Concept of Probability in Psychological Experiments; Chapter 37 Objective Single-Case Probabilities and the Foundations of Statistics; Chapter 38 Propensities, Statistics and Inductive Logic; Chapter 39 Carnap's Normative Theory of Inductive Probability; Chapter 40 New Foundations of Objective Probability: Axioms for Propensities
Abstract:
Provability, Computability and Reflection.
Subject Term:
Added Author:
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780444104915 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/74 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74Available:*
Shelf Number | Item Barcode | Shelf Location | Status |
|---|---|---|---|
| BC135 .I55 1971 EB | 1192438-1001 | Elsevier E-Book Collections | Searching... |
On Order
Select a list
Make this your default list.
The following items were successfully added.
There was an error while adding the following items. Please try again.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.