Mechanism, Mentalism and Metamathematics

An Essay on Finitism

Nonfiction, Science & Nature, Science, Other Sciences, Philosophy & Social Aspects, Religion & Spirituality, Philosophy, Mind & Body
Cover of the book Mechanism, Mentalism and Metamathematics by J. Webb, Springer Netherlands
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: J. Webb ISBN: 9789401576536
Publisher: Springer Netherlands Publication: March 9, 2013
Imprint: Springer Language: English
Author: J. Webb
ISBN: 9789401576536
Publisher: Springer Netherlands
Publication: March 9, 2013
Imprint: Springer
Language: English

This book grew out of a graduate student paper [261] in which I set down some criticisms of J. R. Lucas' attempt to refute mechanism by means of G6del's theorem. I had made several such abortive attempts myself and had become familiar with their pitfalls, and especially with the double­ edged nature of incompleteness arguments. My original idea was to model the refutation of mechanism on the almost universally accepted G6delian refutation of Hilbert's formalism, but I kept getting stuck on questions of mathematical philosophy which I found myself having to beg. A thorough study of the foundational works of Hilbert and Bernays finally convinced me that I had all too naively and uncritically bought this refutation of formalism. I did indeed discover points of surprisingly close contact between formalism and mechanism, but also that it was possible to under­ mine certain strong arguments against these positions precisely by invok­ ing G6del's and related work. I also began to realize that the Church­ Turing thesis itself is the principal bastion protecting mechanism, and that G6del's work was perhaps the best thing that ever happened to both mechanism and formalism. I pushed these lines of argument in my dis­ sertation with the patient help of my readers, Raymond Nelson and Howard Stein. I would especially like to thank the latter for many valuable criticisms of my dissertation as well as some helpful suggestions for reor­ ganizing it in the direction of the present book.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book grew out of a graduate student paper [261] in which I set down some criticisms of J. R. Lucas' attempt to refute mechanism by means of G6del's theorem. I had made several such abortive attempts myself and had become familiar with their pitfalls, and especially with the double­ edged nature of incompleteness arguments. My original idea was to model the refutation of mechanism on the almost universally accepted G6delian refutation of Hilbert's formalism, but I kept getting stuck on questions of mathematical philosophy which I found myself having to beg. A thorough study of the foundational works of Hilbert and Bernays finally convinced me that I had all too naively and uncritically bought this refutation of formalism. I did indeed discover points of surprisingly close contact between formalism and mechanism, but also that it was possible to under­ mine certain strong arguments against these positions precisely by invok­ ing G6del's and related work. I also began to realize that the Church­ Turing thesis itself is the principal bastion protecting mechanism, and that G6del's work was perhaps the best thing that ever happened to both mechanism and formalism. I pushed these lines of argument in my dis­ sertation with the patient help of my readers, Raymond Nelson and Howard Stein. I would especially like to thank the latter for many valuable criticisms of my dissertation as well as some helpful suggestions for reor­ ganizing it in the direction of the present book.

More books from Springer Netherlands

Cover of the book The United Nations and Decolonization: The Role of Afro — Asia by J. Webb
Cover of the book Terahertz and Mid Infrared Radiation: Detection of Explosives and CBRN (Using Terahertz) by J. Webb
Cover of the book The Medieval Heritage in Early Modern Metaphysics and Modal Theory, 1400–1700 by J. Webb
Cover of the book Natural Processes and Human Impacts by J. Webb
Cover of the book Combinators, λ-Terms and Proof Theory by J. Webb
Cover of the book Resilience and Risk by J. Webb
Cover of the book A Dictionary of Neurological Signs by J. Webb
Cover of the book Saturn from Cassini-Huygens by J. Webb
Cover of the book Educational Research: Proofs, Arguments, and Other Reasonings by J. Webb
Cover of the book Identification Guide of Freshwater Macroinvertebrates of Spain by J. Webb
Cover of the book Natural and Man-Made Hazards by J. Webb
Cover of the book Advances in European Geothermal Research by J. Webb
Cover of the book Elements of Control by J. Webb
Cover of the book Nature of Science in General Chemistry Textbooks by J. Webb
Cover of the book Aspects of Face Processing by J. Webb
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy