69 found
Order:
Disambiguations
Dale E. Miller [36]Dale Miller [22]Dale T. Miller [9]Dale A. Miller [1]
Dale Eugene Miller [1]
See also
Dale E. Miller
Old Dominion University
  1.  13
    Review of Jonathan Haidt: The Righteous Mind: Why Good People Are Divided by Politics and Religion[REVIEW]Dale E. Miller - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   199 citations  
  2.  59
    Norm Theory: Comparing Reality to its Alternatives.Daniel Kahneman & Dale T. Miller - 1986 - Psychological Review 93 (2):136-153.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   272 citations  
  3.  21
    Uniform Proofs as a Foundation for Logic Programming.Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov - 1991 - Annals of Pure and Applied Logic 51 (1-2):125-157.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  4.  18
    Combining Social Concepts: The Role of Causal Reasoning.Ziva Kunda, Dale T. Miller & Theresa Claire - 1990 - Cognitive Science 14 (4):551-577.
  5.  64
    Actual–Consequence Act Utilitarianism and the Best Possible Humans.Dale E. Miller - 2003 - Ratio 16 (1):49–62.
  6.  20
    The Price of Equality: Suboptimal Resource Allocations Across Social Categories.Stephen M. Garcia, Max H. Bazerman, Shirli Kopelman, Avishalom Tor & Dale T. Miller - 2010 - Business Ethics Quarterly 20 (1):75-88.
    This paper explores the influence of social categories on the perceived trade-off between a relatively bad but equal distribution of resources between two parties and a profit maximizing yet unequal one. Studies 1 and 2 showed that people prefer to maximize profitswhen interacting within their social category, but chose not to maximize individual and joint profits when interacting across social categories. Study 3 demonstrated that outside observers, who were not members of the focal social categories, also were less likely to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic.Chuck Liang & Dale Miller - 2013 - Annals of Pure and Applied Logic 164 (2):86-111.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  8. Introduction.Ben Eggleston & Dale E. Miller - 2011 - In Ben Eggleston, Dale E. Miller & David Weinstein (eds.), John Stuart Mill and the Art of Life. pp. 3-18.
     
    Export citation  
     
    Bookmark   4 citations  
  9.  28
    Introduction.Ben Eggleston & Dale E. Miller - 2014 - In Ben Eggleston & Dale E. Miller (eds.), The Cambridge Companion to Utilitarianism. Cambridge University Press. pp. 1-15.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Morality, Rules, and Consequences: A Critical Reader.Brad Hooker, Elinor Mason, Dale E. Miller, D. W. Haslett, Shelly Kagan, Sanford S. Levy, David Lyons, Phillip Montague, Tim Mulgan, Philip Pettit, Madison Powers, Jonathan Riley, William H. Shaw, Michael Smith & Alan Thomas (eds.) - 2000 - Rowman & Littlefield Publishers.
    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 (...)
     
    Export citation  
     
    Bookmark   5 citations  
  11. Compunction, Buck-Passing, and Moral Reasons: Reply to Darwall.Dale Miller - manuscript
    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. (...)
     
    Export citation  
     
    Bookmark   1 citation  
  12.  94
    A Focused Approach to Combining Logics.Chuck Liang & Dale Miller - 2011 - Annals of Pure and Applied Logic 162 (9):679-697.
    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. (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Counterfactual Thought, Regret, and Superstition: How to Avoid Kicking Yourself.Dale T. Miller & Brian R. Taylor - 1995 - What Might Have Been: The Social Psychology of Counterfactual Thinking.
     
    Export citation  
     
    Bookmark   5 citations  
  14.  26
    Advances in Linear Logic, Edited by Jean-Yves Girard, Yves Lafont, and Laurent Regnier, London Mathematical Society Lecture Note Series, No. 222, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, Vii + 389 Pp. [REVIEW]Dale Miller - 1997 - Journal of Symbolic Logic 62 (2):678-680.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  23
    The Price of Equality: Suboptimal Resource Allocations Across Social Categories.Stephen M. Garcia, Max H. Bazerman, Shirli Kopelman, Avishalom Tor & Dale T. Miller - 2010 - Business Ethics Quarterly 20 (1):75-88.
    This paper explores the influence of social categories on the perceived trade-off between a relatively bad but equal distribution of resources between two parties and a profit maximizing yet unequal one. Studies 1 and 2 showed that people prefer to maximize profitswhen interacting within their social category, but chose not to maximize individual and joint profits when interacting across social categories. Study 3 demonstrated that outside observers, who were not members of the focal social categories, also were less likely to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16. A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification.Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
     
    Export citation  
     
    Bookmark   6 citations  
  17.  12
    John Stuart Mill.Dale Miller - 2010 - Polity.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  28
    Mill's `Socialism'.Dale E. Miller - 2003 - Politics, Philosophy and Economics 2 (2):213-238.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  46
    A Compact Representation of Proofs.Dale A. Miller - 1987 - Studia Logica 46 (4):347 - 370.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  20.  19
    Robert S. Boyer and J Strother Moore. A Computational Logic. ACM Monograph Series. Academic Press, New York Etc. 1979, Xiv + 397 Pp. - Robert S. Boyer and J Strother Moore. A Computational Logic Handbook. Perspectives in Computing, Vol. 23. Academic Press, Boston Etc. 1988, Xvi + 408 Pp. [REVIEW]Dale Miller - 1990 - Journal of Symbolic Logic 55 (3):1302-1304.
  21.  42
    Overview of Linear Logic Programming.Dale Miller - 2004 - In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. pp. 316--119.
  22.  16
    A Letter From the Editor.Dale E. Miller - 2019 - Utilitas 31 (1):1-2.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Hooker on Rule-Consequentialism and Virtue.Dale E. Miller - 2013 - Utilitas 25 (3):421-432.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  24. The Association of Religiosity and Political Conservatism: The Role of Political Engagement.Ariel Malka, Yphtach Lelkes, Sanjay Srivastava, Adam B. Cohen & Dale T. Miller - 2012 - Political Psychology 33 (2):275-299.
     
    Export citation  
     
    Bookmark   2 citations  
  25.  7
    "Freedom and Resentment" and Consequentialism.Dale E. Miller - 2014 - Journal of Ethics and Social Philosophy 8 (2):1-23.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  50
    Proof and Refutation in MALL as a Game.Olivier Delande, Dale Miller & Alexis Saurin - 2010 - Annals of Pure and Applied Logic 161 (5):654-672.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  9
    Linear Logic.Roberto Di Cosmo & Dale Miller - unknown - Stanford Encyclopedia of Philosophy.
    , from Stanford Encyclopaedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  31
    A Letter From the Editor.Dale E. Miller - 2017 - Utilitas 29 (1):1-2.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  24
    John Stuart Mill and the Art of Life.Ben Eggleston, Dale E. Miller & David Weinstein (eds.) - 2010 - Oxford University Press.
    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, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  4
    Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - forthcoming - Philosophy and Technology:1-30.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Public Spirit and Liberal Democracy: John Stuart Mill's Civic Liberalism.Dale Eugene Miller - 1999 - Dissertation, University of Pittsburgh
    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, (...)
     
    Export citation  
     
    Bookmark   2 citations  
  32.  8
    Compunction, Second-Personal Morality, and Moral Reasons.Dale E. Miller - 2018 - Ethical Theory and Moral Practice 21 (3):719-733.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  20
    Mill's Misleading Moral Mathematics.Dale E. Miller - 2008 - Southwest Philosophy Review 24 (1):153-161.
  34.  58
    Utilitarianism and the Headache That Just Won't Go Away.Dale E. Miller - 2006 - Southwest Philosophy Review 22 (2):147-149.
  35.  41
    Mill, Rule Utilitarianism, and the Incoherence Objection.Dale E. Miller - 2011 - In Ben Eggleston, Dale E. Miller & D. Weinstein (eds.), John Stuart Mill and the Art of Life. Oxford University Press. pp. 94.
  36.  69
    Brown on Mill's Moral Theory: A Critical Response.Dale E. Miller - 2010 - Politics, Philosophy and Economics 9 (1):47-66.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  37. Ouro Preto (Minas Gerais), Brazil July 29–August 1, 2003.France Xii, Marcelo Coniglio, Gilles Dowek, Jouko Väänanen, Renata Wassermann, Eric Allender, Jean-Baptiste Joinet & Dale Miller - 2004 - Bulletin of Symbolic Logic 10 (2).
  38.  38
    Jonathan Haidt, The Righteous Mind: Why Good People Are Divided by Politics and Religion , Pp. Xvii + 419. [REVIEW]Dale E. Miller - 2014 - Utilitas 26 (1):124-127.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  69
    On Millgram on Mill.Dale E. Miller - 2004 - Utilitas 16 (1):96-108.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  40.  14
    Social Norm Perception in Groups with Outliers.Jennifer E. Dannals & Dale T. Miller - 2017 - Journal of Experimental Psychology: General 146 (9):1342-1359.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  31
    India House Utilitarianism.Dale E. Miller - 2007 - Southwest Philosophy Review 23 (1):39-47.
  42.  43
    R. M. Hare, Sorting Out Ethics, Oxford, Clarendon Proess, 1997, Pp. Vii + 191. [REVIEW]Dale E. Miller - 2000 - Utilitas 12 (2):241.
  43.  47
    Georgios Varouxakis, Mill on Nationality (London: Routledge, 2002), Pp. IX + 169.Dale E. Miller - 2004 - Utilitas 16 (2):231-233.
  44.  43
    Ronald J. Terchek, Republican Paradoxes and Liberal Anxieties: Retrieving Neglected Fragments of Political Theory, Lanham, MD, Rowman and Littlefield, 1997, Pp. Xii+ 275. [REVIEW]Dale E. Miller - 1998 - Utilitas 10 (2):257-.
  45.  21
    Review of Jonathan Haidt: The Righteous Mind: Why Good People Are Divided by Politics and Religion_; Jonathan Haidt: _The Righteous Mind: Why Good People Are Divided by Politics and Religion[REVIEW]Dale E. Miller - 2014 - Utilitas 26 (1):124-127.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  33
    One Meat-Eater’s Modus Ponens..Dale Miller - 2004 - Southwest Philosophy Review 20 (2):175-177.
  47.  15
    Mill’s “Nature”.Dale E. Miller - 2016 - Environmental Ethics 38 (1):127-128.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  34
    Axiological Actualism and the Converse Intuition.Dale E. Miller - 2003 - Australasian Journal of Philosophy 81 (1):123 – 125.
    In 'Axiological Actualism' Josh Parsons argues that 'axiological actualism', which is 'the doctrine that ethical theory should refrain from assigning levels of welfare, or preference orderings, or anything of the sort to merely possible people', lends plausibility to 'the converse intuition'. This is the proposition that 'the welfare a person would have, were they actual, can give us a reason not to bring that person into existence'. I show that Parsons's argument delivers less than he promises. It could be convincing (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  29
    Reparations for Emancipation: Mill's Vindication of the Rights of Slave Owners.Dale E. Miller - 2005 - Southern Journal of Philosophy 43 (2):245-265.
  50.  7
    One Meat-Eater’s Modus Ponens...: A Response to Norcross.Dale Miller - 2004 - Southwest Philosophy Review 20 (2):175-177.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 69