- 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
Is Gödelian Model-based Deductive Reasoning Computational?
Philosophica 61 (1) (1998)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Selmer Bringsjord, What Robots Can and Can't Be, Studies in Cognitive Systems. [REVIEW]Hauser Larry - 1997 - Minds and Machines 7 (3):433-438.
Model theory of deduction: a unified computational approach.Bruno G. Bara, Monica Bucciarelli & Vincenzo Lombardo - 2001 - Cognitive Science 25 (6):839-901.
Ordinary Devices: Reply to Bringsjord's `Clarifying the Logic of Anti-Computationalism: Reply to Hauser'1.Larry Hauser - 2000 - Minds and Machines 10 (1):115-117.
Computational discovery of communicable scientific knowledge.Pat Langley, Jeff Shrager & Kazumi Saito - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 201--225.
Logical and Computational Aspects of Model-Based Reasoning.L. Magnani, N. J. Nersessian & C. Pizzi (eds.) - 2002 - Kluwer Academic Publishers.
Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. xxx + 339. ISBN 1-4020-1094-X. [REVIEW]E. Mendelson - 2005 - Philosophia Mathematica 13 (2):228-230.
Reasoning about Models of Nonlinear Systems.Reinhard Stolle, Matthew Easley & Elizabeth Bradley - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 249--271.
Model-guided proof planning.Seungyeob Choi & Manfred Kerber - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 143--162.
Beyond Telling: Where New Computational Media is Taking Model-Based Reasoning.Sanjay Chandrasekharan - 2006 - In Lorenzo Magnani & Claudia Casadio (eds.), Model Based Reasoning in Science and Technology. Logical, Epistemological, and Cognitive Issues. Cham, Switzerland: Springer International Publishing.
Analytics
Added to PP
2013-03-01
Downloads
67 (#317,789)
6 months
7 (#740,041)
2013-03-01
Downloads
67 (#317,789)
6 months
7 (#740,041)
Historical graph of downloads
Author's Profile
Citations of this work
Superminds: People Harness Hypercomputation, and More.Mark Phillips, Selmer Bringsjord & M. Zenzen - 2003 - Dordrecht, Netherland: Springer Verlag.
External diagrammatization and iconic brain co-evolution.Lorenzo Magnani - 2011 - Semiotica 2011 (186):213-238.
Are we evolved computers?: A critical review of Steven Pinker's how the mind works. [REVIEW]Selmer Bringsjord - 2001 - Philosophical Psychology 14 (2):227 – 243.
References found in this work
The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics.Roger Penrose - 1989 - New York: Oxford University Press.
Shadows of the Mind: A Search for the Missing Science of Consciousness.Roger Penrose - 1994 - Oxford University Press.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Artificial Intelligence: A Modern Approach.Stuart Jonathan Russell & Peter Norvig (eds.) - 1995 - Prentice-Hall.
Mathematical logic.Heinz-Dieter Ebbinghaus - 1996 - New York: Springer. Edited by Jörg Flum & Wolfgang Thomas.
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-648784bb4d-82spv uwo