TY - JOUR
T1 - Dung's Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger
AU - Gabbay, Dov M.
PY - 2011/11
Y1 - 2011/11
N2 - In this paper we show that some versions of Dung's abstract argumentation frames are equivalent to classical propositional logic. In fact, Dung's attack relation is none other than the generalised Peirce-Quine dagger connective of classical logic which can generate the other connectives ¬, ∧, ∨, → of classical logic. After establishing the above correspondence we offer variations of the Dung argumentation frames in parallel to variations of classical logic, such as resource logics, predicate logic, etc., etc., and create resource argumentation frames, predicate argumentation frames, etc., etc. We also offer the notion of logic proof as a geometrical walk along the nodes of a Dung network and thus we are able to offer a geometrical abstraction of the notion of inference based argumentation. Thus our paper is also a contribution to the question: "What is a logical system" in as much as it integrates logic with abstract argumentation networks.
AB - In this paper we show that some versions of Dung's abstract argumentation frames are equivalent to classical propositional logic. In fact, Dung's attack relation is none other than the generalised Peirce-Quine dagger connective of classical logic which can generate the other connectives ¬, ∧, ∨, → of classical logic. After establishing the above correspondence we offer variations of the Dung argumentation frames in parallel to variations of classical logic, such as resource logics, predicate logic, etc., etc., and create resource argumentation frames, predicate argumentation frames, etc., etc. We also offer the notion of logic proof as a geometrical walk along the nodes of a Dung network and thus we are able to offer a geometrical abstraction of the notion of inference based argumentation. Thus our paper is also a contribution to the question: "What is a logical system" in as much as it integrates logic with abstract argumentation networks.
KW - Argumentation theory
KW - Boolean networks
KW - Peirce-Quine dagger
KW - predicate argumentation
KW - resource based argumentation
UR - http://www.scopus.com/inward/record.url?scp=80255140464&partnerID=8YFLogxK
U2 - 10.1007/s11787-011-0036-3
DO - 10.1007/s11787-011-0036-3
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
SN - 1661-8297
VL - 5
SP - 255
EP - 318
JO - Logica Universalis
JF - Logica Universalis
IS - 2
ER -