Loading...
The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics
Editors
Title / Series / Name
Studia Logica
Publication Volume
111
Publication Issue
2
Pages
Authors
Editors
Keywords
URI
http://hdl.handle.net/20.500.14018/14013
Abstract
We introduce a two-valued and a three-valued truth-valuational substitutional semantics for the Quantified Argument Calculus (Quarc). We then prove that the 2-valid arguments are identical to the 3-valid ones with strict-to-tolerant validity. Next, we introduce a Lemmon-style Natural Deduction system and prove the completeness of Quarc on both two- and three-valued versions, adapting Lindenbaum’s Lemma to truth-valuational semantics. We proceed to investigate the relations of three-valued Quarc and the Predicate Calculus (PC). Adding a logical predicate T to Quarc, true of all singular arguments, allows us to represent PC quantification in Quarc and translate PC into Quarc, preserving validity. Introducing a weak existential quantifier into PC allows us to translate Quarc into PC, also preserving validity. However, unlike the translated systems, neither extended system can have a sound and complete proof system with Cut, supporting the claim that these are basically different calculi.
Topic
Publisher
Place of Publication
Type
Journal article
Date
2023
Language
ISBN
Identifiers
10.1007/s11225-022-10022-5