Switch to: References

Citations of:

Deontic logic

Mind 60 (237):1-15 (1951)

Add citations

You must login to add citations.
  1. Dynamic Thoughts on Ifs and Oughts.Malte Willer - 2014 - Philosophers' Imprint 14:1-30.
    A dynamic semantics for iffy oughts offers an attractive alternative to the folklore that Chisholm's paradox enforces an unhappy choice between the intuitive inference rules of factual and deontic detachment. The first part of the story told here shows how a dynamic theory about ifs and oughts gives rise to a nonmonotonic perspective on deontic discourse and reasoning that elegantly removes the air of paradox from Chisholm's puzzle without sacrificing any of the two detachment principles. The second part of the (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • O Lugar das Emoções na Ética e na Metaética.Flavio Williges, Marcelo Fischborn & David Copp (eds.) - 2018 - Pelotas: NEPFil online/Editora da UFPel.
    Esta coletânea explora o papel desempenhado pelas emoções na teorização em ética e metaética. Inclui capítulos escritos por pesquisadores do Brasil e de outros países.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Deontic Logic.Paul McNamara - 2006 - In Dov Gabbay & John Woods (eds.), The Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century. Elsevier Press. pp. 197-288.
    Overview of fundamental work in deontic logic.
    Download  
     
    Export citation  
     
    Bookmark   77 citations  
  • Equivalence of defeasible normative systems.José Júlio Alferes, Ricardo Gonçalves & João Leite - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):25-48.
    Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between normative systems using a deontic extension of David Pearce’s Equilibrium Logic and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.
    The aim of the paper is to point out the modelling choices that lead to different systems of deontic action logic. A kind of a roadmap is presented. On the one hand it can help the reader to find the deontic logic appropriate for an intended application relying on the information considering the way in which a deontic logic represents actions and how it characterises deontic properties in relation to (the representation of) actions. On the other hand it is a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Identifying prohibition norms in agent societies.Bastin Tony Roy Savarimuthu, Stephen Cranefield, Maryam A. Purvis & Martin K. Purvis - 2013 - Artificial Intelligence and Law 21 (1):1 - 46.
    In normative multi-agent systems, the question of “how an agent identifies norms in an open agent society” has not received much attention. This paper aims at addressing this question. To this end, this paper proposes an architecture for norm identification for an agent. The architecture is based on observation of interactions between agents. This architecture enables an autonomous agent to identify prohibition norms in a society using the prohibition norm identification (PNI) algorithm. The PNI algorithm uses association rule mining, a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Options and the subjective ought.Brian Hedden - 2012 - Philosophical Studies 158 (2):343-360.
    Options and the subjective ought Content Type Journal Article Pages 1-18 DOI 10.1007/s11098-012-9880-0 Authors Brian Hedden, Department of Linguistics and Philosophy, Massachusetts Institute of Technology, Cambridge, MA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Philosophy of language for metaethics.Mark Schroeder - 2011 - In Gillian Russell & Delia Graff Fara (eds.), Routledge Companion to Philosophy of Language. New York, USA: Routledge.
    Metaethics is the study of metaphysics, epistemology, the philosophy of mind, and the philosophy of language, insofar as they relate to the subject matter of moral or, more broadly, normative discourse – the subject matter of what is good, bad, right or wrong, just, reasonable, rational, what we must or ought to do, or otherwise. But out of these four ‘core’ areas of philosophy, it is plausibly the philosophy of language that is most central to metaethics – and not simply (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Comments on Greg Restall & Gillian Russell's “barriers to implication”.Peter B. M. Vranas - unknown
    I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier the- ses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Con- struction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the paper, I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • von Wright’s Therapy to Jørgensen’s Syndrome.Juliano S. A. Maranhão - 2009 - Law and Philosophy 28 (2):163 - 201.
    In his last papers about deontic logic, von Wright sustained that there is no genuine logic of norms. We argue in this paper that this striking statement by the father of deontic logic should not be understood as a death sentence to the subject. Rather, it indicates a profound change in von Wright's understanding about the epistemic and ontological role of logic in the field of norms. Instead of a logical constructivism of deontic systems revealing a necessary structure of prescriptive (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Moral dilemmas, disjunctive obligations, and Kant's principle that 'ought' implies 'can'.Dale Jacquette - 1991 - Synthese 88 (1):43 - 55.
    In moral dilemmas, where circumstances prevent two or more equally justified prima facie ethical requirements from being fulfilled, it is often maintained that, since the agent cannot do both, conjoint obligation is overridden by Kant's principle that ought implies can, but that the agent nevertheless has a disjunctive obligation to perform one of the otherwise obligatory actions or the other. Against this commonly received view, it is demonstrated that although Kant's ought-can principle may avoid logical inconsistency, the principle is incompatible (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Universal moral grammar: Theory, evidence, and the future.John Mikhail - 2007 - Trends in Cognitive Sciences 11 (4):143 –152.
    Scientists from various disciplines have begun to focus attention on the psychology and biology of human morality. One research program that has recently gained attention is universal moral grammar (UMG). UMG seeks to describe the nature and origin of moral knowledge by using concepts and models similar to those used in Chomsky's program in linguistics. This approach is thought to provide a fruitful perspective from which to investigate moral competence from computational, ontogenetic, behavioral, physiological and phylogenetic perspectives. In this article, (...)
    Download  
     
    Export citation  
     
    Bookmark   223 citations  
  • Fundamental legal concepts: A formal and teleological characterisation. [REVIEW]Giovanni Sartor - 2006 - Artificial Intelligence and Law 14 (1-2):101-142.
    We shall introduce a set of fundamental legal concepts, providing a definition of each of them. This set will include, besides the usual deontic modalities (obligation, prohibition and permission), the following notions: obligative rights (rights related to other’s obligations), permissive rights, erga-omnes rights, normative conditionals, liability rights, different kinds of legal powers, potestative rights (rights to produce legal results), result-declarations (acts intended to produce legal determinations), and sources of the law.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Logic and the autonomy of ethics.Charles R. Pigden - 1989 - Australasian Journal of Philosophy 67 (2):127 – 151.
    My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Formalization in philosophy.Sven Ove Hansson - 2000 - Bulletin of Symbolic Logic 6 (2):162-175.
    The advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy. The enigmatic style that is common in philosophical logic must give way to explicit discussions of the problematic relationship between formal models and the philosophical concepts and issues that motivated their development.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • But what should I do?Sven Ove Hansson - 1999 - Philosophia 27 (3-4):433-440.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The is-ought gap and the substitution criterion.Melvin Chen - 2021 - South African Journal of Philosophy 40 (3):254-264.
    Ever since its formulation by Hume, the idea of an inferential barrier between non-ethical (“is”) propositions and ethical (“ought”) propositions (also known as Hume’s is-ought thesis) has received much philosophical attention. Prior’s Paradox appears to demonstrate that the ban on “is”-“ought” inferences is violated in every possible instance, from which it follows that Hume’s is-ought thesis must be false. In this article, I will formulate a logically rigorous version of Hume’s is-ought thesis, introduce Prior-style counterexamples, and suggest how they might (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again.Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano & Maya Olszewski - 2023 - Journal of Logic, Language and Information 32 (1):19-62.
    Centered around the analysis of the prescriptive portion of the Vedas, the Sanskrit philosophical school of Mīmāṃsā provides a treasure trove of normative investigations. We focus on the leading Mīmāṃsā authors Prabhākara, Kumārila and Maṇḍana, and discuss three modal logics that formalize their deontic theories. In the first part of this paper, we use logic to analyze, compare and clarify the various solutions to the _śyena_ controversy, a two-thousand-year-old problem arising from seemingly conflicting commands in the Vedas. In the second (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Ought and agency.Daniel Skibra - 2022 - Synthese 200 (5):1-40.
    A thorny question surrounding the meaning of ought concerns a felt distinction between deontic uses of ought that seem to evaluate a state of affairs versus those that seem to describe a requirement or obligation to perform an action, as in and, respectively. There ought not be childhood death and disease. You ought to keep that promise. Various accounts have been offered to explain the contrast between “agentive” and “non-agentive” ought sentences. One such account is the Agency-in-the-Prejacent theory, which traces (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Generalizing Deontic Action Logic.Alessandro Giordani & Matteo Pascucci - 2022 - Studia Logica 110 (4):989-1033.
    We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification and deontic classification. The expressive power of the framework is noteworthy, since it combines insights from agency logic and dynamic logic, allowing for a representation of many kinds of normative conflicts. We provide a semantic characterization for three axiomatic systems of increasing strength, showing how our approach can be modularly extended in order to get different levels of analysis (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Dilemas Deônticos: uma abordagem baseada em relações de preferência.Rafael Testa - 2008 - Dissertation, University of Campinas
    Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deontic logic - ou em outras lógicas relacionadas), levam a uma inconsistência. Nossa proposta baseia-se em relações de preferência que geram uma ferramenta de escolha dentre as duas soluções normativas conflitantes, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Who is Right, Who is Wrong? Interpreting 14 Points of Wilson – A Case Study of Deontic Modals and their Meanings.Marek Mikołajczyk & Aleksandra Matulewska - 2021 - Studies in Logic, Grammar and Rhetoric 66 (1):83-103.
    The document titled “14 points of Wilson” was announced by the President of the United States Woodrow Wilson in his speech addressed to the United States Congress on 8th January 1918. The speech is one of the most well known documents of the First World War as it touched upon several world issues. The text has been interpreted ever since in respect to the importance and real meaning of points formulated by Wilson. One of the points referred to Poland. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Deontic Fallacies and the Arguments against Conscientious Objections.Stephen Napier - 2021 - Christian Bioethics 27 (2):140-157.
    The respect for one’s conscience is rooted in a broader respect for the human person. The conscience represents a person’s ability to identify the values and goods that inform her moral identity. Ignoring or overriding a person’s conscience can lead to significant moral and emotional distress. Refusals to respect a person’s conscientious objection to cases of killing are a source of incisive distress, since judgments that it is impermissible to kill so-and-so are typically held very strongly and serve as central (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Consequences of Comparability.Cian Dorr, Jacob M. Nebel & Jake Zuehl - 2021 - Philosophical Perspectives 35 (1):70-98.
    We defend three controversial claims about preference, credence, and choice. First, all agents (not just rational ones) have complete preferences. Second, all agents (again, not just rational ones) have real-valued credences in every proposition in which they are confident to any degree. Third, there is almost always some unique thing we ought to do, want, or believe.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Deontic artifacts. Investigating the normativity of objects.Giuseppe Lorini, Stefano Moroni & Olimpia Giuliana Loddo - 2021 - Philosophical Explorations 24 (2):185-203.
    Since the middle of the last century, normative language has been much studied. In particular, the normative function performed by certain sentences and by certain speech acts has been investigated in depth. Still, the normative function performed by certain physical artifacts designed and built to regulate human behaviors has not yet been thoroughly investigated. We propose to call this specific type of artifacts with normative intent ‘deontic artifacts’. This article aims to investigate this normative phenomenon that is so widespread in (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Deontic Logic and Ethics.Shyam Nair - forthcoming - In Gabbay, John Horty, Xavier Parent, Ron van der Meyden & Leon van der Torre (eds.), Handbook of Deontic Logic and Normative System, Volume 2. College Publications.
    Though there have been productive interactions between moral philosophers and deontic logicians, there has also been a tradition of neglecting the insights that the fields can offer one another. The most sustained interactions between moral philosophers and deontic logicians have notbeen systematic but instead have been scattered across a number of distinct and often unrelated topics. This chapter primarily focuses on three topics. First, we discuss the “actualism/possibilism” debate which, very roughly, concerns the relevance of what one will do at (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Von Wright and Wittgenstein on Ethics and Logic: Deontic Logic against Ethical Mysticism.Djia Voltaire - 2020 - Filosofiska Notiser 7 (2).
    Von Wright’s philosophy is seldom seen as original when compared to that of his master, Ludwig Wittgenstein. Contrary to that orientation, this work seeks to establish the opposition of von Wright to Wittgenstein in relation to the question of whether ethics is an area where logic can legitimately extend. For Wittgenstein, logic deals with what is necessarily true. On the basis of this characterization of logic, Wittgenstein thinks that logic cannot legitimately help to capture ethics for the reason that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Permissibility Is the Only Feasible Deontic Primitive.Johan E. Gustafsson - 2020 - Philosophical Perspectives 34 (1):117-133.
    Moral obligation and permissibility are usually thought to be interdefinable. Following the pattern of the duality definitions of necessity and possibility, we have that something’s being permissible could be defined as its not being obligatory to not do it. And that something’s being obligatory could be defined as its not being permissible to not do it. In this paper, I argue that neither direction of this alleged interdefinability works. Roughly, the problem is that a claim that some act is obligatory (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Two puzzles about ability can.Malte Willer - 2020 - Linguistics and Philosophy 44 (3):551-586.
    The received wisdom on ability modals is that they differ from their epistemic and deontic cousins in what inferences they license and better receive a universal or conditional analysis instead of an existential one. The goal of this paper is to sharpen the empirical picture about the semantics of ability modals, and to propose an analysis that explains what makes the can of ability so special but that also preserves the crucial idea that all uses of can share a common (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
    Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Content and Logic of Imperatives.Nicolas Fillion & Matthew Lynn - 2021 - Axiomathes 31 (3):419-436.
    This paper articulates an account of imperatives that sensibly supports the idea of a logic of imperative inferences. We rebuke common objections to the very possibility of such a logic, from a perspective based on recent linguistic work on the morphosyntax of imperatives. Specifically, we develop the notion that the content of an imperative sentence includes both a force operator alongside an imperational content to which the force applies. We further argue that this account of the content of imperatives constitutes (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Varieties of Ought-implies-Can and Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer.
    STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Artificial Moral Agents: A Survey of the Current Status. [REVIEW]José-Antonio Cervantes, Sonia López, Luis-Felipe Rodríguez, Salvador Cervantes, Francisco Cervantes & Félix Ramos - 2020 - Science and Engineering Ethics 26 (2):501-532.
    One of the objectives in the field of artificial intelligence for some decades has been the development of artificial agents capable of coexisting in harmony with people and other systems. The computing research community has made efforts to design artificial agents capable of doing tasks the way people do, tasks requiring cognitive mechanisms such as planning, decision-making, and learning. The application domains of such software agents are evident nowadays. Humans are experiencing the inclusion of artificial agents in their environment as (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Husserl and Reinach, the idea of promise.Nathalie de la Cadena - 2017 - Revista Ética E Filosofia Política 2 (XX):85-100.
    In this paper, I discuss the possibility of reading the description of promise presented by Reinach in The Apriori Foundations of the Civil Law under the light of Husserl’s Ideas I. In order to present my argument, first, I briefly present the phenomenological method proposed by Husserl in Ideas I highlighting eidetic reduction. Second, I present the Reinachian description of social acts emphasizing the act of promising. Third, and finally, I try to demonstrate that the Reinachian description of the social (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions.Elisa Freschi, Andrew Ollett & Matteo Pascucci - 2019 - History and Philosophy of Logic 40 (4):323-354.
    The Mīmāṃsā school of Indian philosophy has for its main purpose the interpretation of injunctions that are found in a set of sacred texts, the Vedas. In their works, Mīmāṃsā authors provide some of the most detailed and systematic examinations available anywhere of statements with a deontic force; however, their considerations have generally not been registered outside of Indological scholarship. In the present article we analyze the Mīmāṃsā theory of Vedic injunctions from a logical and philosophical point of view. The (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A hyperintensional logical framework for deontic reasons.Federico L. G. Faroldi & Tudor Protopopescu - 2019 - Logic Journal of the IGPL 27 (4):411-433.
    In this paper we argue that normative reasons are hyperintensional and put forward a formal account of this thesis. That reasons are hyperintensional means that a reason for a proposition does not imply that it is also a reason for a logically equivalent proposition. In the first part we consider three arguments for the hyperintensionality of reasons: an argument from the nature of reasons, an argument from substitutivity and an argument from explanatory power. In the second part we describe a (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • What We Owe to Ourselves: Essays on Rights and Supererogation.Daniel Muñoz - 2019 - Dissertation, MIT
    Some sacrifices—like giving a kidney or heroically dashing into a burning building—are supererogatory: they are good deeds beyond the call of duty. But if such deeds are really so good, philosophers ask, why shouldn’t morality just require them? The standard answer is that morality recognizes a special role for the pursuit of self-interest, so that everyone may treat themselves as if they were uniquely important. This idea, however, cannot be reconciled with the compelling picture of morality as impartial—the view that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Nature of Desire.Federico Lauria & Julien Deonna (eds.) - 2017 - New York, USA: Oxford University Press.
    Desires matter. What are desires? Many believe that desire is a motivational state: desiring is being disposed to act. This conception aligns with the functionalist approach to desire and the standard account of desire's role in explaining action. According to a second influential approach, however, desire is first and foremost an evaluation: desiring is representing something as good. After all, we seem to desire things under the guise of the good. Which understanding of desire is more accurate? Is the guise (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Supercover Semantics for Deontic Action Logic.Karl Nygren - 2019 - Journal of Logic, Language and Information 28 (3):427-458.
    The semantics for a deontic action logic based on Boolean algebra is extended with an interpretation of action expressions in terms of sets of alternative actions, intended as a way to model choice. This results in a non-classical interpretation of action expressions, while sentences not in the scope of deontic operators are kept classical. A deontic structure based on Simons’ supercover semantics is used to interpret permission and obligation. It is argued that these constructions provide ways to handle various problems (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Symmetric Contingency Logic with Unlimitedly Many Modalities.Jie Fan - 2019 - Journal of Philosophical Logic 48 (5):851-866.
    The completeness of the axiomatization of contingency logic over symmetric frames has been thought of as a nontrivial job, the unimodal case of which cannot be generalized to the finitely multimodal case, which in turn cannot be generalized to the infinitely multimodal case. This paper deals with the completeness of symmetric contingency logic with unlimitedly many modalities, no matter whether the set of modalities is finite or infinite.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Enriching Deontic Logic.Ilaria Canavotto & Alessandro Giordani - 2018 - Journal of Logic and Computation 1:1-23.
    It is well known that systems of action deontic logic emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law are subject to paradoxes. In general, paradoxes are acknowledged as such if we have intuitions telling us that things should be different. The aim of this paper is to introduce a paradox-free deontic action system by (i) identifying the basic intuitions leading to the emergence of the paradoxes (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Embedded ethics: some technical and ethical challenges.Vincent Bonnemains, Claire Saurel & Catherine Tessier - 2018 - Ethics and Information Technology 20 (1):41-58.
    This paper pertains to research works aiming at linking ethics and automated reasoning in autonomous machines. It focuses on a formal approach that is intended to be the basis of an artificial agent’s reasoning that could be considered by a human observer as an ethical reasoning. The approach includes some formal tools to describe a situation and models of ethical principles that are designed to automatically compute a judgement on possible decisions that can be made in a given situation and (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Anderson’s Restriction of Deontic Modalities to Contingent Propositions.Matteo Pascucci - 2017 - Theoria 83 (4):440-470.
    The deontic status of tautologies and contradictions is one of the major puzzles for authors of early works on deontic logic. It is well-known that von Wright addresses this problem by adopting a Principle of Deontic Contingency, which says that tautologies are not necessarily obligatory and contradictions are not necessarily forbidden. A more radical solution is proposed by Anderson within a reductionist approach to deontic logic and consists in restricting the range of application of deontic modalities to contingent propositions. Anderson’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Almost Ideal: Computational Epistemology and the Limits of Rationality for Finite Reasoners.Danilo Fraga Dantas - 2016 - Dissertation, University of California, Davis
    The notion of an ideal reasoner has several uses in epistemology. Often, ideal reasoners are used as a parameter of (maximum) rationality for finite reasoners (e.g. humans). However, the notion of an ideal reasoner is normally construed in such a high degree of idealization (e.g. infinite/unbounded memory) that this use is unadvised. In this dissertation, I investigate the conditions under which an ideal reasoner may be used as a parameter of rationality for finite reasoners. In addition, I present and justify (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Findlay’s Hegel: Idealism as Modal Actualism.Paul Redding - 2017 - Critical Horizons 18 (4):359-377.
    Here, I suggest a hitherto relatively unexplored way beyond the opposed Aristotelian realist and Kantian idealist approaches that divide recent interpretations of the categories or “thought determinations” of Hegel’s Logic, by locating his idealism within the terrain of recent debates in modal metaphysics. In particular, I return to the outlook of the first philosopher to attempt to bring Hegel into the analytic conversation, John Niemeyer Findlay, and consider Hegel’s idealism as instantiating the metaphysical position that, following the work of Findlay’s (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Norm conflict identification in contracts.João Paulo Aires, Daniele Pinheiro, Vera Strube de Lima & Felipe Meneguzzi - 2017 - Artificial Intelligence and Law 25 (4):397-428.
    The exchange of goods and services between individuals is often formalised by a contract in which the parties establish norms to define what is expected of each one. Norms use deontic statements of obligation, prohibition, and permission, which may be in conflict. The task of manually detecting norm conflicts can be time–consuming and error-prone since contracts can be vast and complex. To automate such tasks, we develop an approach to identify potential conflicts between norms. We show the effectiveness of our (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • "The Logic of the Liver". A Deontic View of the Intentionality of Desire.Federico Lauria - 2014 - Dissertation, University of Geneva
    Desires matter. How are we to understand the intentionality of desire? According to the two classical views, desire is either a positive evaluation or a disposition to act: to desire a state is to positively evaluate it or to be disposed to act to realize it. This Ph.D. Dissertation examines these conceptions of desire and proposes a deontic alternative inspired by Meinong. On this view, desiring is representing a state of affairs as what ought to be or, if one prefers, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Lewisian taxonomy for deontic logic.Vladimír Svoboda - 2018 - Synthese 195 (7):3241-3266.
    Philosophers like G.H. von Wright and D. Makinson have pointed to serious challenges regarding the foundations of deontic logic. In this paper, I suggest that to deal successfully with these challenges a reconsideration of the research program of the discipline is useful. Some problems that have troubled this particular field of logical study for decades may disappear or appear more tractable if we view them from the perspective of a language game introduced by D. Lewis involving three characters: the Master, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Tarek R. Besold, Artur D’Avila Garcez, Keith Stenning, Leendert van der Torre & Michiel van Lambalgen - 2017 - Minds and Machines 27 (1):37-77.
    This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation