Argumentation schemes [1–3] are a relatively recent notion that continues an extremely ancient debate on one of the foundations of human reasoning, human comprehension, and obviously human argumentation, i.e., the topics. To understand the revolutionary nature of Walton’s work on this subject matter, it is necessary to place it in the debate that it continues and contributes to, namely a view of logic that is much broader than the formalistic perspective that has been adopted from the 20th century until nowadays. (...) With his book Argumentation schemes for presumptive reasoning, Walton attempted to start a dialogue between three different fields or views on human reasoning – one (argumentation theory) very recent, one (dialectics) very ancient and with a very long tradition, and one (formal logic) relatively recent, but dominating in philosophy. Argumentation schemes were proposed as dialectical instruments, in the sense that they represented arguments not only as formal relations, but also as pragmatic inferences in the sense that they depend on what the interlocutors share and accept in a given dialogical circumstance and affect their dialogical relation. In this introduction, the notion of argumentation scheme will be analyzed in detail, showing its different dimensions and its defining features which make them an extremely useful instrument in Artificial Intelligence. This theoretical background will be followed by a literature review on the uses of the schemes in computing, aimed at identifying the most important areas and trends, the most promising proposals, and the directions of future research. (shrink)

Using the profiles of dialogue method we identify a species of ad verecundiam fallacy that works by forestalling of questioning in arguments from expert opinion. A profile of dialogue is a graph structure used to model a sequence of speech acts surrounding both the putting forward of an argument and the response to it at the next moves in a dialogue. The method is applied to a case of cross-examining a software engineer in a legal deposition in a case of (...) intellectual property litigation. (shrink)

Despite increasing interest in studying arguments from deontic authority of the general form “(1) $$\delta$$ δ is a deontic authority in institution $$\varOmega$$ Ω ; (2) according to $$\delta$$ δ, I should do $$\alpha$$ α, C: therefore, (3) I should do $$\alpha$$ α ”, the state of the art models are not capable of grasping their complexity. The existing sets of critical questions assigned to this argumentation scheme seem to conflate two problems: whether a person is subject to an authority (...) of an institution in the first place and whether the command issued within the context of a particular institution is eventually binding. For this reason, we introduce (1) a set of Basic Critical Questions to scrutinize the former issue, and (2) a set of more detailed questions related to specific features, also referred to as “parameters”, of institutional environments (Intra-Institutional Critical Questions). We identify major elements of institutional environments in which authoritative utterances are made and the crucial parameters of arguments from deontic authority. The selected evidence from the decisions of the Polish Supreme Administrative Court helps us show how these parameters may be used to reconstruct subtypes of this argument scheme, with their associated sets of critical questions. In specific institutional contexts, such detailed schemes are capable of grasping the complexity of appeals to deontic authority and thus should be used rather than general schemes. The reconstruction of argumentation schemes with critical questions shows how particular arguments may successfully be attacked. (shrink)

During a dialogue, agents exchange information with each other and need thus to deal with incoming information. For that purpose, they should be able to reason effectively about trustworthiness of information sources. This paper proposes an argument-based system that allows an agent to reason about its own beliefs and information received from other sources. An agent's beliefs are of two kinds: beliefs about the environment and beliefs about trusting sources . Six basic forms of trust are discussed in the paper (...) including the most common one on sincerity. Starting with a base which contains such information, the system builds two types of arguments: arguments in favour of trusting a given source of information and arguments in favour of believing statements which may be received from other agents. We discuss how the different arguments interact and how an agent may decide to trust another source and thus to accept information coming from that source... (shrink)

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.

Problem of epistemic activity and their relationship with language is very well known in philosophy. Undertaking this challenge in this article we shall present some logical constructions apparent in these issues. More precisely we want to describe some difficulties of formal reconstruction of the notion of belief and utterance and try to find broader perspective appointed by notion of trust. To realize this goals article shows how non-formal assumption about doxa affects on its formal construction. Then, logic of utterances—mainly based (...) on Conversational Implicatures theory—and its relation to doxastic systems is discussed and, finally, article shows that more accurate description of these two notions needs broader perspective created by BIT system proposed by Ch-J. Liau. (shrink)