Four unsolvable problems of symbolic AI

Abstract

Within the strong branch of artificial intelligence (aI), which is aimed at creating thinking machines with intellectual powers like those of man, the most explored research program is symbolic aI, defined as the attempt to use electronic computers to replicate the human mind, either assuming a structural and functional similarity between them, or trying to replicate the behavior produced by the human mind through computational processes that also have an intentional structure but are only instrumentally equivalent. In this paper we show that strong symbolic aI, in either of its two variants, is impossible, since formal systems, that is what all computer programs ultimately are, are not sufficient to replicate in an intentional way four intellectual faculties of man that are essential to intelligent behavior: sense of the situation, common sense, procedural skills and theory abduction.