Logic, Language, and Calculus

07/06/2020
by   Florian Richter, et al.
0

The difference between object-language and metalanguage is crucial for logical analysis, but has yet not been examined for the field of computer science. In this paper the difference is examined with regard to inferential relations. It is argued that inferential relations in a metalanguage (like a calculus for propositional logic) cannot represent conceptual relations of natural language. Inferential relations govern our concept use and understanding. Several approaches in the field of Natural Language Understanding (NLU) and Natural Language Inference (NLI) take this insight in account, but do not consider, how an inference can be assessed as a good inference. I present a logical analysis that can assesss the normative dimension of inferences, which is a crucial part of logical understanding and goes beyond formal understanding of metalanguages.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/01/2021

Natural language understanding for logical games

We developed a system able to automatically solve logical puzzles in nat...
research
12/10/2021

A Puzzle-Based Dataset for Natural Language Inference

We provide here a dataset for tasks related to natural language understa...
research
07/06/2020

Inferences and Modal Vocabulary

Deduction is the one of the major forms of inferences and commonly used ...
research
10/29/2020

Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference

Tackling Natural Language Inference with a logic-based method is becomin...
research
02/22/2021

A Relational Tsetlin Machine with Applications to Natural Language Understanding

TMs are a pattern recognition approach that uses finite state machines f...
research
04/02/2016

A Formal Calculus for International Relations Computation and Evaluation

This publication presents a relation computation or calculus for interna...
research
09/06/2022

A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations

This article proposes the use of temporal logic for an analysis of instr...

Please sign up or login with your details

Forgot password? Click here to reset