Overview

Full Product Details

Author:   Paolo Mancosu (University of California Berkeley)
Publisher:   Oxford University Press
Imprint:   Oxford University Press
Dimensions:   Width: 16.90cm , Height: 3.30cm , Length: 24.70cm
Weight:   0.978kg
ISBN:  

9780198701514

ISBN 10:   0198701519
Pages:   632
Publication Date:   09 January 2014
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   To order  
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

"PrefacePart 1: History of Logic1: The Development of Mathematical Logic from Russell to Tarski, 1900-1935Oart 2: Foundations of Mathematics2: Hilbert and Bernays on Metamathematics3: Between Russell and Hilbert: Behmann on the foundations of mathematics4: The Russellian influence on Hilbert and his school5: On the constructivity of proofs6: Wittgenstein's constructivization of Euler's proof of the infinitude of primes7: Between Vienna and Berlin: The immediate reception of Gödel's incompleteness theorems8: Essay Review of Gödel's Collected Works (volumes IV and V)Part 3: Phenomenology and Mathematics9: Hermann Weyl: Predicativity and an intuitionistic excursion10: Mathematics and Phenomenology: the correspondence between O. Becker and H. Weyl11: Geometry, Physics and Phenomenology: Four letters of O. Becker to H. Weyl12: Das Abenteuer der Vernunft: O. Becker and D. Mahnke on the phenomenological foundation of the exact sciencesPart 4: Nominalism13: Harvard 1940-1941: Tarski, Carnap and Quine on a finitist language of mathematics for science14: Quine and Tarski on nominalismPart 5: The emergence of semantics: truth and logical consequence15: Neurath and Kokoszynska on the semantic conception of truth16: Tarski on models and logical consequence17: Tarski on Categoricity and Completeness: an unpublished lecture from 194018: Archival Appendix. ""On the completeness and categoricity of deductive theories"" (1940), By Alfred Tarski.Bibliography"

Reviews

This book contains an enormous amount of material that historians will wish to consult. Mancosu convincingly demonstrates that there is a great deal more that we can still learn about the origins of modern mathematical logic. Michael Potter, Philosophia Mathematica

"""This book contains an enormous amount of material that historians will wish to consult. Mancosu convincingly demonstrates that there is a great deal more that we can still learn about the origins of modern mathematical logic."" -Michael Potter, Philosophia Mathematica"

Author Information

Paolo Mancosu is Professor of Philosophy at University of California Berkeley. His main interests are in logic, history and philosophy of mathematics, and history and philosophy of logic.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions