The Quantified Argument Calculus and Natural Logic
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 vers...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Philosophie.ch
2022-11-01
|
| Series: | Dialectica |
| Online Access: | https://dialectica.philosophie.ch/dialectica/article/view/13 |
| _version_ | 1797851420812115968 |
|---|---|
| author | Hanoch Ben-Yami |
| author_facet | Hanoch Ben-Yami |
| author_sort | Hanoch Ben-Yami |
| collection | DOAJ |
| description |
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.
|
| first_indexed | 2024-04-09T19:17:39Z |
| format | Article |
| id | doaj.art-2fba9ad9e2cd408fbcc78721f2d72452 |
| institution | Directory Open Access Journal |
| issn | 0012-2017 1746-8361 |
| language | English |
| last_indexed | 2024-04-09T19:17:39Z |
| publishDate | 2022-11-01 |
| publisher | Philosophie.ch |
| record_format | Article |
| series | Dialectica |
| spelling | doaj.art-2fba9ad9e2cd408fbcc78721f2d724522023-04-06T01:04:44ZengPhilosophie.chDialectica0012-20171746-83612022-11-01999110.48106/dial.v74.i2.02The Quantified Argument Calculus and Natural LogicHanoch Ben-Yami 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. https://dialectica.philosophie.ch/dialectica/article/view/13 |
| spellingShingle | Hanoch Ben-Yami The Quantified Argument Calculus and Natural Logic Dialectica |
| title | The Quantified Argument Calculus and Natural Logic |
| title_full | The Quantified Argument Calculus and Natural Logic |
| title_fullStr | The Quantified Argument Calculus and Natural Logic |
| title_full_unstemmed | The Quantified Argument Calculus and Natural Logic |
| title_short | The Quantified Argument Calculus and Natural Logic |
| title_sort | quantified argument calculus and natural logic |
| url | https://dialectica.philosophie.ch/dialectica/article/view/13 |
| work_keys_str_mv | AT hanochbenyami thequantifiedargumentcalculusandnaturallogic AT hanochbenyami quantifiedargumentcalculusandnaturallogic |