According to the Principle of Conditional Non-Contradiction (CNC), conditionals of the form “If p, q” and “If p, not q” cannot both be true, unless p is inconsistent. This principle is widely regarded as an adequacy constraint on any semantics that attributes truth conditions to conditionals. Gibbard has presented an example of a pair of conditionals that, in the context he describes, appear to...

In this paper we apply the information state update (ISU) machinery to tracking and understanding the argumentative behaviour of participants in a parliamentary debate in order to predict its outcome. We propose to use the ISU approach to model the arguments of the debaters and the support/attack links between them as part of the formal representations of a participant’s information state. We f...

Let f be a scalar function defined on σ(A) ∪ σ(Ã). The aim of this paper is to establish inequalities for the norm of f(A) − f(Ã). The literature on perturbations of matrix valued functions is very rich but mainly, perturbations of matrix functions of a complex argument and matrix functions of Hermitian matrices were considered, cf. [1, 11, 13, 14, 16, 18]. The matrix valued functions of a non-...

Higher-Order Representational theories of consciousness — HORs — primarily seek to explain a mental state’s being conscious in terms of the mental state’s being represented by another mental state. First-Order Representational theories of consciousness — FORs — primarily seek to explain a property’s being phenomenal in terms of the property being represented in experience. Despite differences i...

Resum Moderation in virtual communities should not be a private privilege. This paper proposes a method for participants in a social network to decide their own rules for accepting (or not) contents. With the norm argument map, participants are able to argue about norms and voice their opinions about other people?s arguments. This structure, equipped with a method to fuse all the data introduce...

Resum Moderation in virtual communities should not be a private privilege. This paper proposes a method for participants in a social network to decide their own rules for accepting (or not) contents. With the norm argument map, participants are able to argue about norms and voice their opinions about other people?s arguments. This structure, equipped with a method to fuse all the data introduce...

In this paper we introduce examination dialogues, an addition to the dialogue typology of Walton and Krabbe. In educational settings the purpose of dialogue is often to elicit the position of a student, e.g. to test understanding. In other settings, a frequently adopted tactic is to attack an opponent’s stance by exposing internal inconsistencies in their argument. In real debate such inconsist...

Given a controversial issue, a major challenge in argument mining is to organize the arguments which have been mined to generate a synthesis that is readable, synthetic enough and relevant for various types of users. Based on the Generative Lexicon (GL) Qualia structure, which is a kind of lexical and knowledge repository, that we have enhanced in di↵erent manners and associated with inferences...