16 found
Order:
  1. Computational Meta-Ethics: Towards the Meta-Ethical Robot.Gert-Jan C. Lokhorst - 2011 - Minds and Machines 21 (2):261-274.
    It has been argued that ethically correct robots should be able to reason about right and wrong. In order to do so, they must have a set of do’s and don’ts at their disposal. However, such a list may be inconsistent, incomplete or otherwise unsatisfactory, depending on the reasoning principles that one employs. For this reason, it might be desirable if robots were to some extent able to reason about their own reasoning—in other words, if they had some meta-ethical capacities. (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Andersonian Deontic Logic, Propositional Quantification, and Mally.Gert-Jan C. Lokhorst - 2006 - Notre Dame Journal of Formal Logic 47 (3):385-395.
    We present a new axiomatization of the deontic fragment of Anderson's relevant deontic logic, give an Andersonian reduction of a relevant version of Mally's deontic logic previously discussed in this journal, study the effect of adding propositional quantification to Anderson's system, and discuss the meaning of Anderson's propositional constant in a wide range of Andersonian deontic systems.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  39
    An Intuitionistic Reformulation of Mally’s Deontic Logic.Gert-Jan C. Lokhorst - 2013 - Journal of Philosophical Logic 42 (4):635-641.
    In 1926, Ernst Mally proposed a number of deontic postulates. He added them as axioms to classical propositional logic. The resulting system was unsatisfactory because it had the consequence that A is the case if and only if it is obligatory that A. We present an intuitionistic reformulation of Mally’s deontic logic. We show that this system does not provide the just-mentioned objectionable theorem while most of the theorems that Mally considered acceptable are still derivable. The resulting system is unacceptable (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  33
    Reasoning About Actions and Obligations in First-Order Logic.Gert-Jan C. Lokhorst - 1996 - Studia Logica 57 (1):221 - 237.
    We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation--R. M. Lee's deontic expert shell DX--is briefly described.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Ernst Mally's Deontik (1926).Gert-Jan C. Lokhorst - 1999 - Notre Dame Journal of Formal Logic 40 (2):273-282.
    In 1926, Mally proposed the first formal deontic system. As Mally and others soon realized, this system had some rather strange consequences. We show that the strangeness of Mally's system is not so much due to Mally's informal deontic principles as to the fact that he formalized those principles in terms of the propositional calculus. If they are formalized in terms of relevant logic rather than classical logic, one obtains a system which is related to Anderson's relevant deontic logic and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Maarten Doormans Kwantitatieve Argumenten Voor Vooruitgang in de Kunst.Gert-Jan C. Lokhorst - unknown
    Basisbegrippen. Een formeel model voor de ontwikkeling van de kunst is een structuur T, <, K, , d, p, q, s, B , waarbij T een verzameling van “tijdstippen” is, < (“is eerder dan”) een relatie op T is, K een verzameling van “mogelijke kunstwerken” is, (“levert commentaar op”) een relatie op K is, d, p, q en s functies van K naar de verzameling van alle deelverzamelingen van K zijn, en B een functie van T naar de verzameling van (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  5
    Mally’s Deontic Logic.Gert-Jan C. Lokhorst & Lou Goble - 2004 - Grazer Philosophische Studien 67 (1):37-57.
    In 1926, Mally presented the first formal system of deontic logic. His system had several consequences which Mally regarded as surprising but defensible. It also, however, has the consequence that A is obligatory if and only if A is the case, which is unacceptable from the point of view of any reasonable deontic logic. We describe Mally's system and discuss how it might reasonably be repaired.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Geach's Deontic Quantifier.Gert-Jan C. Lokhorst - 1999 - Philosophia 27 (1-2):247-251.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Counting the Minds of Split-Brain Patients.Gert-Jan C. Lokhorst - 1996 - Logique Et Analyse 39 (155-6):315-324.
  10.  33
    Erratum To: Computational Meta-Ethics: Towards the Meta-Ethical Robot. [REVIEW]Gert-Jan C. Lokhorst - 2011 - Minds and Machines 21 (3):475-475.
  11.  22
    Hemisphere Differences Before 1800.Gert-Jan C. Lokhorst - 1985 - Behavioral and Brain Sciences 8 (4):642-642.
  12.  20
    Mally’s Deontic Logic: Reducibility and Semantics.Gert-Jan C. Lokhorst - 2015 - Journal of Philosophical Logic 44 (3):309-319.
    We discuss three aspects of the intuitionistic reformulation of Mally’s deontic logic that was recently proposed ). First, this reformulation is more similar to Standard Deontic Logic than appears at first sight: like Standard Deontic Logic, it is Kanger reducible and Anderson reducible to alethic logic and it has a semantical interpretation that can be read in deontic terms. Second, this reformulation has an extension that provides 100% of the theorems stated by Mally himself. Third, it is interesting to view (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  26
    Wittgenstein on the Structure of the Soul: A New Interpretation of Tractatus 5.5421.Gert-Jan C. Lokhorst - 1991 - Philosophical Investigations 14 (4):324-341.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  87
    The Digital Phoenix: How Computers Are Changing Philosophy. Terrell Ward Bynum and James H. Moor, Editor. [REVIEW]Gert-Jan C. Lokhorst - 1999 - Ethics and Information Technology 1 (1):67-71.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  14
    Anderson's Relevant Deontic and Eubouliatic Systems.Gert-Jan C. Lokhorst - 2008 - Notre Dame Journal of Formal Logic 49 (1):65-73.
    We present axiomatizations of the deontic fragment of Anderson's relevant deontic logic (the logic of obligation and related concepts) and the eubouliatic fragment of Anderson's eubouliatic logic (the logic of prudence, safety, risk, and related concepts).
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16.  10
    The Modal Status of Antinomies.Gert-Jan C. Lokhorst - 1987 - Notre Dame Journal of Formal Logic 29 (1):102-105.