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)

Philosophers like G.H. von Wright and D. Makinson have pointed to serious challenges regarding the foundations of deontic logic. In this paper, I suggest that to deal successfully with these challenges a reconsideration of the research program of the discipline is useful. Some problems that have troubled this particular field of logical study for decades may disappear or appear more tractable if we view them from the perspective of a language game introduced by D. Lewis involving three characters: the Master, (...) the Slave and the Kibitzer. The adoption of this perspective opens a natural approach to a new layout of the domain of deontic studies. I propose dividing deontic logic into six sub-areas which are distinguished by their focus on the different idioms typical of the individual players, by conceiving the language game as either being static or as dynamic and by the aims of the logical inquiry. What kind of insights the proposed perspective provides is illustrated by an analysis of the so-called Ross paradox—a problem that has troubled deontic logic since its origins and, though it was many times pronounced solved, still keeps coming back ‘alive and kicking’. (shrink)

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. (...) What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each.The starting point for our categorial scheme is the concept of extended entity. (shrink)

Expressive-Assertivism, a metaethical theory championed by Daniel Boisvert, is sometimes considered to be a particularly promising form of hybrid expressivism. One of the main virtues of Expressive-Assertivism is that it seems to offer a simple solution to the Frege-Geach problem. I argue, in contrast, that Expressive-Assertivism faces much the same challenges as pure expressivism.

An argument is usually said to be valid iff it is truth-preserving—iff it cannot be that all its premises are true and its conclusion false. But imperatives (it is normally thought) are not truth-apt. They are not in the business of saying how the world is, and therefore cannot either succeed or fail in doing so. To solve this problem, we need to find a new criterion of validity, and I aim to propose such a criterion.

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)

This essay contains material which will hopefully be of interest not only to philosophers, but also to those social scientists whose research concerns the analysis of communication, verbal or non-verbal. Although most of the topics taken up here are central to issues in the philosophy of language, they are, in my opinion, indistinguishable from topics in descriptive social psychology. The essay aims to provide a conceptual framework within which various key aspects of communication can be described, and it presents a (...) formal language, using techniques from modern modal logic, in which such descriptions can themselves be formulated. It is my hope that this framework, or parts of it, might also turn out to be of value in future empirical work. There are, therefore, essentially two sides to this essay: the development of a framework of concepts, and the construction of a formal language rich enough to express the elements of which that framework is composed. The first of these two takes its point of departure in the statement quoted from Lewis (1972) on the page preceding this introduction. The distinction drawn there by Lewis is accepted as a working hypothesis, and in one sense this essay may be seen as an attempt to explore some of the consequences of that hypothesis. (shrink)

In a series of articles, P. Vranas recently proposed a new imperative logic. The strong and weak inferences of this logic are motivated by an appeal to a strong and weak ‘support by reasons’ that transfers from the premisses of an argument to its conclusion. They also combine nonmonotonic and monotonic reasoning patterns. I show that for any moral agent, Vranas’s proposal can be simplified enormously.

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between types of knowledge in legal reasoning; the second one, LRI-Core ontology, captures the main concepts in legal information processing. Although FOLaw has shown to be of high practical value in various applied European ICT projects, its reuse is rather limited as it is rather concerned with the structure of legal reasoning (...) than with legal knowledge itself: as many other “legal core ontologies”, FOLaw is therefore rather an epistemological framework than an ontology. Therefore, we also developed LRI-Core. As we argue here that legal knowledge is based to a large extend on common-sense knowledge, LRI-Core is particularly inspired by research on abstract common-sense concepts. The main categories of LRI-Core are: physical, mental and abstract concepts. Roles cover in particular social worlds. Another special category are occurrences; terms that denote events and situations. We illustrate the use of LRI-Core with an ontology for Dutch criminal law, developed in the e-Court European project. (shrink)

Imperative sentences like Dance! do not seem to represent the world. Recent modal analyses challenge this idea, but its intuitive and historical appeal remain strong. This paper presents three new challenges for a non-representational analysis, showing that the obstacles facing it are even steeper than previously appreciated. I will argue that the only way for the non-representationalist to meet these three challenges is to adopt a dynamic semantics. Such a dynamic semantics is proposed here: imperatives introduce preferences between alternatives. This (...) characterization of meaning focuses on what function a sentence serves in discourse, rather than what that sentence refers to (e.g., a state of the world). By representing the meaning of imperatives, connectives and declaratives in a common dynamic format, the challenges posed for non-representationalism are met. (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)