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)

It is the purpose of this paper to carry out a partial syntactical analysis of imperatives. Imperatives form a large body of linguistic expressions, appearing, e.g. in mathematical proofs be a continuous function!”), laws, moral injunctions, instruction, etc. For analytical purposes we distinguish between two forms of imperatives, the fiat and the directive. By a directive we mean an imperative which includes an indication of the agent who is to carry it out. For example, “Henry, don't forget to stop at (...) the grocery!” is a directive. By a fiat we mean an imperative which includes no reference to an agent who is to carry it out. For example, “Let there be light!” is a fiat. This is a distinction made in terms of meaning. If, however, proper symbolic devices were introduced for the formalization of imperatives, it could be made in a syntactical manner. Thus we could distinguish between imperatives which possess a certain operator—the directive operator formed by putting a name within square brackets—as “[Henry]!”, and imperatives which do not possess this operator, e.g. “Let it be the case that Henry does not forget to stop at the grocery!” In the following we pay attention only to fiats. This, of course, involves a great limitation of subject matter and excludes topics of great interest. (shrink)

The Mīmāṃsā school of Indian philosophy has for its main purpose the interpretation of injunctions that are found in a set of sacred texts, the Vedas. In their works, Mīmāṃsā authors provide some of the most detailed and systematic examinations available anywhere of statements with a deontic force; however, their considerations have generally not been registered outside of Indological scholarship. In the present article we analyze the Mīmāṃsā theory of Vedic injunctions from a logical and philosophical point of view. The (...) theory at issue can be regarded as a system of reasoning based on certain fundamental principles, such as the distinction between strong and weak duties, and on a taxonomy of ritual actions. We start by reconstructing the conceptual framework of the theory and then move to a formalization of its core aspects. Our contribution represents a new perspective to study Mīmāṃsā and outlines its relevance, in general, for deontic reasoning. (shrink)