The civic republican tradition in political thought includes Niccolo Machiavelli, Jean-Jacques Rousseau, and Alexis de Tocqueville. The belief that it is imperative that citizens participate actively and disinterestedly in public affairs, i.e., that they possess "civic virtue" or "public spirit" is a prominent family resemblance between its members. Civic republican thought has undergone a recent resurgence, and one consequence is that political philosophers and other theorists have begun to ask whether liberals can take civic virtue seriously. Certain critics of liberalism, (...) including Michael Sandel and Charles Taylor, have answered this question in the negative. They give a variety of reasons for this answer, ranging from the inability of the atomistic ontologies underlying many liberal theories to make sense of the existence of a common good to the inability of the liberal state to concern itself with the character of its citizens. ;For the most part, unsurprisingly, these antiliberals direct their arguments at the work of twentieth-century "deontological" liberals such as John Rawls and Ronald Dworkin. While Rawls and Dworkin say relatively little about civic virtue, many earlier liberals believed firmly in its importance. John Stuart Mill's centrality to the liberal tradition and the thoroughgoing nature of his liberalism make him an especially interesting "civic liberal." My central thesis is that the civic and liberal components of his political philosophy combine to form a coherent whole. In my early exegetical chapters I provide the first systematic exposition of the frequently ignored civic component. I then address the work of several of Mill's interpreters who either explicitly or implicitly point to possible problems with his attempt to weave together the civic and liberal strands in his thought, and conclude that these problems are either not real or not insoluble. Finally, I consider whether the arguments which Sandel and Taylor, et. al., have given to show that contemporary liberal theories cannot consistently incorporate the civic republican belief in the importance of active and disinterested civic participation might have force against Mill. I show that they do not, and not simply because On Liberty is not A Theory of Justice but because the many of the objections are poorly reasoned. (shrink)

Mill's discussion of ‘the internal sanction’ in chapter III of Utilitarianism does not do justice to his understanding of internal sanctions; it omits some important points and obscures others. I offer an account of this portion of his moral psychology of motivation which brings out its subtleties and complexities. I show that he recognizes the importance of internal sanctions as sources of motives to develop and perfect our characters, as well as of motives to do our duty, and I examine (...) in some detail the various ways in which these sanctions give rise to motivating desires and aversions. (shrink)

Insofar as John Stuart Mill can be accurately described as a socialist, his is a socialism that a classical liberal ought to be able to live with, if not to love. Mill's view is that capitalist economies should at some point undergo a `spontaneous' and incremental process of socialization, involving the formation of worker-controlled `socialistic' enterprises through either the transformation of `capitalistic' enterprises or creation de novo. This process would entail few violations of core libertarian principles. It would proceed by (...) way of a series of voluntary transactions. Capitalists' property rights would be respected throughout. The process would take place within a national system of laws that permits private ownership of productive property and competition, and would not result in that system's overthrow. And, if we accept some basic tenets of Mill's social philosophy, the outcome at which we should expect the process to arrive is a `patchwork' economy in which capitalistic and socialistic enterprises exist side by side. Key Words: Ludwig von Mises • John Stuart Mill • socialism • capitalism • worker control. (shrink)

In a well-known passage in chapter V of On Liberty, J. S. Mill notes that while economic competition is generally socially beneficial and should be permitted, this “Free Trade” doctrine does not follow from the liberty or harm principle because “trade is a social act.” In a largely overlooked passage in chapter IV of the same essay, however, Mill contends that for society to coercively prohibit the practice of piecework – paying workers by the unit rather than by the hour (...) or day – does violate this principle. In this short note, I demonstrate that Mill's reasoning in these two passages is contradictory. (shrink)

The topics of structural proof theory and logic programming have influenced each other for more than three decades. Proof theory has contributed the notion of sequent calculus, linear logic, and higher-order quantification. Logic programming has introduced new normal forms of proofs and forced the examination of logic-based approaches to the treatment of bindings. As a result, proof theory has responded by developing an approach to proof search based on focused proof systems in which introduction rules are organized into two alternating (...) phases of rule application. Since the logic programming community can generate many examples and many design goals, the close connections with proof theory have helped to keep proof theory relevant to the general topic of computational logic. (shrink)

Future-bias is the preference, all else being equal, for positive states of affairs to be located in the future not the past, and for negative states of affairs to be located in the past not the future. Three explanations for future-bias have been posited: the temporal metaphysics explanation, the practical irrelevance explanation, and the three mechanisms explanation. Understanding what explains future-bias is important not only for better understanding the phenomenon itself, but also because many philosophers think that which explanation is (...) the correct one has implications for our evaluation of the normative status of future-bias. In this paper we focus on the connection between future-bias and the temporal value asymmetry. The latter refers to the fact that people tend to assign more value to a state of affairs when it is located in the future, as opposed to being equidistant in the past. All three candidate explanations offered for future-bias proceed by explaining the temporal value asymmetry, and then supposing that future-bias is simply a manifestation of that asymmetry. Recently, however, it has been argued that the conditions under which people display the temporal value asymmetry and future-bias are different, and that this is reason to doubt that the latter is a manifestation of the former. In this paper we empirically test one response to this argument against the manifestation thesis—the simulation response—according to which once we control for the degree to which people can simulate the object of their preference, we find that people display future-bias and the temporal value asymmetry in the same conditions. We find no evidence in favour of the simulation response. Moreover, our results support some previous research that suggests that the temporal value asymmetry is less robust than previously thought, and this in itself casts doubt on the idea that future bias is just a manifestation of this asymmetry. (shrink)

Empirical evidence shows that people have multiple time-biases. One is near-bias, another is future-bias, and a third is present-bias. Philosophers are concerned with the normative status of these time-biases. They have argued that, at least in part, the normative status of these biases depends on the extent to which they tend to promote, or frustrate, wellbeing, where “wellbeing” is taken to be of fundamental value. Since near-bias is thought to be associated with impulsivity, lack of self-control, and poor long-term health (...) and financial outcomes, it has often been supposed that it is associated with lower wellbeing. On those grounds, philosophers have argued that near-bias is rationally impermissible. By contrast, philosophical views about the normative status of future-bias have been mixed, with some arguing that future-bias is impermissible because, they think, it frustrates wellbeing, and others arguing that it is at least permissible (and perhaps obligatory) because it is the product of mechanisms whose functioning can be expected to promote wellbeing. However, to date there are no studies that have directly probed how time-biases correlate with wellbeing. Since it's not a settled matter which psychological mechanisms underlie time-biases, it is not uncontroversial which things serve as proxies for these preferences. We directly empirically investigate the connection between time-biases and measures of wellbeing, to see which of these biases is associated with promoting, or frustrating wellbeing. Contrary to expectation, we found no evidence that near-bias or present-bias are associated with frustrating wellbeing on any of the constructs we measured. On the other hand, and contrary to what some philosophers have supposed, we found that future-bias was associated with higher measures of wellbeing on several measures. We consider the implications of these findings for the evaluation of the normative status of these time biases. (shrink)

The 'Art of Life' is John Stuart Mill's name for his account of practical reason. In this volume, eleven leading scholars elucidate this fundamental, but widely neglected, element of Mill's thought. Mill divides the Art of Life into three 'departments': 'Morality, Prudence or Policy, and Æsthetics'. In the volume's first section, Rex Martin, David Weinstein, Ben Eggleston, and Dale E. Miller investigate the relation between the departments of morality and prudence. Their papers ask whether Mill is a rule (...) utilitarian and, if so, whether his practical philosophy must be incoherent. The second section contains papers by Jonathan Riley and Wendy Donner, who explore the relation between the departments of morality and aesthetics. They discuss issues ranging from supererogation to aesthetic pleasure and humanity's relationship with nature. -/- The papers in the third section consider the Art of Life's axiological first principle, the principle of utility. Elijah Millgram contends that Mill's own life refutes his claim that the Art of Life has a single axiological first principle. Philip Kitcher maintains that Mill has a dynamic axiology requiring us to continually refine our conception of the good. In the final section, three papers address what it means to put the Art of Life into practice. Robert Haraldsson locates an 'Art of Ethics' in On Liberty that is in tension with the Art of Life. Nadia Urbinati plumbs the classical roots of Mill's view of the good life. Finally, Colin Heydt develops Mill's suggestion that we regard our own lives as works of art. (shrink)

This collection explores the growing interface between Eastern and Western concepts of what it is to be human from analytical psychology, psychoanalytic and Buddhist perspectives. The relationship between these different approaches has been discussed for decades, with each discipline inviting its followers to explore the depths of the psyche and confront the sometimes difficult psychological experiences that can emerge during any in-depth exploration of mental processes. _Self and No-Self_ considers topics discussed at the Self and No-Self conference in Kyoto, Japan (...) in 2006. International experts from practical and theoretical backgrounds compare and contrast Buddhist and psychological traditions, providing a fresh insight on the relationship between the two. Areas covered include: the concept of self Buddhist theory and practice psychotherapeutic theory and practice mysticism and spirituality myth and fairy tale. This book explains how a Buddhist approach can be integrated into the clinical setting and will interest seasoned practitioners and theoreticians from analytical psychology, psychoanalytic and Buddhist backgrounds, as well as novices in these fields. (shrink)

This is a description of an avian-shaped feature that rests below a network of cellular structures found on a mound within the Argyre Basin of Mars in Mars Global Surveyor image M14-02185, acquired on April 30, 2000, and released to the public on April 4, 2001. The area examined is located near 48.0° South, 55.1° West. The formation is approximately 2,400 meters long from the tip of its beak to the tip of its farthest tail feather. There is a minimum (...) of six different variations in appearance of the surface material over this small area. Utilizing the public targeting request form provided on the Mars Global Surveyor (MGS) website, co-author Miller secured a second image of the area that was obtained on July 3, 2006, showing this feature under different conditions S20-00165. The new image was then released to the public on August 11, 2006. A third image of the formation identified as MGS S13-01480 was acquired on December 15, 2005, and although officially processed on June 20, 2006, it was not made available to the public until August 22, 2009, on NASA’s Planetary Data System (PDS) website. All three of the MGS images reveal defining aspects of this avian feature, including a head, beak, body, eye, leg, foot, toes, wing, and feathers. When taken together, these components induce the visual impression of an avian-shaped formation that exhibits a unique set of proportional features. Adjoining this formation is a composite of complex cellular features that form a compartmentalized infrastructure. The three authors who are veterinarians provide a critical analysis of the avian features, and the geologist and geoscientist authors examine natural mechanisms that could contribute to the formation of this feature. An extensive search of comparable regions within and beyond the area of the Argyre Basin was conducted. A list of these sites is provided, and terrestrial comparisons are also offered. (shrink)

Miller, D., G. Nadathur, F. Pfenning and A. Scedrov, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic 51 125–157. A proof-theoretic characterization of logical languages that form suitable bases for Prolog-like programming languages is provided. This characterization is based on the principle that the declarative meaning of a logic program, provided by provability in a logical system, should coincide with its operational meaning, provided by interpreting logical connectives as simple and fixed search instructions. (...) The operational semantics is formalized by the identification of a class of cut-free sequent proofs called uniform proofs. A uniform proof is one that can be found by a goal-directed search that respects the interpretation of the logical connectives as search instructions. The concept of a uniform proof is used to define the notion of an abstract logic programming language, and it is shown that first-order and higher-order Horn clauses with classical provability are examples of such a language. Horn clauses are then generalized to hereditary Harrop formulas and it is shown that first-order and higher-order versions of this new class of formulas are also abstract logic programming languages if the inference rules are those of either intuitionistic or minimal logic. The programming language significance of the various generalizations to first-order Horn clauses is briefly discussed. (shrink)

This book offers a clear and highly readable introduction to the ethical and social-political philosophy of John Stuart Mill. Dale E. Miller argues for a "utopian" reading of Mill's utilitarianism. He analyses Mill's views on happiness and goes on to show the practical, social and political implications that can be drawn from his utilitarianism, especially in relation to the construction of morality, individual freedom, democratic reform, and economic organization. By highlighting the utopian thinking which lies at the heart (...) of Mill's theories, Miller shows that rather than allowing for well-being for the few, Mill believed that a society must do everything in its power to see to it that each individual can enjoy a genuinely happy life if the happiness of its members is to be maximized. Miller provides a cogent and careful account of the main arguments offered by Mill, considers the critical responses to his work, and assesses its legacy for contemporary philosophy. Lucidly and persuasively written, this book will be a valuable resource for students and scholars seeking to understand the continued importance of Mill's thinking. (shrink)

A structure which generalizes formulas by including substitution terms is used to represent proofs in classical logic. These structures, called expansion trees, can be most easily understood as describing a tautologous substitution instance of a theorem. They also provide a computationally useful representation of classical proofs as first-class values. As values they are compact and can easily be manipulated and transformed. For example, we present an explicit transformations between expansion tree proofs and cut-free sequential proofs. A theorem prover which represents (...) proofs using expansion trees can use this transformation to present its proofs in more human-readable form. Also a very simple computation on expansion trees can transform them into Craig-style linear reasoning and into interpolants when they exist. We have chosen a sublogic of the Simple Theory of Types for our classical logic because it elegantly represents substitutions at all finite types through the use of the typed -calculus. Since all the proof-theoretic results we shall study depend heavily on properties of substitutions, using this logic has allowed us to strengthen and extend prior results: we are able to prove a strengthen form of the firstorder interpolation theorem as well as provide a correct description of Skolem functions and the Herbrand Universe. The latter are not straightforward generalization of their first-order definitions. (shrink)

Gentzen’s sequent calculi LK and LJ are landmark proof systems. They identify the structural rules of weakening and contraction as notable inference rules, and they allow for an elegant statement and proof of both cut elimination and consistency for classical and intuitionistic logics. Among the undesirable features of those sequent calculi is that their inferences rules are low-level and frequently permute over each other. As a result, large-scale structures within sequent calculus proofs are hard to identify. In this paper, we (...) present a different approach to designing a sequent calculus for classical logic. Starting with Gentzen’s LK proof system, we examine the proof search meaning of his inference rules and classify those rules as involving either don’t care nondeterminism or don’t know nondeterminism. Based on that classification, we design the focused proof system LKF in which inference rules belong to one of two phases of proof construction depending on which flavor of nondeterminism they involve. We then prove that the cut rule and the general form of the initial rule are admissible in LKF. Finally, by showing that the inference rules for LK are all admissible in LKF, we can give a relative completeness proof for LKF provability with respect to LK provability. We shall also apply these properties of the LKF proof system to establish other meta-theoretic properties of classical logic, including Herbrand’s theorem. (shrink)

Rule consequentialism holds that an action's moral standing depends on its relation to the moral code whose general adoption would have the best consequences. Heretofore rule consequentialists have understood the notion of a code's being generally adopted in terms of its being generally obeyed or, more commonly, its being generally accepted. I argue that these ways of understanding general adoption lead to unacceptable formulations of the theory. For instance, Brad Hooker, Michael Ridge, and Holly Smith have recently offered different answers (...) to the question of what ‘acceptance rate’ we should build into our formulation of rule consequentialism, and all are unsatisfactory. I argue instead for a novel approach to formulating rule consequentialism, ‘uniform-moral-education’ rule consequentialism, on which what it means for a moral code to be generally adopted is not for it to be generally followed or generally accepted, but instead for it to be generally taught. (shrink)

In The Second-Person Standpoint and subsequent essays, Stephen Darwall develops an account of morality that is “second-personal” in virtue of holding that what we are morally obligated to do is what others can legitimately demand that we do, i.e., what they can hold us accountable for doing through moral reactive attitudes like blame. Similarly, what it would be wrong for us to do is what others can legitimately demand that we abstain from doing. As part of this account, Darwall argues (...) for the proposition that we have a distinctive “second-personal reason” to fulfill all of our obligations and to avoid all wrong-actions, an “authority-regarding” reason that derives from the legitimate demands the “moral community” makes of us. I show that Darwall offers an insufficient case for this proposition. My criticism of this aspect of Darwall’s account turns in part on the fact that we have compunction-based or “compunctive” reasons to fulfill all of our obligations and to avoid all wrong actions, a type of reason that Darwall seemingly overlooks. (shrink)

In “’But It Would Be Wrong,’” Stephen Darwall advances a mixed view regarding “deontic buck-passing.” He holds that a wrong action’s “wrong-making features” are our reasons for reactive attitudes like blame; with respect to these reasons, the action’s wrongness “passes the buck” to these features. Yet the action’s being wrong is itself an additional reason for the agent not to do the action, Darwall contends, a “second-personal” moral reason. So with respect to reasons for action, the buck doesn’t get passed. (...) But once we remember that compunction is one of the moral reactive attitudes, we can see that Darwall’s rationale for treating these two sorts of reasons differently is insufficient. While giving up on deontic buck-passing altogether would require significant revisions to his second-personal account of morality, Darwall can easily adopt a thoroughgoing buck-passing, since a wrong action’s wrong-making features can be second-personal reasons not to do it. (shrink)

In a recent article in Ethics, Elijah Millgram presents a novel reconstruction of J. S. Mill's ‘proof’ of the principle of utility. Millgram's larger purpose is to critique instrumentalist approaches to practical reasoning. His reading of the proof makes Mill out to be an instrumentalist, and Millgram thinks that the ultimate failure of Mill's argument usefully illustrates an inconsistency inherent in instrumentalism. Yet Millgram's interpretation of the proof does not succeed. Mill is not an instrumentalist. Millgram may be right that (...) instrumentalism is incoherent, but he has chosen the wrong figure to illustrate the point. (shrink)

After critiquing some earlier attempts (including those of Marcus Singer and Frances Howard–Snyder) to ground objections to actual–consequence act utilitarianism (ACAU) on human cognitive limitations, I present two new objections with this same foundation. Both start with the observation that, because human cognitive abilities are not up to the task of reliably recognizing utility–maximizing actions, any agents who are recognizably human – including the best possible humans, morally speaking – are certain to perform many actions every day that ACAU says (...) are immoral, and to perform some actions over the course of their lives that it says are highly immoral. The first objection is that, if Mill's analysis of what it means to call an action wrong is accurate, then ACAU entails a conclusion that no one will accept, viz., that the morally–best humans possible ought to undergo constant punishment. The second objection is that ACAU entails that even the morally–best humans possible are bad moral agents in some respect. This conclusion, while unpalatable, is not so obviously unacceptable as the first. However, I do briefly consider some ways in which it might be possible to demonstrate that it is false and thereby complete a reductio of ACAU. (shrink)

Melina Constantine Bell (2021) argues that J. S. Mill's harm principle permits society to coercively interfere with the use of bigoted insults, since these insults are harmful on “a more expansive, modern, conception of harm.” According to Bell, these insults are harmful in virtue of their contributing to detrimental objective states like health problems. I argue that people with illiberal dispositions might have intense and sustained negative subjective reactions to behavior that the harm principle ought to protect, reactions intense enough (...) to affect their health or other objective interests. Bell's way of thinking about harm therefore has illiberal implications. Yet I agree with her that bigoted insults should be regarded as harmful. I therefore propose an alternative way of understanding harm according to which subjective pain is a harm when it is intentionally caused. (shrink)

I consider whether Mill intends for us to see the arguments that constitute his defense of the “Liberty of Thought and Discussion” in chapter 2 ofOn Libertyas a part of his larger case for the “harm” or “liberty” principle (LP). Several commentators depict this chapter as a digression that interrupts the flow between his introduction of this principle in the first chapter and his exposition and defense of it in the final three. I will argue instead for a reading ofOn (...) Libertyon which chapter 2 is well integrated with the rest of the essay and is in fact where Mill starts constructing his case for LP. (shrink)

In partial fulfilment of the requirements for the degree of Master of Education, Department of Educational Administration.

As a result of these restrictions, an implementation of L [subscript lambda] does not need to implement full higher-order unification. Instead, an extension to first-order unification that respects bound variable names and scopes is all that is required. Such unification problems are shown to be decidable and to possess most general unifiers when unifiers exist. A unification algorithm and logic programming interpreter are described and proved correct. Several examples of using L[subscript lambda] as a meta-programming language are presented.

In this article, I argue that the reading of Mill that D.G. Brown presents in ‘Mill’s Moral Theory: Ongoing Revisionism’ is inconsistent with several key passages in Mill’s writings. I also show that a rule-utilitarian interpretation that is very close to the one developed by David Lyons is able to account for these passages without difficulty.

This chapter offers an overview of some of the most significant aspects of J. S. Mill’s work in moral, social, and political philosophy and presents a balanced picture of the debates between interpreters over how this work should be understood without remaining strictly neutral. On the reading developed herein, Mill’s moral theory comprises a hedonistic theory of value and a rule-utilitarian theory of obligation. While not a ‘virtue ethicist’ per se, he attaches paramount importance to the development of our distinctly (...) human faculties and the formation of desirable habits. These moral views underlie his social and political philosophy, including his famous ‘liberty’ or ‘harm’ principle, defence of women’s liberation, advocacy of an employee-ownership economy, and call for a system of government that balances democratic and elitist tendencies. Mill’s social and political philosophy is ‘utopian’ inasmuch as it aims at making it possible for virtually everyone to enjoy a genuinely happy life. (shrink)

"The unification of simply typed [lambda]-terms modulo the rules of [beta]- and [eta]-conversions is often called 'higher-order' unification because of the possible presence of variables of functional type. This kind of unification is undecidable in general and if unifiers exist, most general unifiers may not exist. In this paper, we show that such unification problems can be coded as a query of the logic programming language L[subscript lambda] in a natural and clear fashion. In a sense, the translation only involves (...) explicitly axiomatizing in L[subscript lambda] the notions of equality and substitution of the simply typed [lambda]-calculus: the rest of the unification process can be viewed as simply an interpreter of L[subscript lambda] searching for proofs using those axioms.". (shrink)

In The Second-Person Standpoint, Stephen Darwall offers an interpretation of P. F. Strawson’s “Freedom and Resentment” according to which the essay advances the thesis that good consequences are the “wrong kind of reason” to justify “practices of punishment and moral responsibility.” Darwall names this thesis “Strawson’s Point.” I argue for a different reading of Strawson, one according to which he holds this thesis only in a qualified way and, more generally, is not the unequivocal critic of consequentialism that Darwall makes (...) him out to be. In fact, I contend, Strawson’s account of the reactive attitudes can potentially be a useful resource for consequentialists. (shrink)

In Ideal Code, Real World, Brad Hooker proposes an account of the relation between his rule-consequentialism and virtue according to which the virtues (1) have intrinsic value and (2) are identical with the dispositions that are of the ideal code. While it is not clear whether Hooker actually intends to endorse this account or only intends to moot it for discussion, I argue that for him to adopt it would be a mistake. Not only would this mean that his moral (...) theory was no longer properly a consequentialist view at all, but it would commit him to inconsistent views about how normative theories are justified. (shrink)

Climate change has become the most pressing moral and political problem of our time. Ethical theories help us think clearly and more fully about important moral and political issues. And yet, to date, there have been no books that have brought together a broad range of ethical theories to apply them systematically to the problems of climate change. This volume fills that deep need. Two preliminary chapters--an up-to-date synopsis of climate science and an overview of the ethical issues raised by (...) climate change--set the stage. After this, ten leading ethicists in ten separate chapters each present a major ethical theory and discuss the implications of that view for how we decide to respond to a rapidly warming planet. Each chapter first provides a brief exposition of the view before working out what that theory "has to say" about climate change and our response to the problems it poses. Key features: - Up-to-date synopsis of climate science - Clear overviews of a wide range of ethical theories and perspectives by leading experts - Insightful discussions of the implications of these theories and perspectives for our response to climate change - A unique opportunity to assess the relative strengths and weaknesses of various ethical viewpoints. (shrink)

We present a setting in which the search for a proof of B or a refutation of B can be carried out simultaneously: in contrast, the usual approach in automated deduction views proving B or proving ¬B as two, possibly unrelated, activities. Our approach to proof and refutation is described as a two-player game in which each player follows the same rules. A winning strategy translates to a proof of the formula and a counter-winning strategy translates to a refutation of (...) the formula. The game is described for multiplicative and additive linear logic . A game theoretic treatment of the multiplicative connectives is intricate and our approach to it involves two important ingredients. First, labeled graph structures are used to represent positions in a game and, second, the game playing must deal with the failure of a given player and with an appropriate resumption of play. This latter ingredient accounts for the fact that neither player might win. (shrink)