Rigor mortis: A response to Nilsson's "Logic and artificial intelligence"

Lawrence A Birnbaum*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

33 Scopus citations


Logicism has contributed greatly to progress in AI by emphasizing the central role of mental content and representational vocabulary in intelligent systems. Unfortunately, the logicists' dream of a completely use-independent characterization of knowledge has drawn their attention away from these fundamental AI problems, leading instead to a concentration on purely formalistic issues in deductive inference and model-theoretic "semantics". In addition, their failure to resist the lure of formalistic modes of expression has unnecessarily curtailed the prospects for intellectual interaction with other AI researchers.

Original languageEnglish (US)
Pages (from-to)57-77
Number of pages21
JournalArtificial Intelligence
Issue number1-3
StatePublished - Jan 1991

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence


Dive into the research topics of 'Rigor mortis: A response to Nilsson's "Logic and artificial intelligence"'. Together they form a unique fingerprint.

Cite this