Loading...
The Quantified Argument Calculus and Natural Logic
Editors
Title / Series / Name
Dialectica
Publication Volume
Publication Issue
Pages
Authors
Editors
Keywords
URI
http://hdl.handle.net/20.500.14018/14096
Abstract
The formalisation of natural language arguments in a formal language close to it in syntax has been a central aim of Moss's Natural Logic. I examine how the Quantified Argument Calculus (Quarc) can handle the inferences Moss has considered. I show that they can be incorporated in existing versions of Quarc or in straightforward extensions of it, all within sound and complete systems. Moreover, Quarc is closer in some respects to natural language than are Moss's systems - for instance, it does not use negative nouns. The process also sheds light on formal properties and presuppositions of some inferences it formalises. Directions for future work are outlined.
Topic
Publisher
Place of Publication
Type
Journal article
Date
2022
Language
ISBN
Identifiers
10.48106/dial.v74.i2.02