The 1830s and 1840s are the formative years of modern public health in Britain, when the poor law bureaucrat Edwin Chadwick conceived his vision of public health through public works and began the campaign for the construction of the kinds of water and sewerage works that ultimately became the standard components of urban infrastructure throughout the developed world. This book first explores that vision and campaign against the backdrop of the great "condition-of-England" questions of the period, of what rights and (...) expectations working people could justifiably have in regard to political participation, food, shelter and conditions of work. It examines the ways Chadwick's sanitarianism fit the political needs of the much-hated Poor Law Commission and of Whig and Tory governments, each seeking some antidote to revolutionary Charitism. It then reviews the Chadwickians' efforts to solve the host of problems they met in trying to implement the sanitary idea: of what responsibilities central and local units of government, and private contractors, were to have; of how townspeople could be persuaded to embark on untried public technologies; of where the new public health experts were to come from; and of how elegant technical designs were to be fitted to the unique social, political and geographic circumstances of individual towns. Rejecting the view that Chadwick's program was a simple response to an obvious urban problem Professor Hamlin argues that at the time a "public health" focusing narrowly on sanitary public works represented a retreat of public medicine from involvement with the great social issues of the Industrial Revolution. In exploring the views of medical men who were critical of Chadwick, Hamlin suggests the parameters of a public health that might have been, in which concern for health and well-being becomes the foundation of a public medicine that is a principal guarantor of social justice. This book offers modern public heatlh professionals elements of a forgotten professional heritage that might be useful in responding to the bewildering range of health problems we now confront. (shrink)

A transnational capitalist class has emerged as that segment of the world bourgeoisie that represents transnational capital, the owners of the leading worldwide means of production as embodied in the transnational corporations and private financial institutions. The spread of TNCs, the sharp increase in foreign direct investment, the proliferation of mergers and acquisitions across national borders, the rise of a global financial system, and the increased interlocking of positions within the global corporate structure, are some empirical indicators of the (...) transnational integration of capitalists. The TCC manages global rather than national circuits of accumulation. This gives it an objective class existence and identity spatially and politically in the global system above any local territories and polities. The TCC became politicized from the 1970s into the 1990s and has pursued a class project of capitalist globalization institutionalized in an emergent transnational state apparatus and in a "Third Way" political program. The emergent global capitalist historic bloc is divided over strategic issues of class rule and how to achieve regulatory order in the global economy. Contradictions within the ruling bloc open up new opportunities for emancipatory projects from global labor. (shrink)

Volume 25, Issue 7-8, November - December 2020, Page 866-868.

Book Review of: Troubled: A Memoir of Foster Care, Family, and Social Class, By Rob Henderson, Publisher: Gallery Books, Pages: 336, Price: $28.99. Review Author: James Noel Ward.

We consider the problem of choosing the location of a public facility either (a) on a tree network or (b) in a Euclidean space. (a) (1996) characterize the class of target rules on a tree network by Pareto efficiency and population-monotonicity. Using Vohra's (1999) characterization of rules that satisfy Pareto efficiency and replacement-domination, we give a short proof of the previous characterization and show that it also holds on the domain of symmetric preferences. (b) The result obtained for model (...) (a) proves to be crucial for the analysis of the problem of choosing the location of a public facility in a Euclidean space. Our main result is the characterization of the class of coordinatewise target rules by unanimity, strategy-proofness, and either replacement-domination or population-monotonicity. (shrink)

This chapter discusses a radical's predicament in defining revolutionary practice with regard to law, and how a solution to this predicament can be found. It argues that that the general dilemma faced by many radicals with regard to law must be approached pragmatically. There may be moments when either reformism or insurrection will yield short-term gains for the working class. These benefits must be weighed against the probable consequence of encounters with the legal system — that the foundations of (...) the liberal state are likely to be made more secure against revolutionary action. In certain cases, however, there will be a relatively clear choice for the radical. Taking the touchstone of Marxist strategy to be the heightening of class-consciousness, it is evident that certain legal conditions increase the opportunities for a working-class movement to gain cohesion. (shrink)

We discuss a `negative' way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules, the `non-ξ rules', styled after Gabbay's Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas and Λ+ is the extension of Λ with a set of non-ξ rules, then Λ+ is (...) strongly sound and complete with respect to the class of frames determined by the axioms and the rules. (shrink)

Defeasible rules are said to allow for the following two-staged sequence, viz., that p → q and yet p & r → not-q. This is puzzling because in the logic of conditionals the sufficiency of p for q cannot normally be undermined if one adds to the antecedent a further proposition r. Critics argue that the better approach to comprehending defeasibility is explicitly to represent the limiting factor r in a single-stage articulation of the rule, viz., as p & not-r (...) → q. This is a more complete statement of the rule; where the old rule announced, confidently and without qualification, that in circumstances or class of cases p consequence q follows, the new rule admits from the outset that q only follows if we add the qualifier that limits the antecedent circumstances to the smaller class of cases p & not-r. This is not only more complete, the critics argue, it is also a more accurate or truthful statement of the rule. The rule p → q, articulated at the first stage of the defeasible process, is only a pretender encountered along the way to this more complete truth. In this paper I show how, and why, contrary to the critics, the process of private law adjudication supports the multi-staged structure and representation of defeasible legal rules. What matters when one party makes a claim against another party is not so much that the claim is true (or even that it is advanced as a legitimate claim under the rule that is most likely to be true), but rather that the claim is of the sort that the party can justifiably say is true. The latter, at least, is what carries the plaintiff past the initial burden of proof, and what calls for the defendant to reply if the plaintiff is not to carry the day. I illustrate the argument by way of the court’s reluctance in a tort case to entertain a purely statistical basis for a plaintiff’s claim that the defendant has caused her injury. Rather, the court will insist on direct evidence that appears to arise out of the particular circumstances of the case as the plaintiff alleges them to be, and even if, as a purely statistical matter, the latter sort of claim is less likely to be true than the claim grounded in pure statistical likelihood. I relate this argument for defeasible rules (and against rules that are more truthful) to some important arguments offered by the philosopher Stephen Darwall in his recent book The Second Person Viewpoint. Private law’s defeasible rules, I argue, capture the special respect (and interpersonal accountability) that attaches only to rights arising out of “second personal” claiming (and counterclaiming) and which are not realizable merely as a matter of “third personal” (moral) truth. (shrink)

The theory of morality we can call full rule - consequentialism selects rules solely in terms of the goodness of their consequences and then claims that these rules determine which kinds of acts are morally wrong. George Berkeley was arguably the first rule -consequentialist. He wrote, “In framing the general laws of nature, it is granted we must be entirely guided by the public good of mankind, but not in the ordinary moral actions of our lives. … The rule is (...) framed with respect to the good of mankind; but our practice must be always shaped immediately by the rule.” Writers often classed as rule -consequentialists include Austin 1832; Harrod 1936; Toulmin 1950; Urmson 1953; Harrison 1953; Mabbott 1953; Singer 1955; 1961; and most prominently Brandt 1959; 1963; 1967; 1979; 1989; 1996; and Harsanyi 1977; 1982; 1993. See also Rawls 1955; Hospers 1972; Haslett 1987; 1994, ch. 1; 2000; Attfield 1987, 103-12; Barrow 1991, ch. 6; Johnson 1991; Riley 1998; 2000; Shaw 1999; and Hooker 2000. Whether J. S. Mill's ethics was rule -consequentialist is controversial. (shrink)

Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion natural deduction proof system in which the connective rules are unmodi_ed from the usual Prawitz introduction and elimination rules — the extension is purely structural. This framework is general: it can be used for (1) classical logic, (2) relevant logic without distribution, (3) affine logic, and (4) linear logic, keeping the connective rules fixed, and varying purely (...) structural rules. The key result of this paper is that the two principles that introduce kinds of irrelevance to natural deduction proofs: (a) the rule of explosion (from a contradiction, anything follows); and (b) the structural rule of vacuous discharge; are shown to be two sides of a single coin, in the same way that they correspond to the structural rule of weakening in the sequent calculus. The paper also includes a discussion of assumption classes, and how they can play a role in treating additive connectives in substructural natural deduction. (shrink)

A well-known result states that, over basic Kalmar elementary arithmetic EA, the induction schema for ∑n formulas is equivalent to the uniform reflection principle for ∑n + 1 formulas . We show that fragments of arithmetic axiomatized by various forms of induction rules admit a precise axiomatization in terms of reflection principles as well. Thus, the closure of EA under the induction rule for ∑n formulas is equivalent to ω times iterated ∑n reflection principle. Moreover, for k < ω, k (...) times iterated ∑n reflection principle over EA precisely corresponds to the extension of EA by k nested applications of ∑n induction rule.The above relationship holds in greater generality than just stated. In fact, we give general formulas characterizing in terms of iterated reflection principles the extension of any given theory by k nested applications of ∑n or Πn induction rules. In particular, the closure of a theory T under just one application of ∑1 induction rule is equivalent to T together with ∑1 reflection principle for each finite Π2 axiomatized subtheory of T.These results have closely parallel ones in the theory of subrecursive function classes. The rules under study correspond, in a canonical way, to natural closure operators on the classes of provably recursive functions. Thus, ∑1 induction rule precisely corresponds to the primitive recursive closure operator, and ∑1 collection rule, introduced below, corresponds to the elementary closure operator. (shrink)

We define an applicative theoryCL 2 similar to combinatory logic which can be interpreted in classes of functions possessing an enumerating function. In contrast to the models of classical combinatory logic, it is not necessarily assumed that the enumerating function itself belongs to that function class. Thereby we get a variety of possible models including e. g. the classes of primitive recursive, recursive, elementary, polynomial-time comptable ofɛ 0-recursive functions.We show that inCL 2 a major part of the metatheory of (...) enumerated classes of functions can be developed. Namely, a kind of λ-abstraction can be defined and abstract versions of theS n m - and (Primitive) Recursion Theorems are proved. Thereby, a closer analysis of the phenomenon of the different recursion theorems is achieved.A theory closely related toCL 2 can be used to replace the applicative part of Feferman's theories for explicit mathematics. So this work can be seen as an answer to Feferman's question to formulate a theory for explicit mathematics in which operations can be interpreted as primitive recursive or even more feasible ones.Finally it is shown that the proof-theoretical strength of various theoreies for explicit mathematics is preserved when replacing the applicative part of the theories by our theory together with an operation for primitive recursion. (shrink)

Large portions of mathematics such as algebra and geometry can be formalized using first-order axiomatizations. In many cases it is even possible to use a very well-behaved class of first-order axioms, namely, what are called coherent or geometric implications. Such class of axioms can be translated to inference rules that can be added to a sequent calculus while preserving its structural properties. In this work, this fundamental result is extended to their infinitary generalizations as extensions of sequent calculi (...) for both classical and intuitionistic infinitary logic. As an application, a simple proof of the infinitary Barr’s theorem without the axioms of choice is shown. (shrink)

A full separation theorem for the derivable rules of intuitionistic linear logic without bounds, 0 and exponentials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logic LR+ and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices.

This paper discusses the Bayesian updating rules of ordinary and Jeffrey conditionalisation. Their justification has been a topic of interest for the last quarter century, and several strategies proposed. None has been accepted as conclusive, and it is argued here that this is for a good reason; for by extending the domain of the probability function to include propositions describing the agent's present and future degrees of belief one can systematically generate a class of counterexamples to the rules. Dynamic (...) Dutch Book and other arguments for them are examined critically. A concluding discussion attempts to put these results in perspective within the Bayesian approach. (shrink)

The use of conventional logical connectives either in logic, in mathematics, or in both cannot determine the meanings of those connectives. This is because every model of full conventional set theory can be extended conservatively to a model of intuitionistic set plus class theory, a model in which the meanings of the connectives are decidedly intuitionistic and nonconventional. The reasoning for this conclusion is acceptable to both intuitionistic and classical mathematicians. En route, I take a detour to prove that, (...) given strictly intuitionistic principles, classical negation cannot exist. (shrink)

In a recent paper, Tim Henning argues that the result that we should save the greatest number in rescue cases can be established on procedural grounds without making use of the aggregation of interests. He first argues that we ought to respect the affected persons' equal claims to have a say in the rescue decision and that this can only be achieved by the majority rule, which consists in giving each affected person an equal vote. Then he argues for the (...) second claim that if everyone votes in their self-interest, then the greatest number will be saved. I present a class of cases in which the second claim fails. This establishes that even if self-interested voting is assumed, the majority rule does not always lead to the greatest number being saved. (shrink)

The traditional role which correspondence rules, coordinating definitions, or semantical rules, have in a logical analysis of a scientific theory is questioned by providing an alternative analysis. The alternative account suggests that scientific theories are "meaningful" prior to the establishment of correspondence rules, and that correspondence rules are introduced to permit explanation and testing in the "observational" sector. The role of models is briefly assessed in connection with this prior or "antecedent theoretical meaning," and a causal sequence analysis of a (...) class of correspondence rules is presented which makes explicit the interdependence of scientific theories. (shrink)

The subject-matter of the paper is the theory of class struggle proposed by Hans-Hermann Hoppe, one of the leading representatives of libertarian political philosophy in the radical tradition of Murray N. Rothbard. The author reconstructs and critically comments on the theory at hand. The author's remarks focus on the ethical and methodological background of Hoppe's approach, the main question being whether the latter theory is consonant with the thinker's positions on ethics and methodology, as well as with his political (...) standpoint. The author argues that not only does class analysis not contradict other core beliefs of Hoppe but it also represents an indispensable element of his libertarian philosophy. There is, however, a significant tension between the class approach and Hoppe's secondary philosophical position – his historical idealism. The article is concluded by indicating some further issues in the Hoppean theory of class that, in the author's opinion, should be subject to future inquiry. (shrink)

In this paper, I examine Hume’s account of an important class of causal belief which he calls “general rules”. I argue that he understands general rules, like all causal beliefs, as lively ideas which are habitually associated with our impressions or memories. However, I argue, he believes that they are unlike any reflectively produced causal beliefs in that they are produced quickly and automatically, such that they occur independently of any other processes of reasoning. Given this, I argue, Hume (...) appears to understand general rules as relatively simple beliefs, expressible only via generic sentences, like “birds lay eggs”. (shrink)

Suppose that beliefs come in degrees. How should we then measure the accuracy of these degrees of belief? Scoring rules are usually thought to be the mathematical tool appropriate for this job. But there are many scoring rules, which lead to different ordinal accuracy rankings. Recently, Fallis and Lewis [2016] have given an argument that, if sound, rules out many popular scoring rules, including the Brier score, as genuine measures of accuracy. I respond to this argument, in part by noting (...) that the argument fails to account for verisimilitude—that certain false hypotheses might be closer to the truth than other false hypotheses are. Oddie [forthcoming], however, has argued that no member of a very wide class of scoring rules (the so-called proper scores) can appropriately handle verisimilitude. I explain how to respond to Oddie's argument, and I recommend a class of weighted scoring rules that, I argue, genuinely measure accuracy while escaping the arguments of Fallis and Lewis as well as Oddie. (shrink)

Since the time, about a century ago, when DeMorgan, Boole and Jevons, inaugurated the study of the logic of numerically definite reasoning, no one has been concerned to establish the validity rules for a very general type of numerically definite inference which is a strong analogue of the classical syllogism. The reader will readily agree that the traditional rules of syllogistic inference cannot even begin to decide whether the following proportionally quantified syllogism is a valid argument: at most 4/7 p (...) are at most 2/3 not-m and at least 3/5 s are precisely 7/8 m, hence, at most 1/3 s are p. Likely reasons, of broad methodological interest, why this readily definable type of formal inference has been neglected will presently be proposed. Among the masters of twentieth century logic, Hilbert and Bernays have, to be sure, meticulously shown how such numerically definite propositions as “at least 7 individuals have the property p” can be expressed in the predicate calculus with the use of the identity relation. They do not, since their concern with such propositions is indirect, proceed to establish a systematic calculus of classes whose “size” or extent is numerically definite. As we shall always notice, traditional logic and even ordinary Boolean algebra prefer to generalize about the laws governing the interrelationship of classes in inference systems without making any hypotheses concerning class “size” or extent except by the classical quantifier “some”, which quantifier admits the measure or extent of a class only in terms of the proposition that a given class contains or does not contain at least one member. Such a restricted admission of the relevance for inference of class size is among the fundamental reasons for the neglect of proportional quantifiers, i.e., quantifiers where numerical value is any rational number r such that 0/100 ≤ r ≤ 100/100. It can, of course, also be pointed out that the traditional syllogism and ordinary Boolean algebra do not i.e. measure, numerically define, the degree of inclusion of one class in another. Inclusion is taken either as total or partial, with no discrimination of the degree of partial inclusion. (shrink)

In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order expressivity).We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a (...) wide variety of frame classes and to prove completeness using the Henkin method. In the weaker languages, this requires the use of non-orthodox rules. We discuss these rules in detail and prove non-eliminability and eliminability results. We also show how another type of rule, which reflects the structure of the strong Priorean language, can be employed to give an even wider coverage of frame classes. We show that this deductive apparatus gets progressively simpler as we work our way up the expressivity hierarchy, and conclude the paper by showing that the approach transfers to first-order hybrid logic. (shrink)

Admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In this paper, a Gentzen-style framework is introduced for analytic proof systems that derive admissible rules of non-classical logics. While Gentzen systems for derivability treat sequents as basic objects, for admissibility, the basic objects are sequent rules. Proof systems are defined here for admissible rules of classes of modal logics, including K4, S4, and GL, and also Intuitionistic Logic IPC. With minor (...) restrictions, proof search in these systems terminates, giving decision procedures for admissibility in the logics. (shrink)

Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen’s proof of the cut-elimination theorem for the system LK, several other proofs have been proposed. Even though the techniques of these proofs can be modified to sequent systems other than $$\textbf{LK}$$, they are essentially of a very particular nature; each of them describes an algorithm to transform a given proof to a cut-free proof. However, due to its reliance on heavy syntactic arguments and case (...) distinctions, such an algorithm makes the fundamental structure of the argument rather opaque. We, therefore, consider rules abstractly, within the framework of logical structures familiar from universal logic in the sense of Béziau (Universal logic, Prague, 1994) and aim to clarify the essence of the so-called “elimination theorems”. To do this, we first give a non-algorithmic proof of the cut-elimination theorem for the propositional fragment of $$\textbf{LK}$$. From this proof, we abstract the essential features of the argument and define something called normal sequent structures relative to a particular rule. We then prove a version of the rule-elimination theorem for these. Abstracting even more, we define abstract sequent structures and show that for these structures, the corresponding version of the rule-elimination theorem has a converse as well. (shrink)

Born in China in 551 B.C., Confucius rose from poverty to the heights of his country's ruling class. But then he quit his high post for the life of an itinerant philosopher. "The Analects" collects his teachings on education and government, the definition of nobility, the equality of man, and the right way and purpose of living - ideas that eventually spread to the West and influenced the great thinkers of the Enlightenment. And five centuries before Christ, Confucius (...) set forth his own Golden Rule: "Do not impose on others what you do not wish for yourself.". (shrink)

Usually viewed as the premier apologist for laissez-faire capitalism, Smith is seen in this new interpretation within the context of an earlier tradition that condemned the British aristocracy for relinquishing its moral obligation to promote the public good in favor of an unceasing pursuit of private gain. Through separate chapters on Mandeville, Bolingbroke, and Hume, Gallagher shows that Smith echoed civic humanist sermons against the avaricious inclinations of the nobles who profited most from commercial expansion. Unlike earlier critics, however, Smith (...) concluded that the most prudent response to aristocratic corruption was not to hold ministers, kings, and social notables to higher standards but to limit their access to political power. _The Rule of the Rich?_ accordingly shows that the case for limited government made in _The Wealth of Nations_ was not a defense of individual liberty so much as a concession to the apparent incompetence of the British upper class. (shrink)

The best way to conceive semiotical spaces that are not identical to single buildings, such as a cityscape, is to define the place in terms of the activities occurring there. This conception originated in the proxemics of E. T. Hall and was later generalized in the spatial semiotics of Manar Hammad. It can be given a more secure grounding in terms of time geography, which is involved with trajectories in space and time. We add to this a qualitative dimension which (...) is properly semiotic, and which derives from the notion of border, itself a result of the primary semiotic operation of segmentation. Borders, in this sense, are more or less permeable to different kinds of activities, such as gaze, touch, and movement, where the latter are often not physically defined, but characterized in terms of norms. Norms must be understood along the lines of the Prague school, which delineates as scale going from laws in the legal sense to simple rules of thumb. Such considerations have permitted us to define a number of semio-spatial objects as, most notably, the boulevard, considered as an intermediate level of public space, located between the village square and the coffee house presiding over what Habermas called the public sphere. Urbanity originates as a scene on which the gaze, well before the word, mediates between the sexes, the classes, the cultures, and other avatars of otherness. However, this scenario is seriously upset but the emergence of the cell phone and other technical devices, as well as by the movement of populations. (shrink)

This dissertation develops, justifies, and examines the jurisprudential implications of a non-monotonic theory of common law legal reasoning. Legal rules seem to have exceptions but identifying all of them is difficult. This hinders attempts to formalize legal rules using classical logics. Non-monotonic logics allow defeasible inference, permitting rules that hold generally but can be defeated in the presence of exceptions. This ameliorates the problem of characterizing all exceptions to a rule, because exceptions can be added piecemeal while the rule remains. (...) The first portion of the dissertation rebuts a prominent criticism leveled at a large class of theories of legal reasoning that includes my theory. The charge is that no coherent theory can recognize both the difference between distinguishing and overruling, and the constraint of precedent. The critics argue that is more important than and that can only be explained by monotonic legal rules. Drawing on cognitive psychology as well as legal theory, I show that coherent theories, such as my own, can accommodate both and. The second chapter provides motivation for understanding precedential constraint in terms of non-monotonic default rules and introduces my positive theory, which elaborates on John Horty's work in treating legal rules as prioritized defaults involving reasons. I motivate and implement a relaxation of Horty's restrictions on the form of rules to allow a more fine-grained characterization of precedent. Finally, I explore the relationship between these relaxations and the concept of precedent. The final section explains how my theory fits into the traditional jurisprudential ecosystem. I demonstrate that, contrary to assertions in the legal theory literature, this non-monotonic approach is entirely compatible with positivism's commitment to extracting rules from authoritative legal sources, namely court opinions. I also suggest how it might be attractive to law and economics theorists, pragmatists, and followers of Dworkin. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:74. RULE-UTILITARIANISM AND HUME'S THEORY OF JUSTICE One of the striking features of Hume's theory of justice is the narrowness of the range of judgments it is designed to illumine. For Hume the paradigms of judgments of justice are judgments about particular actions, not judgments about laws or institutions or states of affairs. Moreover, the characterization of actions as just or unjust is possible according to Hume only in (...) a certain kind of legal context - namely when questions arise about the conformity of conduct to a certain class of legal rules, those which comprise the law of property. In such contexts, actions are said to be just if they are in accordance with property rules and unjust if they are contrary to them. Of particular interest is the exclusion of judgments about the law - and in particular judgments about property rules - from the class of judgments of justice. Hume recognizes, of course, that we often have occasion to evaluate rules of law, including the rules which make up the law of property. When such judgments have to be made, however, it is never their justice or injustice which is in question for Hume. The fact that he often refers to the rules of property as "rules of justice" may seem to be inconsistent with this view, but it is not. When Hume refers to property rules in this way, it is not because he wishes to signify that the rules themselves satisfy some principle of justice, but rather because he conceives of them as embodying our criteria for the making of judgments about the justice of particular acts. Property rules cannot be viewed as "rules of justice" in this sense without satisfying some supralegal standard of acceptability. But the standard in quesrtion is social utility, not justice. Property rules qualify as "rules of justice", then, not because they are just but rather because they serve the public interest. Like some contemporary rule-utilitarians, Hume expressly disallows the question whether particular acts of 75. justice are socially useful. Or rather, to be more accurate, he claims that the disutility of particular acts sanctioned by property law counts neither against their being regarded as "acts of justice" nor against recognition of the obligation to perform them. Neither the characterisation of particular actions as "just" nor the stringency of the obligation to perform them is affected by the discovery that they might have to be said not to be in the public interest if attention were to be concentrated on the special circumstances of their performance. The reason is that it is a mistake, Hume thinks, for such acts to be viewed in isolation from other similar acts. Rather they must be seen as forming part of a scheme or system - a scheme or system which, taken in its entirety, serves the public interest. Hume's theory of justice thus embodies an unusually neat distinction between questions of justice and questions of social utility. When questions of justice are allowed to arise which is when the justice of particular acts is to be determined - questions of social utility do not arise. And when questions of social utility are allowed to arise - as they do when property rules have to be evaluated - questions of justice do not arise. Despite the sharp distinction he draws between justice and utility, Hume's theory of justice is clearly a utilitarian one. It is indeed a veritable prototype of the kind of theory now dubbed "rule-utilitarian". As such it has obvious attractions for would-be utilitarians, if it can be made to work. It would enable utilitarians to offer an account of judgments of justice in terms of rules enjoying the status of secondary principles of morality. Justice judgments could be represented as a special sub-class of moral judgments and the principles regulating them as subordinate to, and derivable from, the principle of utility. The vexed question of the relation between justice and utility would thereby be resolved without challenge to the assumption that they are different values and also without 76. abandonment of the claim that the principle of utility is the only underivative moral principle. By contrast, utilitarians for whom the... (shrink)