Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Twelve theses on argumentation systems

Twelve theses on argumentation systems In this article we consider the partition of a set of statements P = P a ∪ P b ∪ P′, where P a , P b , P′ are, correspondingly, sets of statements only being argumented, both being argumented and argumenting, and only argumenting (basic statements). On P are defined two functions of argument and counter-argument selection forming the semantics for logics of argumentation. A four-valued logic of argumentation is proposed. By means of graph theory are formed trees of arguments (argument trees), wood, consisting of them, and some transformations of the wood, such that their result may be both planar and non-planar graph. Argument systems (systems of arguments) are defined together with their characterizations that use analytic tableaux. With the help of argument trees a specification of the idea of hermeneutic (“vicious”) circle is formalized. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Automatic Documentation and Mathematical Linguistics Springer Journals

Twelve theses on argumentation systems

Download PDF
13 pages

Loading next page...
 
/lp/springer-journals/twelve-theses-on-argumentation-systems-fGeP7DLbDg

References (7)

Publisher
Springer Journals
Copyright
Copyright © 2012 by Allerton Press, Inc.
Subject
Computer Science; Information Storage and Retrieval
ISSN
0005-1055
eISSN
1934-8371
DOI
10.3103/S0005105512060039
Publisher site
See Article on Publisher Site

Abstract

In this article we consider the partition of a set of statements P = P a ∪ P b ∪ P′, where P a , P b , P′ are, correspondingly, sets of statements only being argumented, both being argumented and argumenting, and only argumenting (basic statements). On P are defined two functions of argument and counter-argument selection forming the semantics for logics of argumentation. A four-valued logic of argumentation is proposed. By means of graph theory are formed trees of arguments (argument trees), wood, consisting of them, and some transformations of the wood, such that their result may be both planar and non-planar graph. Argument systems (systems of arguments) are defined together with their characterizations that use analytic tableaux. With the help of argument trees a specification of the idea of hermeneutic (“vicious”) circle is formalized.

Journal

Automatic Documentation and Mathematical Linguistics – Springer Journals

Published: Jan 23, 2013

There are no references for this article.