- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Newell's program, like Hilbert's, is dead; let's move on
Behavioral and Brain Sciences 26 (5):627-627 (2003)
Abstract
We draw an analogy between Hilbert's program (HP) for mathematics and Newell's program (NP) for cognitive modeling. The analogy reveals that NP, like HP before it, is fundamentally flawed. The only alternative is a program anchored by an admission that cognition is more than computation.Author's Profile
My notes
Similar books and articles
From Consistency to Incompleteness: A Philosophical Study of Hilbert's Program and Goedel's Incompleteness Theorem.Byoung-il Choi - 1997 - Dissertation, University of California, Berkeley
Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier. [REVIEW]Richard Zach - 2004 - Philosophiques 31 (1):221-224.
Hilbert's formalism.Michael Detlefsen - 1993 - Revue Internationale de Philosophie 47 (186):285-304.
Proof-theoretic reduction as a philosopher's tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
Chapter Four. Hilbert’s Program.Øystein Linnebo - 2017 - In Philosophy of Mathematics. Princeton, NJ: Princeton University Press. pp. 56-72.
On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program.Ryota Akiyoshi - 2009 - Annals of the Japan Association for Philosophy of Science 17:13-29.
Analytics
Added to PP
2009-01-28
Downloads
47 (#329,442)
6 months
9 (#437,668)
2009-01-28
Downloads
47 (#329,442)
6 months
9 (#437,668)
Historical graph of downloads
Author's Profile
Citations of this work
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself.Selmer Bringsjord - 2008 - Journal of Applied Logic 6 (4):502-525.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-5pqs9 uwo