65 found
Order:
Disambiguations
Dale E. Miller [32]Dale Miller [21]Dale T. Miller [10]Dale A. Miller [1]
Dale Eugene Miller [1]
See also
Dale E. Miller
Old Dominion University
  1.  39
    Norm Theory: Comparing Reality to its Alternatives.Daniel Kahneman & Dale T. Miller - 1986 - Psychological Review 93 (2):136-153.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   207 citations  
  2.  13
    A Letter From the Editor.Dale E. Miller - 2017 - Utilitas 29 (1):1-2.
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  9
    Combining Social Concepts: The Role of Causal Reasoning.Ziva Kunda, Dale T. Miller & Theresa Claire - 1990 - Cognitive Science 14 (4):551-577.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  4.  43
    Actual-Consequence Act Utilitarianism and the Best Possible Humans.Dale E. Miller - 2003 - Ratio 16 (1):49–62.
  5. 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 (4 more)  
     
    Export citation  
     
    My bibliography  
  6.  11
    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 (3 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  7.  9
    The Price of Equality.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 (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  8. 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  
     
    My bibliography   2 citations  
  9.  7
    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  
     
    My bibliography   1 citation  
  10.  56
    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 (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11. 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  
     
    My bibliography   3 citations  
  12.  34
    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 (6 more)  
     
    Export citation  
     
    My bibliography   7 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  
     
    My bibliography   3 citations  
  14.  5
    Linear Logic.Roberto Di Cosmo & Dale Miller - unknown - Stanford Encyclopedia of Philosophy.
    , from Stanford Encyclopaedia of Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  15
    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  
     
    My bibliography   1 citation  
  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  
     
    My bibliography   3 citations  
  17.  22
    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 (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  15
    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  
     
    My bibliography   1 citation  
  19.  1
    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 (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  19
    Overview of Linear Logic Programming.Dale Miller - 2004 - In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. pp. 316--119.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  28
    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. (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  22.  57
    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 (7 more)  
     
    Export citation  
     
    My bibliography  
  23.  22
    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  
     
    My bibliography   1 citation  
  24. 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).
  25.  52
    Internal Sanctions in Mill's Moral Psychology.Dale E. Miller - 1998 - Utilitas 10 (1):68.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  26.  62
    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 (8 more)  
     
    Export citation  
     
    My bibliography  
  27.  26
    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.
  28.  25
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  30
    Utilitarianism and the Headache That Just Won't Go Away.Dale E. Miller - 2006 - Southwest Philosophy Review 22 (2):147-149.
  30.  41
    Georgios Varouxakis, Mill on Nationality (London: Routledge, 2002), Pp. IX + 169.Dale E. Miller - 2004 - Utilitas 16 (2):231-233.
  31.  31
    R. M. Hare, Sorting Out Ethics, Oxford, Clarendon Proess, 1997, Pp. Vii + 191. [REVIEW]Dale E. Miller - 2000 - Utilitas 12 (2):241.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32.  29
    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-.
  33.  11
    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  
     
    My bibliography  
  34.  23
    Reparations for Emancipation: Mill's Vindication of the Rights of Slave Owners.Dale E. Miller - 2005 - Southern Journal of Philosophy 43 (2):245-265.
  35.  27
    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  
     
    My bibliography  
  36.  9
    Mill’s Conception of Pleasure: Meeting West in the Middle.Dale E. Miller - 2015 - Southwest Philosophy Review 31 (1):157-166.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  37.  19
    Mill's Misleading Moral Mathematics.Dale E. Miller - 2008 - Southwest Philosophy Review 24 (1):153-161.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  38.  12
    India House Utilitarianism.Dale E. Miller - 2007 - Southwest Philosophy Review 23 (1):39-47.
  39.  6
    Mill’s “Nature”.Dale E. Miller - 2016 - Environmental Ethics 38 (1):127-128.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  40.  18
    One Meat-Eater's Modus Ponens.Dale Miller - 2004 - Southwest Philosophy Review 20 (2):175-177.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  41.  12
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  42. John Skorupski, Ed., The Cambridge Companion to Mill Reviewed By.Dale E. Miller - 1999 - Philosophy in Review 19 (6):447-451.
     
    Export citation  
     
    My bibliography  
  43.  4
    Index of Volume 79, 2001.Stephen Buckle, Miracles Marvels, Mundane Order, Temporal Solipsism, Robert Kirk, Nonreductive Physicalism, Strict Implication, Donald Mertz Individuation, Instance Ontology & Dale E. Miller - 2001 - Australasian Journal of Philosophy 79 (4):594-596.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  4
    Review: Jean-Yves Girard, Yves Lafont, Laurent Regnier, Advances in Linear Logic. [REVIEW]C. Dimitracopoulos & Dale Miller - 1997 - Journal of Symbolic Logic 62 (2):678-680.
  45.  4
    Review: Robert S. Boyer, J. Strother Moore, A Computational Logic; Robert S. Boyer, J. Strother Moore, A Computational Logic Handbook. [REVIEW]Dale Miller - 1990 - Journal of Symbolic Logic 55 (3):1302-1304.
  46.  3
    Advances in Linear Logic, Edited by Girard Jean-Yves, Lafont Yves, and Regnier Laurent, 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.
  47.  6
    Harriet Taylor Mill.Dale E. Miller - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography  
  48.  3
    Terminating Employees for Their Political Speech.Dale E. Miller - 2004 - Business and Society Review 109 (2):225-243.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  49.  3
    Boyer Robert S. And Moore J Strother. A Computational Logic. ACM Monograph Series. Academic Press, New York Etc. 1979, Xiv+ 397 Pp. Boyer Robert S. And Moore J Strother. 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.
  50.  1
    One Meat-Eater’s Modus Ponens...: A Response to Norcross.Dale Miller - 2004 - Southwest Philosophy Review 20 (2):175-177.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 65