Abstract (may include machine translation)
The Quantified Argument Calculus (Quarc) is a formal logic system, first developed by Hanoch Ben-Yami in (Ben-Yami 2014), and since then extended and applied by several authors. The aim of this paper is to further these contributions by, first, providing a philosophical motivation for the truth-valuational, substitutional approach of (Ben-Yami 2014) and defending it against a common objection, a topic also of interest beyond its specific application to Quarc. Second, we fill the formal lacunae left in the
original presentation, which did not incorporate identity systematically into Quarc, and although it proved the soundness of the system did not prove its completeness.
original presentation, which did not incorporate identity systematically into Quarc, and although it proved the soundness of the system did not prove its completeness.
| Original language | English |
|---|---|
| Title of host publication | Human Rationality |
| Subtitle of host publication | Festschrift for Nenad Smokrović |
| Editors | Boran Berčić, Aleksandra Golubović, Majda Trobok |
| Publisher | University of Rijeka, Faculty of Humanities and Social Sciences, Department of Philosophy |
| Pages | 53-77 |
| ISBN (Electronic) | 978-953-361-064-1 |
| State | Published - Dec 2022 |
Keywords
- Quantified Argument Calculus
- Truth-Valuational Semantics
- Natural Deduction
- Henkin Completeness.