This book presents comparisons of recent accounts in the formalization of natural language with informal conceptions of interaction that have been developed in both psychology and epistemology. There are four parts which explore: historical and systematic studies; the formalization of context in epistemology; the formalization of reasoning in interactive contexts in psychology; the formalization of pathological conversations. Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first (...) chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view. The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge. The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology. Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor which was hosted by the MSH Lorraine from 2007 to 2011. (shrink)

Logically, weighting is transitive, but similarity is not, so clustering cannot be either. Entailments must help a child to review attribute lists more efficiently. Children's understanding of exceptions to generic claims precedes their ability to articulate explanations. So agency, as enabling constraint, may show coherent covariation with attributes, as mere extensional, observable effect of intensional entailments.

This book shows how research in linguistic pragmatics, philosophy of language, and rhetoric can be connected through argumentation to analyze a recognizably common strategy used in political and everyday conversation, namely the distortion of another’s words in an argumentative exchange. Straw man argumentation refers to the modification of a position by misquoting, misreporting or wrenching the original speaker’s statements from their context in order to attack them more easily or more effectively. Through 63 examples taken from different contexts (including political (...) and forensic discourses and dialogs) and 20 legal cases, the book analyzes the explicit and implicit types of straw man, shows how to assess the correctness of a quote or a report, and illustrates the arguments that can be used for supporting an interpretation and defending against a distortion. The tools of argumentation theory, a discipline aimed at investigating the uses of arguments by combining insights from pragmatics, logic, and communication, are applied to provide an original account of interpretation and reporting, and to describe and illustrate tactics and procedures that can be used and implemented for practical purposes.. This book will appeal to scholars in the fields of political communication, communication in general, argumentation theory, rhetoric and pragmatics, as well as to people working in public speech, speech writing, and discourse analysis. (shrink)

This paper uses argument diagrams, argumentation schemes, and some tools from formal argumentation systems developed in artificial intelligence to build a graph-theoretic model of relevance shown to be applicable as a practical method for helping a third party judge issues of relevance or irrelevance of an argument in real examples. Examples used to illustrate how the method works are drawn from disputes about relevance in natural language discourse, including a criminal trial and a parliamentary debate.

The central problem for pragmatics is that sentence meaning vastly underdetermines speaker’s meaning. The goal of pragmatics is to explain how the gap between sentence meaning and speaker’s meaning is bridged. This paper defends the broadly Gricean view that pragmatic interpretation is ultimately an exercise in mind-reading, involving the inferential attribution of intentions. We argue, however, that the interpretation process does not simply consist in applying general mind-reading abilities to a particular (communicative) domain. Rather, it involves a dedicated comprehension module, (...) with its own special principles and mechanisms. We show how such a metacommunicative module might have evolved, and what principles and mechanisms it might contain. (shrink)

Recent advances in the Super Linguistics of pictures have laid the Super Semantic foundation for modelling the phenomena of narrative sequencing and co-reference in pictorial and mixed linguistic-pictorial discourses. We take up the question of how one arrives at the pragmatic interpretations of such discourses. In particular, we offer an analysis of: (i) the discourse composition problem: how to represent the joint meaning of a multi-picture discourse, (ii) observed differences in narrative sequencing in prima facie equivalent linguistic vs pictorial discourses, (...) and (iii) the phenomenon of co-referencing across pictures. We extend Segmented Discourse Representation Theory to spell out a formal Super Pragmatics that applies to linguistic, pictorial and mixed discourses, while respecting the particular ‘genius’ of either medium and computing their distinctive pragmatic interpretations. (shrink)

This paper proposes a pragmatic solution to utterances where the various indicators of time and aspect (tenses, lexical-conceptual features of Aktionsart, adverb phrases and contextual cues) seem to have divergent temporal reference and aspectual properties. This type of cases is usually treated at the semantic level as ‘mismatches’ and resolved compositionally through logical operations of ‘aspectual coercion’. We suggest on the contrary that no such effect of ‘mismatch resolution’ or ‘coercion’ is at work: these utterances are worked out inferentially according (...) to the various pieces of evidence they provide for their relevance, in line of Deirdre Wilson’s and Dan Sperber’s (1995) relevance theory. Such utterances give rise to cognitive effects that are hardly attainable by apparently more literal formulations, while being cost-effective. Our analysis follows the work ofEscandell-Vidal and Leonetti (2011)about the rigidity and thus prevalence of computational linguistic expressions, called ‘procedural expressions’ byBlakemore (1987)withinSperber and Wilson’s (1995[1986])framework, relevance theory. (shrink)

In this prcis we focus on phenomena central to the reaction against similarity-based theories that arose in the 1980s and that subsequently motivated the approach to semantic knowledge. Specifically, we consider (1) how concepts differentiate in early development, (2) why some groupings of items seem to form or coherent categories while others do not, (3) why different properties seem central or important to different concepts, (4) why children and adults sometimes attest to beliefs that seem to contradict their direct experience, (...) (5) how concepts reorganize between the ages of 4 and 10, and (6) the relationship between causal knowledge and semantic knowledge. The explanations our theory offers for these phenomena are illustrated with reference to a simple feed-forward connectionist model. The relationships between this simple model, the broader theory, and more general issues in cognitive science are discussed. (shrink)

Nous abordons, dans cet article, le fonctionnement discursif des adverbiaux de localisation spatiale dehors et au dehors. Notre objectif est de mettre en valeur leur rôle dans la structuration du discours. Nous proposons aussi un examen des propriétés combinatoires et des conditions d’emploi de ces deux expressions dans les séquences narratives.. Nous montrerons enfin que, dans certains contextes, la valeur spatiale liée à l’emploi de ces adverbiaux peut être dédoublée d’une valeur temporelle.

In this article we argue that discourse structure constrains the set ofpossible constituents in a discourse that can provide the relevantcontext for structuring information in a target sentence, whileinformation structure critically constrains discourse structureambiguity. For the speaker, the discourse structure provides a set of possible contexts for continuation while information structure assignment is independent of discourse structure. For the hearer, the information structure of a sentence together with discourse structure instructs dynamic semantics how rhematic information should be used to update (...) the meaning representation of the discourse. (shrink)

How do people learn to talk about the causal and temporal relations between events, and the motivation behind why people do what they do? The narrative practice hypothesis of Hutto and Gallagher holds that children are exposed to narratives that provide training for understanding and expressing reasons for why people behave as they do. In this context, we have recently developed a model of narrative processing where a structured model of the developing situation is built up from experienced events, and (...) enriched by sentences in a narrative that describe event meanings. The main interest is to develop a proof of concept for how narrative can be used to structure, organize and describe experience. Narrative sentences describe events, and they also define temporal and causal relations between events. These relations are specified by a class of narrative function words, including “because, before, after, first, finally.” The current research develops a proof of concept that by observing how people describe social events, a developmental robotic system can begin to acquire early knowledge of how to explain the reasons for events. We collect data from naïve subjects who use narrative function words to describe simple scenes of human-robot interaction, and then employ algorithms for extracting the statistical structure of how narrative function words link events in the situation model. By using these statistical regularities, the robot can thus learn from human experience about how to properly employ in question-answering dialogues with the human, and in generating canonical narratives for new experiences. The behavior of the system is demonstrated over several behavioral interactions, and associated narrative interaction sessions, while a more formal extended evaluation and user study will be the subject of future research. Clearly this is far removed from the power of the full blown narrative practice capability, but it provides a first step in the development of an experimental infrastructure for the study of socially situated narrative practice in human-robot interaction. (shrink)

Default reasoning occurs whenever the truth of the evidence available to the reasoner does not guarantee the truth of the conclusion being drawn. Despite this, one is entitled to draw the conclusion “by default” on the grounds that we have no information which would make us doubt that the inference should be drawn. It is the type of conclusion we draw in the ordinary world and ordinary situations in which we find ourselves. Formally speaking, ‘nonmonotonic reasoning’ refers to argumentation in (...) which one uses certain information to reach a conclusion, but where it is possible that adding some further information to those very same premises could make one want to retract the original conclusion. It is easily seen that the informal notion of default reasoning manifests a type of nonmonotonic reasoning. Generally speaking, default statements are said to be true about the class of objects they describe, despite the acknowledged existence of “exceptional instances” of the class. In the absence of explicit information that an object is one of the exceptions we are enjoined to apply the default statement to the object. But further information may later tell us that the object is in fact one of the exceptions. So this is one of the points where nonmonotonicity resides in default reasoning. (shrink)

Paraguayan Guarani does not overtly mark tense in its inflectional system. Prior accounts of languages without obligatory morphological tense have posited a phonologically covert lexical tense, or have introduced tense semantics via a rule, in the post-syntactic interpretative component. We offer a more radical approach: Paraguayan Guarani does not have tense at the level of lexical or logical semantics. We propose that evaluation time shift, a mechanism independently attested in the narrative present in languages with tense, is more widely used (...) in Paraguayan Guarani for encoding temporal meaning. The broader consequence of our proposal is that tense is not a linguistic universal. (shrink)

In Gärdenfors and Makinson :197–245, 1994) and Gärdenfors it was shown that it is possible to model nonmonotonic inference using a classical consequence relation plus an expectation-based ordering of formulas. In this article, we argue that this framework can be significantly enriched by adopting a conceptual spaces-based analysis of the role of expectations in reasoning. In particular, we show that this can solve various epistemological issues that surround nonmonotonic and default logics. We propose some formal criteria for constructing and updating (...) expectation orderings based on conceptual spaces, and we explain how to apply them to nonmonotonic reasoning about objects and properties. (shrink)

Sir David Ross introduced prima facie duties, or acts with a tendency to be duties proper. He also spoke of general prima facie principles, wwhich attribute to acts having some feature the tendency to be a duty proper. Like Utilitarians from Mill to Hare, he saw a role for such principles in the epistemology of duty: in the process by means of which, in any given situation, a moral code can help us to find out what we ought to do.After (...) formalizing general prima facie principles as universally quantified conditionals I will show how seeming duties can be detached from them. There will be examples involving lies, burnt offerings and the question of whether to have a napkin on your lap while eating asparagus. They will illustrate the defeasibility of this detachment, how it can lead into dilemmas, and how general prima facie principles are overridden by more specific ones. (shrink)

Rhetorical Structure Theory has enjoyed continuous attention since its origins in the 1980s. It has been applied, compared to other approaches, and also criticized in a number of areas in discourse analysis, theoretical linguistics, psycholinguistics, and computational linguistics. In this article, we review some of the discussions about the theory itself, especially addressing issues of the reliability of analyses and psychological validity, together with a discussion of the nature of text relations. We also propose areas for further research. A follow-up (...) article will discuss applications of the theory in various fields. (shrink)

The implicit dimension of enthymemes is investigated from a pragmatic perspective to show why a premise can be left unexpressed, and how it can be used strategically. The relationship between the implicit act of taking for granted and the pattern of presumptive reasoning is shown to be the cornerstone of kairos and the fallacy of straw man. By taking a proposition for granted, the speaker shifts the burden of proving its un-acceptability onto the hearer. The resemblance of the tacit premise (...) with what is commonly acceptable or has been actually stated can be used as a rhetorical strategy. (shrink)

By force of _causes precede effects_, causality contributes to the temporal meaning of discourse. In case of semantic causal relations, this contribution is straightforward, but in case of epistemic causal relations, it is not. In order to gain insight into the semantics of epistemic causal relations, paradoxical cases are analyzed of text fragments in which temporal and causal meaning seem to be irreconcilable. A solution is proposed consisting of several parts: First, an analysis of epistemic causal coherence relations, in which (...) the effect sentence is argued to be a _belief_ sentence. Secondly, a method for deriving causal coherence relations. And thirdly, a format for representing temporal meaning in which contributions of tense and causality can be reconciled. Finally, it is argued that _understanding_ epistemically causally connected sequences is not equal to being persuaded to _believing_ them. The difference is shown to be expressible in the representation format proposed. (shrink)

We define an order independent version of default unification on typed feature structures. The operation is one where default information in a feature structure typed with a more specific type, will override default information in a feature structure typed with a more general type, where specificity is defined by the subtyping relation in the type hierarchy. The operation is also able to handle feature structures where reentrancies are default. We provide a formal semantics, prove order independence and demonstrate the utility (...) of this version of default unification in several linguistic applications. First, we show how it can be used to define multiple orthogonal default inheritance in the lexicon in a fully declarative fashion. Secondly, we show how default lexical specifications (introduced via default lexical inheritance) can be made to usefully persist beyond the lexicon and interact with syntagmatic rules. Finally, we outline how persistent default unification might underpin default feature propagation principles and a more restrictive and constraint-based approach to lexical rules. (shrink)

Reasoning with conditionals is central to everyday life, yet there is long-standing disagreement about the meaning of the conditional. One example is the puzzle of so-called missing-link conditionals such as "if raccoons have no wings, they cannot breathe under water." Their oddity may be taken to show that conditionals require a connection between antecedent ("raccoons have no wings") and consequent ("they cannot breathe under water"), yet most accounts of conditionals attribute the oddity to natural language pragmatics. We present an experimental (...) study disentangling the pragmatic requirement of discourse coherence from a stronger notion of connection: probabilistic relevance. Results indicate that mere discourse coherence is not enough to make conditionals assertable. (shrink)

Despite the attention that various forms of ellipsis have received inthe literature, the conditions under which a representation of anutterance may serve as a suitable referent for interpreting subsequentelliptical forms remain poorly understood. This fundamental questionremains as a point of contention, particularly because there are datato support various conflicting approaches that attempt to characterizethese conditions within a single module of language processing. Weshow a previously unnoticed pattern in VP-ellipsis data with respectto the type of coherence relation extant between the antecedentand (...) elided clauses. This pattern is explained by an account of howellipsis resolution processes interact with the inference processesunderlying the establishment of these relations. The analysis alsoexplains a similar yet distinct pattern in gapping constructions whichare not accounted for by purely syntactic approaches. Finally, wediscuss event reference and compare the resulting account to thedichotomy of types of anaphora posited by HanSag. (shrink)

Connectives and cue phrases are the most prototypical linguistic elements that signal coherence relations, but by limiting our attention to connectives, we are likely missing out on important other cues readers and listeners use when establishing coherence relations. However, defining the role of other types of linguistic elements in the signaling of coherence relations is not straightforward, and it is also not obvious why and how non-connective elements function as signals for coherence relations. In this paper, we aim to develop (...) a systematic way of categorizing segment-internal elements as signals of coherence relations on the basis of a literature review and evidence from parallel corpora. We propose a three-way distinction betweendivision of labor, agreement, andgeneral collocationto categorize the different ways in which elements inside discourse segments interact with connectives in the marking of coherence relations. In each type of interaction, segment-internal elements can function as signals for coherence relations, but the mechanism behind it is slightly different for each type. (shrink)

This paper presents an analysis of face emoji (disc-shaped pictograms with stylized facial expressions) that accompany written text. We propose that there is a use of face emoji in which they comment on a target proposition expressed by the accompanying text, as opposed to making an independent contribution to discourse. Focusing on positively valenced and negatively valenced emoji (which we gloss as _happy_ and _unhappy_, respectively), we argue that the emoji comment on how the target proposition bears on a contextually (...) provided discourse value endorsed by the author. Discourse values embody what an author desires, aspires to, wishes for, or hopes for. Our analysis derives a range of non-trivial generalizations, including (i) ordering restrictions with regards to the placement of emoji and text, (ii) cases of apparent mixed emotions, and (iii) cases where the lexical content of the accompanying text influences the acceptability of a face emoji. (shrink)

In this paper, we claim that the disambiguation ofreferring expressions in discourse can be formulated in terms automatedreasoners can address. Specifically, we show that consistency,informativity and minimality are criteria which (i) can be implementedusing automated reasoning tools and (ii) can be used to disambiguatenoun-noun compounds, metonymy and definite descriptions.

We present an implementation of a discourse parsing system for alexicalized Tree-Adjoining Grammar for discourse, specifying the integrationof sentence and discourse level processing. Our system is based on theassumption that the compositional aspects of semantics at thediscourse level parallel those at the sentence level. This coupling isachieved by factoring away inferential semantics and anaphoric features ofdiscourse connectives. Computationally, this parallelism is achievedbecause both the sentence and discourse grammar are LTAG-based and the sameparser works at both levels. The approach to an (...) LTAG for discourse has beendeveloped by Webber and colleagues in some recent papers. Our system takes a discourseas input, parses the sentences individually, extracts the basic discourseconstituent units from the sentence derivations, and reparses the discoursewith reference to the discourse grammar while using the same parser usedat the sentence level. (shrink)

Numerical probabilities are eliminated in favor of qualitative notions, with an eye to isolating what it is about probabilities that is essential to judgements of acceptability. A basic choice point is whether the conjunction of two propositions, each acceptable, must be deemed acceptable. Concepts of acceptability closed under conjunction are analyzed within Keisler's weak logic for generalized quantifiers — or more specifically, filter quantifiers. In a different direction, the notion of a filter is generalized so as to allow sets with (...) probability non-infinitesimally below 1 to be acceptable. (shrink)

This paper considers the possibility of anaphoric dependencies to the objects of creation verbs in progressive aspect. It is shown that such dependencies are possible in the right circumstances and a classification of the felicitous cases is proposed. A formal analysis making use of pragmatic information and discourse structure is given. Finally, some broader implications of the analysis are discussed.

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...) which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)

This paper examines a type of discourse structure we here call ‘generic passages’. We argue that generic passages should be analyzed as sequences of generic sentences, each sentence containing its own GEN operator (Krifka et al. 1995). The GEN operators produce tripartite matrix/restrictor structures; the main discourse connection among the sentences is that the restrictor produced by each sentence in the sequence has as its contents the information in the matrix produced by the previous sentence in the discourse. We also (...) argue that an identity of reference times is required for this process to occur. In the end generic passages are a natural product of the interaction of generic operators in sentences with independently- established principles structuring ordinary extensional narrative. (shrink)

The presence of discourse relations can be marked explicitly with lexical items such as specialized and underspecified connectives or left implicit. It is now well established that the presence of specialized connective facilitates the processing of these relations. The question is to gauge how different degrees of explicitness affect the processing of discourse relations. This study investigates this question with respect to two relations, which are fundamental to our cognition and which are closely tied: causal relations and temporal relations. We (...) carried out a self-paced reading experiment, in which we sought to compare the cost of inferring the presence of causal vs. temporal relations in the absence vs. presence of a connective indicating a given relation in French. For the explicit marking, two types of connectives were tested – one specialized for each relation (doncfor causality andpuisfor temporality) and one underspecified (etin its temporal and causal readings). Overall, our results confirm the facilitator role of discourse connectives: we find that explicit discourse relations are processed faster than implicit ones. The specific (rather than underspecified) connective facilitates processing for temporal relations but not for causal relations; and temporal relations were read equally fast as causal relations. (shrink)

In this article, we describe the notion of dialogue move intended as the minimal unit for the analysis of dialogues. We propose an approach to discourse analysis based on the pragmatic idea that the joint dialogical intentions are also co-constructed through the individual moves and the higher-order communicative intentions that the interlocutors pursue. In this view, our goal is to bring to light the pragmatic structure of a dialogue as a complex net of dialogical goals, which represent the communicative purposes (...) that the interlocutors intend to achieve through their utterances. Dialogue moves are shown to represent the necessary interpretive link between the general description of the dialogical context or type and the syntactical analysis of the sentences expressed by the individual utterances. In the concluding part of this article, we show how this method can be used and further developed for analyzing various types of real-life dialogues, outlining possible uses and lines of empirical research based thereon. (shrink)

In this paper the Centering model of anaphoraresolution and discourse coherence(Grosz et al. 1983, 1995)is reformulated in terms of Optimality Theory (OT)(Prince and Smolensky 1993). One version of the reformulated modelis proven to be descriptively equivalent to an earlier algorithmicstatement of Centering due to Brennan, Friedman and Pollard(1987). However, the new model is stated declaratively, and makesclearer the status of the various constraints used in the theory. Inthe second part of the paper, the model is extended, demonstratingthe advantages of the (...) OT reformulation, and capturing formallyideas originally described by Grosz, Joshi and Weinstein. Three newapplications of the extended OT Centering model are described:generation of linguistic forms from meanings, the evaluation andoptimization of extended texts, and the interpretation of accentedpronouns. (shrink)

’s glue logic for computing logical form dynamic. This allows us to model a dialogue agent’s understanding of what the update of the semantic representation of the dialogue would be after his next contribution, including the effects of the rhetorical moves that he is contemplating performing next. This is a pre-requisite for developing a model of how agents reason about what to say next. We make the glue logic dynamic by using a dynamic public announcement logic ( pal ). We (...) extend pal with a particular variety of default reasoning suited to reasoning about discourse—this default reasoning being an essential component of inferring the pragmatic effects of one’s dialogue moves. We add to the pal language a new type of announcement, known as ceteris paribus announcement, and this is used to model how an agent anticipates the (default) pragmatic effects of his next dialogue move. Our extended pal validates certain intuitive patterns of default inference that existing pal s for practical reasoning do not. We prove that the dynamic glue logic has a pspace validity problem, and as such is no more complex than pal with multiple $${\square}$$ operators. (shrink)

In this paper we explore how compositional semantics, discourse structure, and the cognitive states of participants all contribute to pragmatic constraints on answers to questions in dialogue. We synthesise formal semantic theories on questions and answers with techniques for discourse interpretation familiar from computational linguistics, and show how this provides richer constraints on responses in dialogue than either component can achieve alone.

In this paper, we address several puzzles concerning speech acts,particularly indirect speech acts. We show how a formal semantictheory of discourse interpretation can be used to define speech actsand to avoid murky issues concerning the metaphysics of action. Weprovide a formally precise definition of indirect speech acts, includingthe subclass of so-called conventionalized indirect speech acts. Thisanalysis draws heavily on parallels between phenomena at the speechact level and the lexical level. First, we argue that, just as co-predicationshows that some words can (...) behave linguistically as if they're `simultaneously'of incompatible semantic types, certain speech acts behave this way too.Secondly, as Horn and Bayer (1984) and others have suggested, both thelexicon and speech acts are subject to a principle of blocking or ``preemptionby synonymy'': Conventionalized indirect speech acts can block their`paraphrases' from being interpreted as indirect speech acts, even ifthis interpretation is calculable from Gricean-style principles. Weprovide a formal model of this blocking, and compare it withexisting accounts of lexical blocking. (shrink)

This paper proposes that a core semantic property of temporal locating adverbs is the ability to introduce a new time discourse referent. The core data comes from that same day in narrative discourse. I argue that unlike other previously studied temporal locating adverbs—which introduce a new time discourse referent and relate it to the speech time or a salient time introduced into the discourse context—that same day is ‘twice anaphoric’, i.e. it retrieves two salient times from the input context without (...) introducing one of its own. Moreover, I argue that the adverb currently is like that same day in not introducing a new time discourse referent. Unlike that same day, however, currently has both a deictic and an anaphoric usage analogous to on Sunday. The analysis that I propose is implemented within Compositional Discourse Representation Theory. It illustrates how adverbial meaning can be integrated within a more general theory of temporal interpretation. (shrink)

Abstract According to an influential theory, English tenses are anaphoric to an aforementioned reference point. This point is sometimes construed as a time (e.g. Reichenbach 1947, Partee 1973, Stone 1997) and sometimes as an event (e.g. Kamp 1979, 1981, Webber 1988). Moreover, some researchers draw semantic parallels between tenses and pronouns (e.g. Partee 1973, 1984, Stone 1997), whereas others draw parallels between tenses and anaphorically anchored (in)definite descriptions (e.g. Webber 1988). This paper proposes a unified approach.