12 found
Sort by:
  1. Gert-Jan C. Lokhorst, Maarten Doormans Kwantitatieve Argumenten Voor Vooruitgang in de Kunst.
    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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Gert-Jan C. Lokhorst (2013). An Intuitionistic Reformulation of Mally's Deontic Logic. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Gert-Jan C. Lokhorst (2008). Anderson's Relevant Deontic and Eubouliatic Systems. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Gert-Jan C. Lokhorst (2006). Andersonian Deontic Logic, Propositional Quantification, and Mally. Notre Dame Journal of Formal Logic 47 (3):385-395.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Gert-Jan C. Lokhorst (1999). Ernst Mally's Deontik (1926). 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Gert-Jan C. Lokhorst (1999). Geach's Deontic Quantifier. Philosophia 27 (1-2):247-251.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  7. Gert-Jan C. Lokhorst (1999). The Digital Phoenix: How Computers Are Changing Philosophy. Terrell Ward Bynum and James H. Moor, Editor. [REVIEW] Ethics and Information Technology 1 (1):67-71.
    Direct download (12 more)  
     
    My bibliography  
     
    Export citation  
  8. Gert-Jan C. Lokhorst (1996). Counting the Minds of Split-Brain Patients. Logique Et Analyse 39 (155-6):315-324.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. Gert-Jan C. Lokhorst (1996). Reasoning About Actions and Obligations in First-Order Logic. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Gert-Jan C. Lokhorst (1991). Wittgenstein on the Structure of the Soul: A New Interpretation of Tractatus 5.5421. Philosophical Investigations 14 (4):324-341.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Gert-Jan C. Lokhorst (1987). The Modal Status of Antinomies. Notre Dame Journal of Formal Logic 29 (1):102-105.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Gert-Jan C. Lokhorst (1985). Hemisphere Differences Before 1800. Behavioral and Brain Sciences 8 (4):642-642.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation