There seems to be no clear consensus in the existing literature about the role of deontic logic in legal knowledge representation — in large part, we argue, because of an apparent misunderstanding of what deontic logic is, and a misplaced preoccupation with the surface formulation of legislative texts. Our aim in this paper is to indicate, first, which aspects of legal reasoning are addressed by deontic logic, and then to sketch out the beginnings of a methodology for its use in (...) the analysis and representation of law.The essential point for which we argue is that deontic logic — in some form or other —needs to be taken seriously whenever it is necessary to make explicit, and then reason about, the distinction between what ought to be the case and what is the case, or as we also say, between the ideal and the actual. We take the library regulations at Imperial College as the main illustration, and small examples from genuinely legal domains to introduce specific points. In conclusion, we touch on the role of deontic logic in the development of the theory of normative positions. (shrink)

In the first part of this paper it is argued that Vendler's classification of verbs into aspectual categories, called activities, accomplishments, achievements, and states, is better seen as classifying the meanings of sentences, and a recursive scheme for describing the aspectual character of sentences is presented.In the second part, this scheme is applied to the discussion of the epistemic and deontic meanings of the modal verbs must, will, and may. In particular, the relation between the “future” and “nonfuture” senses of (...) epistemic will is examined. (shrink)