From reasonable preferences, via argumentation, to logic


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

JACOT, Justine, Emmanuel GENOT, Frank ZENKER, 2016. From reasonable preferences, via argumentation, to logic. In: Journal of Applied Logic. 18, pp. 105-128. ISSN 1570-8683. eISSN 1570-8691. Available under: doi: 10.1016/j.jal.2016.08.001

@article{Jacot2016reaso-37535, title={From reasonable preferences, via argumentation, to logic}, year={2016}, doi={10.1016/j.jal.2016.08.001}, volume={18}, issn={1570-8683}, journal={Journal of Applied Logic}, pages={105--128}, author={Jacot, Justine and Genot, Emmanuel and Zenker, Frank} }

<rdf:RDF xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dspace:isPartOfCollection rdf:resource=""/> <dcterms:abstract xml:lang="eng">This article demonstrates that typical restrictions which are imposed in dialogical logic in order to recover first-order logical consequence from a fragment of natural language argumentation are also forthcoming from preference profiles of boundedly rational players, provided that these players instantiate a specific player type and compute partial strategies. We present two structural rules, which are formulated similarly to closure rules for tableaux proofs that restrict players' strategies to a mapping between games in extensive forms (i.e., game trees) and proof trees. Both rules are motivated from players' preferences and limitations; they can therefore be viewed as being player-self-imposable. First-order logical consequence is thus shown to result from playing a specific type of argumentation game. The alignment of such games with the normative model of the Pragma-dialectical theory of argumentation is positively evaluated. But explicit rules to guarantee that the argumentation game instantiates first-order logical consequence have now become gratuitous, since their normative content arises directly from players' preferences and limitations. A similar naturalization for non-classical logics is discussed.</dcterms:abstract> <dc:creator>Genot, Emmanuel</dc:creator> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:available rdf:datatype="">2017-02-17T07:21:33Z</dcterms:available> <dc:creator>Zenker, Frank</dc:creator> <dc:creator>Jacot, Justine</dc:creator> <dcterms:isPartOf rdf:resource=""/> <dc:date rdf:datatype="">2017-02-17T07:21:33Z</dc:date> <dc:language>eng</dc:language> <dc:contributor>Jacot, Justine</dc:contributor> <dcterms:title>From reasonable preferences, via argumentation, to logic</dcterms:title> <dc:contributor>Zenker, Frank</dc:contributor> <dcterms:issued>2016</dcterms:issued> <dc:contributor>Genot, Emmanuel</dc:contributor> <bibo:uri rdf:resource=""/> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Mein Benutzerkonto