22 found
Sort by:
Disambiguations:
Gert-Jan C. Lokhorst [13]Gert-Jan Lokhorst [9]
  1. Gert-Jan Lokhorst, INTERview.
    prevailing view, holding that the contents of our thoughts are mainly the result of external factors. The corollary is that we will never really be able to read a person’s mind.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. Gert-Jan Lokhorst, De Mens AlS Computer.
    De mens is in de afgelopen drie eeuwen vaak vergeleken met allerlei soorten machines. In de achttiende eeuw was de klokmetafoor tamelijk populair; psychologische termen als ‘drijfveer’, ‘van slag raken’ en ‘opgewonden zijn’ herinneren hier nog aan [Vroon and Draaisma, 1985]. In de negentiende eeuw overheerste de stoommachine-metafoor. De psychologie van Freud wordt wel als een uitgewerkte versie van deze metafoor beschouwd [Russelmann, 1983]. Ook uitdrukkingen als ‘uitlaatkleppen’, ‘stoom afblazen’ en ‘iemand opstoken’ zijn eraan te danken. De stoommachine-metafoor wordt nog (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Gert-Jan C. Lokhorst (forthcoming). Mally's Deontic Logic: Reducibility and Semantics. Journal of Philosophical Logic:1-11.
    We discuss three aspects of the intuitionistic reformulation of Mally’s deontic logic that was recently proposed (Journal of Philosophical Logic 42, 635–641, (2013)). 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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. 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  
  6. Jeroen van den Hoven, Gert-Jan Lokhorst & Ibo van de Poel (2012). Engineering and the Problem of Moral Overload. Science and Engineering Ethics 18 (1):143-155.
    When thinking about ethics, technology is often only mentioned as the source of our problems, not as a potential solution to our moral dilemmas. When thinking about technology, ethics is often only mentioned as a constraint on developments, not as a source and spring of innovation. In this paper, we argue that ethics can be the source of technological development rather than just a constraint and technological progress can create moral progress rather than just moral problems. We show this by (...)
    Direct download (12 more)  
     
    My bibliography  
     
    Export citation  
  7. Gert-Jan Lokhorst (2011). Computational Meta-Ethics. 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 (9 more)  
     
    My bibliography  
     
    Export citation  
  8. Gert-Jan Lokhorst (2011). Erratum To: Computational Meta-Ethics. [REVIEW] Minds and Machines 21 (3):475-475.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Nicole A. Vincent, Pim Haselager & Gert-Jan Lokhorst (2011). “The Neuroscience of Responsibility”—Workshop Report. Neuroethics 4 (2):175-178.
    This is a report on the 3-day workshop “The Neuroscience of Responsibility” that was held in the Philosophy Department at Delft University of Technology in The Netherlands during February 11th–13th, 2010. The workshop had 25 participants from The Netherlands, Germany, Italy, UK, USA, Canada and Australia, with expertise in philosophy, neuroscience, psychology, psychiatry and law. Its aim was to identify current trends in neurolaw research related specifically to the topic of responsibility, and to foster international collaborative research on this topic. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  10. Gert-Jan Lokhorst, Mally's Deontic Logic. Stanford Encyclopedia of Philosophy.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. 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  
  12. 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  
  13. Jeroen van Den Hoven & Gert-Jan Lokhorst (2002). Deontic Logic and Computer-Supported Computer Ethics. In James Moor & Terrell Ward Bynum (eds.), Cyberphilosophy: The Intersection of Philosophy and Computing. Blackwell Pub.. 376-386.
  14. 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  
  15. Gert-Jan C. Lokhorst (1999). Geach's Deontic Quantifier. Philosophia 27 (1-2):247-251.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  16. 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  
  17. 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  
  18. 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  
  19. 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  
  20. Gert-Jan Lokhorst (1988). Ontology, Semantics and Philosophy of Mind in Wittgenstein's "Tractatus": A Formal Reconstruction. Erkenntnis 29 (1):35 - 75.
    The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a "language of thought" analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. 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  
  22. 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