In this paper it is shown how tools developed in argumentation theory and artificial intelligence can be applied to the development of a new dialectical analysis of the speech act of making a proposal in a deliberation dialogue. These tools are developed, modified and used to formulate dialogue pre-conditions, defining conditions and post-conditions for the speech act of making a proposal in a deliberation dialogue. The defining conditions set out what is required for a move in a dialogue to count (...) as the making of a proposal by one of the parties. What is required are the conditions that (1) the move fit the requirements of the argumentation scheme for practical reasoning, and (2) the premises are propositions describing common goals of both parties or propositions that they reasonably consider means to achieve these goals. The analysis goes beyond the standard speech act approach by specifying not only the normative requirements for making a well-formed proposal, but also the requirements for responding to it by questioning or criticizing it, and the requirements for defending it. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

Besides pure declarative arguments, whose premises and conclusions are declaratives (“you sinned shamelessly; so you sinned”), and pure imperative arguments, whose premises and conclusions are imperatives (“repent quickly; so repent”), there are mixed-premise arguments, whose premises include both imperatives and declaratives (“if you sinned, repent; you sinned; so repent”), and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives (“you must repent; so repent”) or vice versa (“repent; so you can repent”). I propose a general definition of argument (...) validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if it favors the satisfaction over the violation of the imperative, and a fact sustains a declarative exactly if, necessarily, the declarative is true if the fact exists. I argue that this definition yields as special cases the standard definition of validity for pure declarative arguments and my previously defended definition of validity for pure imperative arguments, and that it yields intuitively acceptable results for mixed-premise and cross-species arguments. (shrink)

Besides pure declarative arguments, whose premises and conclusions are declaratives, and pure imperative arguments, whose premises and conclusions are imperatives, there are mixed-premise arguments, whose premises include both imperatives and declaratives, and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives or vice versa. I propose a general definition of argument validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if it favors (...) the satisfaction over the violation proposition of the imperative, and a fact sustains a declarative exactly if, necessarily, the declarative is true if the fact exists. I argue that this definition yields as special cases the standard definition of validity for pure declarative arguments and my previously defended definition of validity for pure imperative arguments, and that it yields intuitively acceptable results for mixed-premise and cross-species arguments. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have conflicting permissive presuppositions (...) ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

Morality and rationality are both normative: the moral claim “you ought to help others” is a genuine normative judgment, as well as the rational maxim “you ought to brush your teeth twice a day”. But it seems that there is a crucial difference these two judgments. In the first part of this paper, I argue that this difference is to be understood as a difference between two kinds of normativity: demanding and recommending normativity. But the crucial task is, of course, (...) to explain the difference. In the second part of this paper, I suggest that metaethical expressivists can provide a good explanation: by extending the analysis of ordinary (non-normative) demands and recommendations to normative judgments, they can formulate a convincing account that captures the key differences between morality and rationality. (shrink)

This paper provides evidence for an ambiguity of bare VPs in the English conditional conjunction construction. This ambiguity, undetected by previous researchers, provides a key to the development of a compositional semantic analysis of conditional conjunction with imperative first conjuncts. The analysis combines existing semantic theories of imperatives, the future tense, modal subordination, and speech act conjunction to yield the correct semantics without further stipulation.

Hamblin's Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic (...) tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin's key concepts: strategies, partial strategies and wholehearted satisfaction. (shrink)

The research discussed in this paper concerns an investigation of logical dialogue games as a vehicle for enhanced human-computer communication. The need for a dialogue capability in computer systems is argued, and a prima facie case made for dialogue games, in particular Mackenzie's "DC", as a suitable dialogue model. Empirical work concerning DC is outlined, and strategies for adoption by the computer are presented. A user interface, software architecture and conceptualised example are discussed. The hope is that the paper will (...) help bring together two groups of workers-philosophers of dialogue and designers of computer systems-to the mutual benefit of each. (shrink)

The notion of an indirect speech act is at the very heart of cognitive pragmatics, yet, after nearly 50 years of orthodox (Searlean) speech act theory, it remains largely unclear how this notion can be explicated in a proper way. In recent years, two debates about indirect speech acts have stood out. First, a debate about the Searlean idea that indirect speech acts constitute a simultaneous realization of a secondary and a primary act. Second, a debate about the reasons for (...) the use of indirect speech acts, in particular about whether this reason is to be seen in strategic advantages and/or observation of politeness demands. In these debates, the original pragmatic conception of sentence types as indicators of illocutionary force seems to have been getting lost. Here, I go back to the seemingly outdated “literal force hypothesis” (see Levinson 1983: 263–264) and point out how it is still relevant for cognitive pragmatics. (shrink)

This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch pluperfect (...) imperative. It is argued that this construction should be analysed as a genuine counterfactual imperative. On the constructive side, in the last part of the paper a formal semantic analysis of imperatives is presented, in the framework of Update Semantics. On this analysis, imperatives are sui generis semantic entities, on a par with propositions. The analysis also includes an account of the counterfactual imperatives. (shrink)

Recent work on signaling has mostly focused on communication between organisms. The Lewis–Skyrms framework should be equally applicable to intra-organismic signaling. We present a Lewis–Skyrms signaling-game model of painful signaling, and use it to argue that the content of pain is predominantly imperative. We address several objections to the account, concluding that our model gives a productive framework within which to consider internal signaling.

Imperativism is the view that the phenomenal character of the affective component of pains, orgasms, and pleasant or unpleasant sensory experience depends on their imperative intentional content. In this paper I canvass an imperativist treatment of pains as reason-conferring states.

This paper refutes the widespread view that disjunctions of imperatives invariably grant free choice between the actions named by their disjuncts. Like other disjunctions they can also express a correlation with some factual distinction, but as with modalized declaratives used for non-assertive speech acts this needs to be indicated explicitly. A compositional analysis of one such indicator, depending on, constitutes the point of departure for a uniform analysis of disjunctions across clause types. Disjunctions are analyzed as sets of propositional alternatives (...) that correlate with a partition that the speaker may or may not be able to indicate explicitly. Free choice arises as the specific case where the partition is induced by the preferences of the addressee. (shrink)

Socially extended knowledge has recently received much attention in mainstream epistemology. Knowledge here is not to be understood as wholly realised within a single individual who manipulates artefacts or tools but as collaboratively realised across plural agents. Because of its focus on the interpersonal dimension, socially extended epistemology appears to be a promising approach for investigating the deeply social nature of epistemic practices. I believe, however, that this line of inquiry could be made more fruitful if it is connected with (...) the critical notion of epistemic responsibility, as developed in feminist responsibilism. According to feminist responsibilists, at the core of epistemic responsibility is a critical disposition toward correcting epistemic injustice. This epistemic idea is highly relevant to the epistemological context of illness, where patient testimony is often disregarded. Hence, though restricted to the epistemological context of the experience of illness, this chapter delves into epistemic injustice and its robust mechanisms. I thus explore what responsible epistemic practices should involve in order to redress that injustice and how epistemic responsibility should be socially extended. The discussion proceeds as follows. First, by relying on Arthur Frank’s innovative work on illness narratives, I focus on chaotic bodily messages from patients overwhelmed by suffering and then explain why these messages should count as genuine narratives or testimonies despite their inarticulateness. Second, I elaborate on how epistemic injustice concerning such narratives (i.e., chaos narratives) is produced and reproduced, in particular how both a dominant sociocultural norm and our inherent vulnerability can contribute to its production and reproduction. Finally, I propose an extended form of epistemic responsibility that ameliorates this aspect. Laying particular emphasis on the epistemic role of mature empathy, I characterise the extended epistemic responsibility in terms of extended empathic knowledge. (shrink)

This paper consists of two main parts and a coda. In the first part I present the ''binding theory'' of presupposition projection, which is the framework that I adopt in this paper (Section 1.1). I outline the main problems that arise in the interplay between presuppositions and anaphors on the one hand and attitude reports on the other (Section 1.2), and discuss Heim''s theory of presuppositions in attitude contexts (Section 1.3).In the second part of the paper I present my own (...) proposal. To begin with, I define an extension of DRT in which attitude reports can be represented (Sections 2.1–2.2). I then argue that the verb believe triggers a certain presupposition and that, given the binding theory, this presupposition determines the projection behaviour of the verb (Section 2.3). This analysis yields predictions which are incomplete in the sense that they do not fully account for speakers'' intuitions about presuppositions and anaphors in belief contexts. In Section 2.4 I suggest that this is as it should be because we may assume on independent grounds that there is a class of plausibility inferences which complement the predictions of the presupposition theory. Finally, the analysis is extended to the verb want (Section 2.5). (shrink)

What is nontrivial digital computation? It is the processing of discrete data through discrete state transitions in accordance with finite instructional information. The motivation for our account is that many previous attempts to answer this question are inadequate, and also that this account accords with the common intuition that digital computation is a type of information processing. We use the notion of reachability in a graph to defend this characterization in memory-based systems and underscore the importance of instructional information for (...) digital computation. We argue that our account evaluates positively against adequacy criteria for accounts of computation. (shrink)

The question ‘What is computation?’ might seem a trivial one to many, but this is far from being in consensus in philosophy of mind, cognitive science and even in physics. The lack of consensus leads to some interesting, yet contentious, claims, such as that cognition or even the universe is computational. Some have argued, though, that computation is a subjective phenomenon: whether or not a physical system is computational, and if so, which computation it performs, is entirely a matter of (...) an observer choosing to view it as such. According to one view, which we dub bold anti-realist pancomputationalism, every physical object computes every computer program. According to another, more modest view, some computational systems can be ascribed multiple computational descriptions. We argue that the first view is misguided, and that the second view need not entail observer-relativity of computation. At least to a large extent, computation is an objective phenomenon. Construed as a form of information processing, we argue that information-processing considerations determine what type of computation takes place in physical systems. (shrink)

The distinction between knowledge-how and knowledge-that has long been debated in the epistemological literature. This distinction can, arguably, be better understood in terms of a more fundamental distinction between information-how and information-that. Information-how is prescriptive and informs a cognitive agent about which action can be performed to achieve a particular outcome. Information-that is descriptive and informs the agent about events, objects, and states of affairs in the world. Since the latter has received more attention in the epistemological literature, this article (...) focuses on the former. I offer a new account of information-how that answers the question, ‘When do data qualify as information-how?’. (shrink)

A structure is described that can serve as a foundation for a semantics for a modal agentive construction such as sees to it that Q ([ stit: Q]). The primitives are Tree,,Instant, Agent, choice. Eleven simple postulates governing this structure are set forth and motivated. Tree and encode a picture of branching time consisting of moments gathered into maximal chains called histories. Instant imposes a time-like ordering. Agent consists of agents, and choice assigns to each agent and each moment in (...) Tree a set of possible choices, where each possible choice is a set of histories. All of these ingredients are referred to in the semantics suggested for [ stit: Q]. The most complex part of the discussion is the motivation for the definition of what it means for a typically non-terminating chain of moments jointly to witness the truth of [ stit: Q] at a moment.The paper begins with an informal account of the Refref conjecture, which says that the only way to refrain from refraining from seeing to something is to see to it. The paper ends with a consideration of an argument of Prior's that in a certain sense contemplation and action are inconsistent. (shrink)

The article proposes an analysis of imperatives and possibility and necessity statements that (i) explains their differences with respect to the licensing of free choice any and (ii) accounts for the related phenomena of free choice disjunction in imperatives, permissions, and statements. Any and or are analyzed as operators introducing sets of alternative propositions. Free choice licensing operators are treated as quantifiers over these sets. In this way their interpretation can be sensitive to the alternatives any and or introduce in (...) their scope. (shrink)

In this work it is argued that legal justification can best be studied from a procedural, dialogical point of view: legal statements are justified if the audience is convinced in an argumentative dialog. The formalized and implemented model DiaLaw guards the procedure in which two players aim at justifying statements. DiaLaw shows the advances and problems linked to procedural models of legal justification. Moreover, an instructive discussion of the different models of procedural justification is provided. It is stressed that in (...) legal justification not only logically compelling arguments should be considered, but also convincing arguments. Therefore DiaLaw also deals with the rhetorical, psychological aspects of argument. This book is relevant for scholars in legal theory, artificial intelligence, and argumentation, and can be used in graduate courses on AI and Law, and legal argumentation. (shrink)

In the chapter entitled ‘Philosophy and the Meaning of Life’ in Robert Nozick’s Philosophical Explanations there is an admonitory passage with many applications. ‘It is a puzzle,’ says Nozick, ‘how so many people, including intellectuals and academics devote enormous energy to work in which nothing of themselves or their important goals shines forth, not even in the way their work is presented. If they were struck down, their children upon growing up and examining their work would never know why they (...) had done it, would never know who it was that did it. They work that way and sometimes live that way, too’. (shrink)

Speech acts are a staple of everyday communicative life, but only became a topic of sustained investigation, at least in the English-speaking world, in the middle of the Twentieth Century.[1] Since that time “speech act theory” has been influential not only within philosophy, but also in linguistics, psychology, legal theory, artificial intelligence, literary theory and many other scholarly disciplines.[2] Recognition of the importance of speech acts has illuminated the ability of language to do other things than describe reality. In the (...) process the boundaries among the philosophy of language, the philosophy of action, the philosophy of mind and even ethics have become less sharp. In addition, an appreciation of speech acts has helped lay bare an implicit normative structure within linguistic practice, including even that part of this practice concerned with describing reality. Much recent research aims at an accurate characterization of this normative structure underlying linguistic practice. (shrink)

One main goal of argumentation theory is to evaluate arguments and to determine whether they should be accepted or rejected. When there is no clear answer, a third option, being undecided, has to be taken into account. Indecision is often not considered explicitly, but rather taken to be a collection of all unclear or troubling cases. However, current philosophy makes a strong point for taking indecision itself to be a proper object of consideration. This paper aims at revealing parallels between (...) the findings concerning indecision in philosophy and the treatment of indecision in argumentation theory. By investigating what philosophical forms and norms of indecision are involved in argumentation theory, we can improve our understanding of the different uncertain evidential situations in argumentation theory. (shrink)

Modern belief revision theory is based to a large extent on partial meet contraction that was introduced in the seminal article by Carlos Alchourrón, Peter Gärdenfors, and David Makinson that appeared in 1985. In the same year, Alchourrón and Makinson published a significantly different approach to the same problem, called safe contraction. Since then, safe contraction has received much less attention than partial meet contraction. The present paper summarizes the current state of knowledge on safe contraction, provides some new results (...) and offers a list of unsolved problems that are in need of investigation. (shrink)

It's natural to think that the principles expressed by the statements "Promises ought to be kept" and "We ought to help those in need" are defeasible. But how are we to make sense of this defeasibility? On one proposal, moral principles have hedges or built-in unless clauses specifying the conditions under which the principle doesn't apply. On another, such principles are contributory and, thus, do not specify which actions ought to be carried out, but only what counts in favor or (...) against them. Drawing on a defeasible logic framework, this paper sets up three models: one model for each proposal, as well as a third model capturing a mixed view on principles that combines them. It then explores the structural connections between the three models and establishes some equivalence results, suggesting that the seemingly different views captured by the models are closer than standardly thought. (shrink)

I demonstrate that a "speech act" theory of meaning for imperatives is—contra a dominant position in philosophy and linguistics—theoretically desirable. A speech act-theoretic account of the meaning of an imperative !φ is characterized, broadly, by the following claims. -/- LINGUISTIC MEANING AS USE !φ’s meaning is a matter of the speech act an utterance of it conventionally functions to express—what a speaker conventionally uses it to do (its conventional discourse function, CDF). -/- IMPERATIVE USE AS PRACTICAL !φ's CDF is to (...) express a practical (non-representational) state of mind—one concerning an agent's preferences and plans, rather than her beliefs. -/- Opposed to speech act accounts is a preponderance of views which deny that a sentence's linguistic meaning is a matter of what speech act it is used to perform, or its CDF. On such accounts, meaning is, instead, a matter of "static" properties of the sentence—e.g., how it depicts the world as being (or, more neutrally, the properties of a model-theoretic object with which the semantic value of the sentence co-varies). On one version of a static account, an imperative 'shut the window!' might, for instance, depict the world as being such that the window must be shut. -/- Static accounts are traditionally motivated against speech act-theoretic accounts by appeal to supposedly irremediable explanatory deficiencies in the latter. Whatever a static account loses in saying (prima facie counterintuitively) that an imperative conventionally represents, or expresses a picture of the world, is said to be offset by its ability to explain a variety of phenomena for which speech act-theoretic accounts are said to lack good explanations (even, in many cases, the bare ability to offer something that might meet basic criteria on what a good explanation should be like). -/- I aim to turn the tables on static accounts. I do this by showing that speech act accounts are capable of giving explanations of phenomena which fans of static accounts have alleged them unable to give. Indeed, for a variety of absolutely fundamental phenomena having to do with the conventional meaning of imperatives (and other types of practical language), speech act accounts provide natural and theoretically satisfying explanations, where a representational account provides none. (shrink)

Imperatives are linguistic devices used by an authority (speaker) to express wishes, requests, commands, orders, instructions, and suggestions to a subject (addressee). This essay's goal is to tentatively address some of the following questions about the imperative. -/- METASEMANTIC. What is the menu of options for understanding fundamental semantic notions like satisfaction, truth-conditions, validity, and entailment in the context of imperatives? Are there good imperative arguments, and, if so, how are they to be characterized? What are the options for understanding (...) the property that an account of good imperative arguments is supposed to track? What constraints on a semantic analysis of the imperative do different positions on the metasemantic issues impose? -/- SEMANTIC. How might we implement metasemantic postures in a rigorous formal system? How much can we do using familiar tools from deontic modal logic? How much leverage over semantic questions can we gain by introducing tools from natural language semantics—ordering sources, dyadic modal operators, salient alternatives, and the like—into a formal semantics for an imperative object language? How much leverage can we gain by introducing tools from rather less-utilized areas of modal logic—devices for representing actions and planning in time, modal operators constructed from action-terms, and the like—into the analysis? -/- DYNAMIC. How do imperatives succeed in performing the speech acts they are used to perform? How do imperatives update discourses? How can we leverage an account of imperative discourse update in giving a dynamic semantics for the imperative? Is there anything about the imperative that demands a dynamic semantic treatment? (shrink)

This work explores the hypothesis that natural language is a tool for changing a language user's state of mind and, more specifically, the hypothesis that a sentence's meaning is constituted by its characteristic role in fulfilling this purpose. This view contrasts with the dominant approach to semantics due to Frege, Tarski and others' work on artificial languages: language is first and foremost a tool for representing the world. Adapted to natural language by Davidson, Lewis, Montague, et. al. this dominant approach (...) has crystalized as truth-conditional semantics: to know the meaning of a sentence is to know the conditions under which that sentence is true. Chapter 1 details the animating ideas of my alternative approach and shows that the representational function of language can be understood in terms of the more general function of changing representational mental states. Chapters 2-4 argue that the additional resources of this more general conception of meaning allow us to explain certain phenomena involving conditionals and grammatical mood that truth-conditional semantics does not. In the analysis of these specific phenomena and the articulation of the general approach on offer, it emerges that this approach combines insights and benefits from both use-theoretic and truth-theoretic work on meaning. (shrink)