The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where and are terms the atomic formulas have the form = ( is the same as ), Forb ( is forbidden) and Perm ( is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given and (...) an axiomatic system is provided for which they are characteristic.The closure principle, that what is not forbidden is permitted is shown to hold at the level of outcomes but not at the level of events. In the two final sections some other operators are considered and a semantics in terms of action games. (shrink)

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.

In this paper, the set-theoretic approach in the logical theory of normative systems is extended using Broome’s definition of the normative code function. The syntax and semantics for first order metanormative language is defined, and metanormative language is applied in the formalization of the basic principles in Broome’s approach and in the construction of a logical typology of normative systems. Special attention is given to the types of normative systems which are not definable in terms of the properties of singular (...) sets of requirements (e.g. the realization equivalence of codes, the social compatibility of codes, and the compatibility of codes issued by different normative sources). Examples are given of the application of the typology in the interpretation of philosophical texts. Von Wright’s hypothesis on the connection of logical properties of normative systems, conceived set-theoretically, with standard deontic logic is proved by introducing the translation function between the metanormative language and the restricted language of standard deontic logic. The translation reveals that von Wright’s hypothesis must be appended. The problems of narrow and wide scope readings of the deontic conditionals and of the meaning of iterated deontic operators are addressed using the distinction between relative and absolute normative codes. The theorem on the existence of a realization equivalent absolute code for any relative code is proved. (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)

Two groups of agents, G1 and G2, face a *moral conflict* if G1 has a moral obligation and G2 has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like "In the interest of group F of agents, group G of agents ought to see to it that phi". We provide a formal language and a consequentialist semantics. An illustration of our semantics with (...) an analysis of the Prisoner’s Dilemma follows. Next, necessary and sufficient conditions are given for (1) the possibility that a single group of agents faces a moral conflict, for (2) the possibility that two groups of agents face a moral conflict within a single moral code, and for (3) the possibility that two groups of agents face a moral conflict. (shrink)

Many languages grammatically mark evidentiality, i.e., the source of information. In assertions, evidentials indicate the source of information of the speaker while in questions they indicate the expected source of information of the addressee. This dissertation examines the semantics and pragmatics of evidentiality and illocutionary mood, set within formal theories of meaning and discourse. The empirical focus is the evidential system of Cheyenne (Algonquian: Montana), which is analyzed based on several years of fieldwork by the author.

This paper works within a particular framework for reasoning about actions—sometimes known as the framework of “stit semantics”—originally due to Belnap and Perloff, based ultimately on the theory of indeterminism set out in Prior’s indeterministic tense logic, and developed in full detail by Belnap, Perloff, and Xu [3]. The issues I want to consider arise when certain normative, or decision theoretic, notions are introduced into this framework: here I will focus on the notion of a right action, and so on (...) the formulation of act utilitarianism within this indeterministic setting. The problem is simply that there are two different, and conflicting, ways of defining this notion, both well-motivated, and both carrying intuitive weight. (shrink)

There are a number of concepts of common-sense morality, what one must do, what one ought to do, the supererogatory, the minimum that duty allows, the morally optional and the morally indifferent, that philosophers have been hard-pressed to represent in an integrated conceptual framework. Indeed, many philosophers have despaired at the attempt and concluded that only a fragment of these concepts belong to that fundamental sphere of morality that is the central focus of the ethicist. For example, the traditional scheme, (...) with its triad of the obligatory, the forbidden and the permissible, pigeonholes all actions into three mutually exclusive and exhaustive classes: those which are obligatory, those which are forbidden and those which are optional. Hence, at best, it can represent exactly two of the six aforementioned concepts. For from the standpoint of this scheme, what one must do and what one ought to do can't be distinguished and hence they can't both be represented. Although the morally optional can be represented, the supererogatory, one of its subclasses, cannot be represented. Furthermore, the morally indifferent, another subclass of the optional--one which is obviously disjoint from the supererogatory--cannot be represented. Finally, the minimum that duty allows finds no distinctive place in the traditional scheme. Thus, on the face of it, the traditional scheme is radically incomplete. ;I present, motivate and defend a new conceptual scheme for common-sense morality in which these concepts are represented and systematically integrated. An intuitively motivated semantic framework underpinning this conceptual scheme is also presented. Such a scheme, along with the associated semantic framework, is motivated by reflecting on the supererogationist's objections to utilitarianism and to the traditional scheme. But in addition, a new integrated network of linguistic motivations for this conceptual scheme is uncovered, one which is completely independent of supererogationistic considerations. Hence, these two separate sources of evidence for the centrality of this new scheme to our pre-theoretic thinking corroborate one another--thus jointly boosting the evidence beyond the mere sum of their separate evidential values. (shrink)