No CrossRef data available.
Published online by Cambridge University Press: 28 February 2022
Logicism as a philosophical enterprise died a sudden and unnatural death in the early 1930s. The logicist program was an attempt to secure our mathematical knowledge in the indubitable bedrock of our a priori logical intuitions. It was a program very much impressed by the remarkable achievements in formal logic and axiomatics in the early century. While that program is well dead and gone, a research program within artificial intelligence (AI) has come to be known by the same name, sharing with its homonymous predecessor at least that program’s esteem for logic.
Logicism in AI, briefly, is the view that prerequisite to developing an artificially intelligent system we must find means for representing and reasoning with a vast store of prepositional knowledge and that the only viable candidates for representing prepositional knowledge are formal logics (and their associated formal languages).