Logic, Language, and Calculus

  • 2020-07-06 00:52:54
  • Florian Richter
  • 2

Abstract

The difference between object-language and metalanguage is crucial forlogical analysis, but has yet not been examined for the field of computerscience. In this paper the difference is examined with regard to inferentialrelations. It is argued that inferential relations in a metalanguage (like acalculus for propositional logic) cannot represent conceptual relations ofnatural language. Inferential relations govern our concept use andunderstanding. Several approaches in the field of Natural LanguageUnderstanding (NLU) and Natural Language Inference (NLI) take this insight inaccount, but do not consider, how an inference can be assessed as a goodinference. I present a logical analysis that can assesss the normativedimension of inferences, which is a crucial part of logical understanding andgoes beyond formal understanding of metalanguages.

 

Quick Read (beta)

loading the full paper ...