This paper proposes a framework for formalising intuitions about the behaviour of imperative commands. It seeks to capture notions of satisfaction and coherence. Rules are proposed to express key aspects of the general logical behaviour of imperative constructions. A key objective is for the framework to allow patterns of behaviour to be described while avoiding making any commitments about how commands, and their satisfaction criteria, are to be interpreted. We consider the status of some conundrums of imperative logic in the (...) context of this proposal. (shrink)

This paper presents in outline Luigi Ferrajoli’s axiomatic and general theory of law, as developed in his lifelong work Principia Iuris . The first section focuses on the three main aspects of the theory: the methodological, the theoretical and the pragmatic, which respectively represent the theory’s syntax, semantics and its pragmatics. Ferrajoli identifies three deontic gaps of norms: firstly, the one between their validity and efficacy ; secondly, the one between their justice and validity ; and finally, and most importantly, (...) the one between validity and existence (i.e. normative force). The presence of such gaps is, according to Ferrajoli, the extraordinary innovation that entrenched constitutions have brought into modern legal systems, by establishing norms that are superior to statutes and case law. In this sense, all normative phenomena (except for the constitution itself) can be conceived both as norms and as facts. In the second section the role of juridical science is briefly discussed. (shrink)

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)