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

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 AEsthetics'. 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...

Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a...

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