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)

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)

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)

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)

In the fourteenth paragraph of the fifth chapter of Utilitarianism, J. S. Mill writes that ‘We do not call anything wrong, unless we mean to imply that a person ought to be punished in some way or other for doing it; if not by law, by the opinion of his fellow-creatures; if not by opinion, by the reproaches of his own conscience.’ I criticize the attempts of three commentators who have recently presented act-utilitarian readings of Mill – Roger Crisp, David (...) Brink, and Piers Norris Turner – to accommodate this passage. (shrink)

What determines whether an action is right or wrong? Morality, Rules, and Consequences: A Critical Reader explores for students and researchers the relationship between consequentialist theory and moral rules. Most of the chapters focus on rule consequentialism or on the distinction between act and rule versions of consequentialism. Contributors, among them the leading philosophers in the discipline, suggest ways of assessing whether rule consequentialism could be a satisfactory moral theory. These essays, all of which are previously unpublished, provide students in (...) moral philosophy with essential material and ask key questions on just what the criteria for an adequate moral theory might be. (shrink)

The introduction (about 6,000 words) to _The Cambridge Companion to Utilitarianism_, in three sections: utilitarianism’s place in recent and contemporary moral philosophy (including the opinions of critics such as Rawls and Scanlon), a brief history of the view (again, including the opinions of critics, such as Marx and Nietzsche), and an overview of the chapters of the book.

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)

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)

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)

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)

BackgroundParent-mediated intervention has been studied in promoting skill acquisition or behavior change in the children with autism spectrum disorder. Most studies emphasize on the improvement of child’s core symptoms or maladaptive behaviors, making parental perceived competence and self-efficacy secondary. Yet, the evaluations of intervention implementation are under-reported, especially when translating such interventions into a new population or context. This research investigated the intervention implementation of a 12-week parent coaching intervention which was delivered through telehealth and tailored to Chinese population. The (...) intervention was based on the Parent-mediated Early Start Denver Model with culturally adapted lectures, manuals, and demonstration and commentary videos. This study aimed to evaluate the intervention implementation by assessing parents’ satisfaction, acceptability, appropriateness, and feasibility.MethodA randomized controlled trial was conducted with two telehealth conditions: self-directed and web+group therapy. Parents in the self-directed condition received intervention individually through the online learning platform. The web+group therapy condition navigated the same program with weekly 1.5-h group coaching sessions via videoconferencing. This mixed-methods study used a concurrent convergent design to evaluate the intervention implementation at post-intervention. The quantitative data was collected from the Program Evaluation Survey and the qualitative data was collected from five focus groups.ResultsParents in self-directed group reported significantly lower scores in total perceived competence than parents in web+group therapy condition, while there was no group difference on the total self-efficacy. Tailored feedback, demonstration and commentary videos, peer commenting, live coaching, and guided reflection were the top-five acceptable telehealth strategies that were strongly endorsed by parents. Family centered care, home-based intervention, strategies relative to daily activities, the remote learning platform, and the program-based community were elements that parents considered when evaluating the program’s appropriateness. Parent modeling, step-by-step instructions, and tailored feedback were key components in making intervention strategies feasible for parents to implement at home.ConclusionFindings indicate the application of telehealth was acceptable, appropriate, and feasible for Chinese parents. Group-based parent coaching intervention via videoconferencing could be a promising home-based service model to increase parental perceived competence. A large-scale RCT is needed to investigate the effectiveness of group-based PMI via telehealth. (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)

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)

We present a compact sequent calculus LKU for classical logic organized around the concept of polarization. Focused sequent calculi for classical, intuitionistic, and multiplicative–additive linear logics are derived as fragments of the host system by varying the sensitivity of specialized structural rules to polarity information. We identify a general set of criteria under which cut-elimination holds in such fragments. From cut-elimination we derive a unified proof of the completeness of focusing. Furthermore, each sublogic can interact with other fragments through cut. (...) We examine certain circumstances, for example, in which a classical lemma can be used in an intuitionistic proof while preserving intuitionistic provability. We also examine the possibility of defining classical–linear hybrid logics. (shrink)

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.

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)

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)

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 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)

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)

, from Stanford Encyclopaedia of Philosophy.

We combine intuitionistic logic and classical logic into a new, first-order logic called polarized intuitionistic logic. This logic is based on a distinction between two dual polarities which we call red and green to distinguish them from other forms of polarization. The meaning of these polarities is defined model-theoretically by a Kripke-style semantics for the logic. Two proof systems are also formulated. The first system extends Gentzenʼs intuitionistic sequent calculus LJ. In addition, this system also bears essential similarities to Girardʼs (...) LC proof system for classical logic. The second proof system is based on a semantic tableau and extends Dragalinʼs multiple-conclusion version of intuitionistic sequent calculus. We show that soundness and completeness hold for these notions of semantics and proofs, from which it follows that cut is admissible in the proof systems and that the propositional fragment of the logic is decidable. (shrink)

This Companion offers a state-of-the-art survey of the work of John Stuart Mill – one which covers the historical influences on Mill, his theoretical, moral and social philosophy, as well as his relation to contemporary movements. Its contributors include both senior scholars with established expertise in Mill’s thought and new emerging interpreters. Each essay acts as a ‘go-to’ resource for those seeking to understand an aspect of Mill’s thought or to familiarise themselves with the contours of a debate within the (...) scholarship. The Companion is a key reference on Mill’s theory of liberty and utilitarianism, but also provides a valuable resource on lesser-known aspects of his work, including his epistemology, metaphysics, and philosophy of language. The volume is divided into six sections. Part I covers Mill’s life, his immediate posthumous reputation, and his own telling of his life-story. Part II brings together an accessible and comprehensive summary of the various influences on Mill’s thought. Part III offers an account of the foundations of Mill’s philosophy and his thought on key philosophic topics. Parts IV and V tackle issues from Mill’s moral and social philosophy. Part VI concludes with a treatment of the broader aspects of Mill’s thought, tracing his relation to major movements in philosophy. (shrink)

This is an analysis of a large facial formation set within a glacial moraine along the southeast corner of Alberta, Canada, known as the Badlands Guardian. The formation is presented in one aerial and three satellite images acquired over the past 70 years by the Alberta Department of Lands & Forests and Google Earth. The images reveal a profiled portrait of a human head wearing a feathered headdress. The facial features include an eye, nose, mouth, chin, neck, and jawline. The (...) headdress consists of a headband containing a staggered set of feather-shaped extensions. When taken together these aesthetic features create the visual impression of a left-facing portrait of an indigenous tribesman wearing a feathered headdress. A claim of intelligent design is offered and a geologist and geoscientist examine natural mechanisms that could contribute to the formation of these aesthetic features. A comparison of the iconographic tribal motifs of both North and South America is presented and a request for an extensive ground exploration and additional satellite images of this formation is encouraged. (shrink)

Utilitarianism, the approach to ethics based on the maximization of overall well-being, continues to have great traction in moral philosophy and political thought. This Companion offers a systematic exploration of its history, themes, and applications. First, it traces the origins and development of utilitarianism via the work of Jeremy Bentham, John Stuart Mill, Henry Sidgwick, and others. The volume then explores issues in the formulation of utilitarianism, including act versus rule utilitarianism, actual versus expected consequences, and objective versus subjective theories (...) of well-being. Next, utilitarianism is positioned in relation to Kantianism and virtue ethics, and the possibility of conflict between utilitarianism and fairness is considered. Finally, the volume explores the modern relevance of utilitarianism by considering its practical implications for contemporary controversies such as military conflict and global warming. The volume will be an important resource for all those studying moral philosophy, political philosophy, political theory, and history of ideas. (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 my book J. S. Mill: Moral, Social and Political Thought I explained the absence of a standalone chapter on women's rights by explaining that for Mill no special explanation of why women should have the right to vote, work in the careers of their choice, etc., was needed; they should have these rights for the same reasons as men. The real lacuna, I admitted, was the absence of a chapter on Mill's views on marriage and the family. This chapter (...) remedies that deficiency. (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)

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)