Inferential Semantics as Argumentative Dialogues - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Inferential Semantics as Argumentative Dialogues


This paper is at the same time a first step towards an "implementation" of the inferentialist view of meaning and a first proposal for a logical structure which describes an argumentation. According to inferentialism the meaning of a statement lies in its argumentative use, its justifications, its refutations and more generally its deductive relation to other statements. In this first step we design a simple notion of argumentative dialogue. Such dialogues can be either carried in purely logical terms or in natural language. Indeed, a sentence can be mapped to logical formulas representing the possible meanings of the sentence, as implemented with some categorial parsers. We then present our version of dialogical logic, which we recently proved complete for first order classical logic. Next we explain, through examples, how argumentative dialogues can be modeled within our version of dialogical logic.Finally, we discuss how this framework can be extended to real argumentative dialogues, in particular with a proper treatment of axioms.
Fichier principal
Vignette du fichier
main.pdf (282 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02922646 , version 1 (26-08-2020)



Davide Catta, Luc Pellissier, Christian Retoré. Inferential Semantics as Argumentative Dialogues. DCAI 2020 - 17th International Conference on Distributed Computing and Artificial Intelligence, Jun 2020, L´Aquila, Italy. pp.72-81, ⟨10.1007/978-3-030-53829-3_7⟩. ⟨hal-02922646⟩
112 View
310 Download



Gmail Facebook X LinkedIn More