Given the Web, What is Intelligence, Really?
Version of Record online: 16 JUL 2012
© 2012 The Authors. Metaphilosophy © 2012 Metaphilosophy LLC and Blackwell Publishing Ltd
Special Issue: Philoweb: Toward a Philosophy of the Web: Guest Editors: Harry Halpin and Alexandre Monnin
Volume 43, Issue 4, pages 464–479, July 2012
How to Cite
Bringsjord, S. and Govindarajulu, N. S. (2012), Given the Web, What is Intelligence, Really?. Metaphilosophy, 43: 464–479. doi: 10.1111/j.1467-9973.2012.01760.x
- Issue online: 16 JUL 2012
- Version of Record online: 16 JUL 2012
- John Templeton Foundation
- extensional logic;
- human-level intelligence;
- intensional logic;
- knowledge representation;
This article argues that existing systems on the Web cannot approach human-level intelligence, as envisioned by Descartes, without being able to achieve genuine problem solving on unseen problems. The article argues that this entails committing to a strong intensional logic. In addition to revising extant arguments in favor of intensional systems, it presents a novel mathematical argument to show why extensional systems can never hope to capture the inherent complexity of natural language. The argument makes its case by focusing on representing, with increasing degrees of complexity, knowledge in a first-order language. Nevertheless, the attempts at representation fail to achieve consistency, making the case for an intensional representation system for natural language clear.