Logical Computational Linguistics

arXiv cs.CL / 4/21/2026

📰 NewsIdeas & Deep AnalysisModels & Research

Key Points

  • The work argues for “logical computational linguistics” instead of statistical approaches, emphasizing a logical semantic interface for NLP.
  • It compiles over twenty years of research on type-logical grammar while introducing new ideas and materials.
  • The authors claim that statistical dependency chains lose certainty as they extend, whereas logical dependency chains preserve 100% end-to-end confidence.
  • The goal is to achieve perfectly accurate syntactic and semantic processing for life-critical NLP applications.

Abstract

In this book we promote logical computational linguistics as opposed to statistical computational linguistics. In particular, we provide a logical semantic interface. This book assembles more than twenty years of research work on type logical grammar, and adds new ideas and material. Chains of statistical dependencies of less than one hundred per cent confidence tend monotonically to zero. Chains of logical dependencies of any length maintain one hundred per cent confidence end to end. We aspire to enable perfect syntactic and semantic processing in life-critical NLP applications.