Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 / edited by Patrick Suppes [and others]

Von:

International Congress for Logic, Methodology, and Philosophy of Science (4th, 1971, Bucharest, Romania) [aut]

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch, Französisch, Deutsch, Russisch Reihen: Studies in logic and the foundations of mathematics ; v. 74Verlag: Amsterdam ; New York : North-Holland Pub. Co, 2011Beschreibung: Online Ressource (x, 981 pages)ISBN:

0080954847
0444104917
9780080954844
9780444104915
0720422744
9780444104915
9780720422740

Schlagwörter: Genre/Form:

Konferenzschrift

Andere physische Formen: 9780444104915 | 0720422744 | Erscheint auch als: Logic, methodology and philosophy of science IV. Druck-Ausgabe Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1973DDC-Klassifikation:

160
Philosophy of science

LOC-Klassifikation:

Q175
BC135

Online-Ressourcen:

Andere physische Formen: Online-Ausg. [S.l.] : HathiTrust Digital LibraryZusammenfassung: 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 TheoryZusammenfassung: 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 ScienceZusammenfassung: 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 UniverseZusammenfassung: 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 PropensitiesZusammenfassung: Provability, Computability and ReflectionZusammenfassung: 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 ComplexityPPN: PPN: 878888446Package identifier: Produktsigel: BSZ-33-EBS-C1UB | BSZ-33-EBS-HSAA | GBV-33-EBS-MRI | GBV-33-EBS-ZHB | GBV-33-Freedom-BL | ZDB-1-ELC | ZDB-33-EBS | ZDB-33-ESD

Exemplare ( 0 )
Titelinformationen ( 5 )

Dieser Titel hat keine Exemplare

Restrictions unspecified star

Online-Ausg. [S.l.] : HathiTrust Digital Library

Online-Ausg. [S.l.] : HathiTrust Digital Library. Online-Ausg. [S.l.] : HathiTrust Digital Library

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