In this paper we argue for a unified semantics for hypothetical conditionals, hc s, e.g. _if it rains, we’ll cancel the picnic_, and biscuit conditionals, bc s, e.g., _if you are hungry, there are biscuits on the sideboard_. We side with recent literature in proposing that differences in the interpretation are related to (in)dependence between antecedent and consequent, but we move beyond current accounts in spelling out a characterization of independence that is actually predictive. We further establish a systematic link (...) between _if_-constructions and discourse structure, providing a dynamic update model that integrates the QUD, and thus the intentional discourse-structure. We argue that in bc s the antecedent sets up the question that is addressed by the consequent, and show that rescuing (Gricean) relevance in face of independence gives rise to implicatures corresponding to the different flavors associated with bc s. Crucially, we argue, this is the same mechanism responsible for our understanding that in the hc above, for example, it is the rain that will cause the cancellation of the picnic. Along the way we notice how the phenomena observed in _if_-constructions are also replicated in other quantificational structures. Ultimately, there is not much that is biscuit-specific. Their interpretation is the result of a conspiracy among semantics, dynamic update and intentional discourse-structure. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. Keywords Epistemic logic - Cognitive science - Intelligent interaction - Cognitive modeling. (shrink)

This paper provides a formal pragmatic analysis of precision which accounts for its essential properties, but also for Lewis’s :339–359, 1979) observation of asymmetry in how standards of precision may shift due to normal discourse moves: Only up, not down. I propose that shifts of the kind observed and discussed by Lewis are in fact cases of underlying disagreement about the standard of precision, which is only revealed when one interlocutor uses an expression which signals their adherence to a higher (...) standard than the one adhered to by the other interlocutor. This paper shows that a modest formal pragmatic analysis along the lines of many prior optimality-theoretic and game-theoretic accounts can easily capture the natural asymmetry in standard-signaling that gives rise to Lewis’s observation, so long as such an account is dynamic and enriched with a notion of relevance. (shrink)

Franke, Dulcinati and Pouscoulous also examine a form of covert lying, by considering to what extent speakers use implicatures to deceive their addressee. The participants in their online signaling game had to describe a card, which a virtual coplayer then had to select. When the goal was to deceive rather than help the coplayer, participants produced more false descriptions (overt lies), but also more uninformative descriptions (covert lies by means of an implicature). [73].

Language use and interpretation is heavily contingent on context. But human interlocutors need not always agree what the actual context is. In game theoretic approaches to language use and interpretation, interlocutors’ beliefs about the context are the players’ beliefs about the game that they are playing. Together this entails that we need to consider cases in which interlocutors have different subjective conceptualizations of the game they are in. This paper therefore extends iterated best response reasoning, as an established model for (...) pragmatic reasoning, to games with unawareness. This extension not only leads to more plausible context models for many communicative situations, but also to improved predictions for otherwise problematic cases and an extension of the scope of pragmatic phenomena that can be captured by game theoretic analysis. (shrink)

Game theoretic pragmatics is a small but growing part of formal pragmatics, the linguistic subfield studying language use. The general logic of a game theoretic explanation of a pragmatic phenomenon is this: the conversational context is modelled as a game between speaker and hearer; an adequate solution concept then selects the to‐be‐explained behavior in the game model. For such an explanation to be convincing, both components, game model and solution concept, should be formulated and scrutinized as explicitly as possible. The (...) article demonstrates this by a concise overview of both evolutionary and non‐evolutionary approaches to game theoretic pragmatics, arguing for the use of agent‐based micro‐dynamics within evolutionary, and for the use of epistemic game theory within non‐evolutionary approaches. (shrink)