Loading...
The Quantified Argument Calculus and Natural Logic
Ben-Yami, Hanoch
Ben-Yami, Hanoch
Title / Series / Name
Dialectica
Publication Volume
74
Publication Issue
2
Pages
Author
Editors
Keywords
Philosophy
Files
URI
https://hdl.handle.net/20.500.14018/29035
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
2020-06
Language
ISBN
Identifiers
10.48106/dial.v74.i2.02