PP-2019-31: Proietti, Carlo and Grossi, Davide and Smets, Sonja and Velázquez-Quesada, Fernando R. (2019) Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes Authors. [Pre-print]
Preview |
Text
Bipolar_AF_and_modal_logic_preprint.pdf Download (195kB) | Preview |
Abstract
Bipolar Argumentation Frameworks (BAF) are a natural extension of Dung’s Argumentation Frameworks (AF) where a relation of support between arguments is added to the standard attack relation. Despite their interest, BAF present several difficulties and their semantics are quite complex. This paper provides a definition of semantic concepts for BAF in terms of fixpoints of the functions of neutrality and defense, thus preserving most of the fundamental properties of Dung’s AF. From this angle it becomes easy to show that propositional dynamic logic provides an adequate language to talk about BAF. Finally, we illustrate how this framework allows to encode the structure of the referential discourse involved in semantic paradoxes such as the Liar. It turns out that such paradoxes can be seen as BAF without a stable extension.
| Item Type: | Pre-print |
|---|---|
| Report Nr: | PP-2019-31 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2019 |
| Subjects: | Logic Philosophy |
| Depositing User: | Dr Carlo Proietti |
| Date Deposited: | 22 Feb 2020 16:55 |
| Last Modified: | 22 Feb 2020 16:55 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1735 |
Actions (login required)
 |
View Item |
