Dale E. Miller (miller-dae)

Contributions à Philosophie.ch

Bibliography

Benzmüller, Christoph and Miller, Dale E. 2014. “Automation of Higher Order Logic.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 215–254. Amsterdam: Elsevier Science Publishers B.V.
Di Cosmo, Roberto and Miller, Dale E. 2006. “Linear Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2006/entries/logic-linear/.
Di Cosmo, Roberto and Miller, Dale E. 2010. “Linear Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2010/entries/logic-linear/.
Di Cosmo, Roberto and Miller, Dale E. 2014. “Linear Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2014/entries/logic-linear/.
Di Cosmo, Roberto and Miller, Dale E. 2016. “Linear Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2016/entries/logic-linear/.
Di Cosmo, Roberto and Miller, Dale E. 2019. “Linear Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2019/entries/logic-linear/.
Di Cosmo, Roberto and Miller, Dale E. 2023. “Linear Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2023/entries/logic-linear/.
Eggleston, Ben and Miller, Dale E., eds. 2014a. The Cambridge Companion to Utilitarianism. Cambridge Companions to Philosophy. Cambridge: Cambridge University Press.
Eggleston, Ben and Miller, Dale E. 2014b. “Introduction.” in The Cambridge Companion to Utilitarianism, edited by Ben Eggleston and Dale E. Miller, pp. 1–15. Cambridge Companions to Philosophy. Cambridge: Cambridge University Press.
Eggleston, Ben, Miller, Dale E. and Weinstein, David, eds. 2010. John Stuart Mill and the Art of Life. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780195381245.001.0001.
Macleod, Christopher and Miller, Dale E., eds. 2016. A Companion to Mill. Blackwell Companions to Philosophy. Chichester: Wiley-Blackwell, doi:10.1002/9781118736739.
Marin, Sonia, Miller, Dale E. and Volpe, Marco. 2016. “A Focused Framework for Emulating Modal Proof Systems.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 469–488. London: King’s College Publications.
Miller, Dale E. 1989. “A Logical Analysis of Modules in Logic Programming.” Journal of Logic Programming 6(1–2): 79–108.
Miller, Dale E. 1997. “Linear Logic as Logic Programming: an Abstract.” in LACL’96: First International Conference on Logical Aspects of Computational Linguistics, edited by Christian Retoré, pp. 63–67. Berlin: Springer.
Miller, Dale E. 2002. “Harriet Taylor Mill.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2002/entries/harriet-mill/.
Miller, Dale E. 2003. “Axiological Actualism and the Converse Intuition. Response to Parsons (2002).” Australasian Journal of Philosophy 81(1): 123–125.
Miller, Dale E. 2005. “Mill’s Theory of Sanctions.” in The Blackwell Guide to Mill’s Utilitarianism, edited by Henry R. West, pp. 159–173. Blackwell Guides to Great Works. Oxford: Blackwell Publishers, doi:10.1002/9780470776483.
Miller, Dale E. 2009. “Harriet Taylor Mill.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2009/entries/harriet-mill/.
Miller, Dale E. 2010. J.S. Mill: Moral, Social and Political Thought. Cambridge: Malden Polity Press.
Miller, Dale E. 2012. “Mill’s Division of Morality.” in Mill on Justice, edited by Leonard Kahn, pp. 70–89. Philosophers in Depth. Basingstoke, Hampshire: Palgrave Macmillan.
Miller, Dale E. 2013a. Justice for Earthlings. Essays in Political Philosophy. Cambridge: Cambridge University Press.
Miller, Dale E. 2013b. “Utilitarianism and Consequentialism.” in The Routledge Companion to Social and Political Philosophy, edited by Gerald F. Gaus and Fred B. D’Agostino, pp. 329–341. Routledge Philosophy Companions. London: Routledge.
Miller, Dale E. 2013c. “Harriet Taylor Mill.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2013/entries/harriet-mill/.
Miller, Dale E. 2014a. “Reactive Attitudes and the Hare-Williams Debate: Towards a New Consequentialist Moral Psychology.” The Philosophical Quarterly 64(254): 39–59.
Miller, Dale E. 2014b. “Rule Utilitarianism.” in The Cambridge Companion to Utilitarianism, edited by Ben Eggleston and Dale E. Miller, pp. 146–165. Cambridge Companions to Philosophy. Cambridge: Cambridge University Press.
Miller, Dale E. 2015. “Harriet Taylor Mill.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2015/entries/harriet-mill/.
Miller, Dale E. 2016. “Mill on the Family.” in A Companion to Mill, edited by Christopher Macleod and Dale E. Miller, pp. 472–487. Blackwell Companions to Philosophy. Chichester: Wiley-Blackwell, doi:10.1002/9781118736739.
Miller, Dale E. 2017. “Mill’s Act-Utilitarian Interpreters on Mill (1863) Chapter V Paragraph 14.” Canadian Journal of Philosophy 47(5): 674–693.
Miller, Dale E. 2018. “Harriet Taylor Mill.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2018/entries/harriet-mill/.
Miller, Dale E. 2022. “Harriet Taylor Mill.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2022/entries/harriet-mill/.
Miller, Dale E., Nadathur, Gopalan, Pfenning, Frank and Ščedrov, Andrej. 1991. “Uniform Proofs as a Foundation for Logic Programming.” Annals of Pure and Applied Logic 51: 125–157.
Nadathur, Gopalan and Miller, Dale E. 1998. “Higher-Order Logic Programming.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 499–590. Oxford: Oxford University Press.

Further References

Mill, John Stuart. 1863. Utilitarianism. Great Books in Philosophy. Amherst, New York: Prometheus Books.
Parsons, Josh. 2002. “Axiological Actualism.” Australasian Journal of Philosophy 80(2): 137–147.