16 found
Order:
Disambiguations
David A. Plaisted [8]Dennis Plaisted [7]D. Plaisted [1]
  1.  11
    Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
  2. Leibniz's Argument for Primitive Concepts.Dennis Plaisted - 2003 - Journal of the History of Philosophy 41 (3):329-341.
    On its face, Leibniz's argument for primitive concepts seems to imply that unless we can analyze non-primitive concepts into their primitive constituents, we cannot grasp them. This implication, together with Leibniz's belief that we do conceive of some non-primitive concepts, entails that we can analyze some non-primitive concepts into their primitive components. However, Leibniz claims elsewhere that we are incapable of doing this. To resolve this inconsistency, I argue that, for Leibniz, grasping a concept is not an all-or-nothing affair; instead (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  15
    Leibniz on purely extrinsic denominations.Dennis Plaisted - 2002 - Rochester, NY: University of Rochester Press.
    The central task of this dissertation is to develop a new interpretation of Leibniz's famous claim that there are no purely extrinsic denominations . Though Leibniz regarded NPE as one of his most important doctrines, he nowhere offers an explicit statement as to what he meant by it. One interpretation of NPE, which enjoys a modest consensus among interpreters, is that all extrinsic denominations reduce to intrinsic denominations. According to the reductionist view, things only have intrinsic denominations as properties; extrinsic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  55
    An Undignified Side of Death with Dignity Legislation.Dennis Plaisted - 2013 - Kennedy Institute of Ethics Journal 23 (3):201-228.
    In recent years, Oregon and Washington have enacted so-called Death with Dignity (DWD) statutes that permit patients whose doctors certify that they have less than six months to live to commit suicide with the aid of a physician.1 The laws allow a doctor, upon the patient’s request, to prescribe a lethal dosage of drugs, which the patient then self-administers.2 Oregon’s law went into effect in 1997, and over five hundred terminal patients have ended their lives pursuant to it since then (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  57
    Knowledge representation and classical logic.Vladimir Lifschitz, L. Morgenstern & D. Plaisted - manuscript
    in Handbook of Knowledge representation, Elsevier, 2008.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  55
    The Ethics of Appropriating Evil.Dennis Plaisted - 2007 - Teaching Ethics 7 (2):1-23.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  5
    A simplified problem reduction format.David A. Plaisted - 1982 - Artificial Intelligence 18 (2):227-261.
  8.  4
    Problem solving by searching for models with a theorem prover.Shie-Jue Lee & David A. Plaisted - 1994 - Artificial Intelligence 69 (1-2):205-233.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  3
    A semantic backward chaining proof system.Xumin Nie & David A. Plaisted - 1992 - Artificial Intelligence 55 (1):109-128.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  4
    Refinements to depth-first iterative-deepening search in automatic theorem proving.Xumin Nie & David A. Plaisted - 1989 - Artificial Intelligence 41 (2):223-235.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  7
    A relevance restriction strategy for automated deduction.David A. Plaisted & Adnan Yahya - 2003 - Artificial Intelligence 144 (1-2):59-93.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Complete problems in the first-order predicate calculus.David A. Plaisted - 1979 - Urbana, Ill.: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
     
    Export citation  
     
    Bookmark  
  13. Inference rules for unsatisfiability.David A. Plaisted - 1979 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
  14.  82
    On justifying one’s acceptance of divine command theory.Dennis Plaisted - 2017 - International Journal for Philosophy of Religion 81 (3):315-334.
    It has been alleged against divine command theory that we cannot justify our acceptance of it without giving it up. For if we provide moral reasons for our acceptance of God’s commands, then those reasons, and not God’s commands, must be our ultimate moral standard. Kai Nielsen has offered the most forceful version of this objection in his book, Ethics Without God. My principal aim is to show that Nielsen’s charge does not succeed. His argument crucially relies upon the assumption (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  89
    Professional Ethics and the Verdict.Dennis Plaisted - 2008 - Teaching Ethics 8 (2):43-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  44
    Reply to Cover.Dennis Plaisted - 2004 - The Leibniz Review 14:109-113.
    The deepest and most formidable presentation to date of the reductionist interpretation of Leibniz’s views on relations is surely to be found in Jan Cover’s outstanding book, Substance and Individuation in Leibniz. Not surprisingly, Cover’s review of my book sets forth a number of objections to the view I develop. Despite my resistance to his objections in what follows, I found his charges to be both challenging and instructive, and I am grateful for the overall friendly tone with which he (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark