Results for 'deontic logic'

1000+ found
Order:
  1. 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   51 citations  
  2. Deontic Logic and Natural Language.Fabrizio Cariani - forthcoming - In Dov Gabbay, Ron van der Meyden, John Horty, Xavier Parent & Leandert van der Torre (eds.), The Handbook of Deontic Logic (Vol. II). College Publications.
    There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  3. Deontic Logics Based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - forthcoming - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Springer.
    Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Basic Action Deontic Logic.Alessandro Giordani & Ilaria Canavotto - 2016 - In O. Roy, T. Allard & W. Malte (eds.), Deontic Logic and Normative Systems. College Publications. pp. 80-92.
    The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the de finition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Norm Performatives and Deontic Logic.Rosja Mastop - 2011 - European Journal of Analytic Philosophy 7 (2):83-105.
    Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic (...). That is, we first define norm systems and a semantics of norm performatives as transformations of the norm system. Then a static modal logic for norm propositions is defined on that basis. In the course of this exposition we stress the performative nature of (i) free choice permission, (ii) the sealing legal principle and (iii) the social nature of permission. That is, (i) granting a disjunctive permission means granting permission for both disjuncts; (ii) non-prohibition does not entail permission, but the authority can declare that whatever he does not forbid is thereby permitted; and (iii) granting permission to one person means that all others are committed to not prevent the invocation of that permission. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. An Essay in Deontic Logic and the General Theory of Action.G. H. von Wright (ed.) - 1968 - Amsterdam: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  8. New Studies in Deontic Logic.Risto Hilpinen (ed.) - 1981 - Wiley-Blackwell.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  9.  50
    Agency and Deontic Logic by John Horty. [REVIEW]P. McNamara - 2004 - Mind 113 (447):179-185.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Deontic Logic as a Study of Conditions of Rationality in Norm-Related Activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications. pp. 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic (...) with the language of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Introducing Exclusion Logic as a Deontic Logic.Richard Evans - 2010 - DEON 2010 10 (1):179-195.
    This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13. What Would a Deontic Logic of Internal Reasons Look Like?Rufus Duits - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (4):351-373.
    The so-called ‘central problem’ of internalism has been formulated like this: one cannot concurrently maintain the following three philosophical positions without inconsistency: internalism about practical reason, moral rationalism, and moral absolutism. Since internalism about practical reason is the most controversial of these, the suggestion is that it is the one that is best abandoned. In this paper, I point towards a response to this problem by sketching a deontic logic of internal reasons that deflates moral normativity to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14.  87
    Introduction To: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science.Paul McNamara & Henry Prakken - 1999 - In Paul McNamara & Prakken Henry (eds.), Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science. Amsterdam: pp. 1-14.
    (See also the separate entry for the volume itself.) This introduction has three parts. The first providing an overview of some main lines of research in deontic logic: the emergence of SDL, Chisholm's paradox and the development of dyadic deontic logics, various other puzzles/challenges and areas of development, along with philosophical applications. The second part focus on some actual and potential fruitful interactions between deontic logic, computer science and artificial intelligence. These include applications of (...) logic to AI knowledge representation in legal systems, to modelling computer systems where it is expected that sub-ideal states will emerge and require countermeasures, to norm-governed human interactions with computer systems, and to the representation of some features of multi-agent systems where different agent-like computer systems interact with one another. The third and final part briefly groups and previews the papers in the anthology. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  15. 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. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Meta-Ethics and Analysis of Language From Wittgenstein to Deontic Logic Systems.Maurilio Lovatti - 2007 - Analysis and Metaphysics 6:120-135.
    In this paper, partly historical and partly theoretical, after having shortly outlined the development of the meta-ethics in the 1900?s starting from the Tractatus of Wittgenstein, I argue it is possible to sustain that emotivism and intuitionism are unsatisfactory ethical conceptions, while on the contrary, reason (intended in a logical-deductive sense) plays an effective role both in ethical discussions and in choices. There are some characteristics of the ethical language (prescriptivity, universalizability and predominance) that cannot be eluded (pain the non (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. A Norm-Giver Meets Deontic Action Logic.Robert Trypuz & Piotr Kulicki - 2011 - Logic and Logical Philosophy 20 (1-2):2011.
    In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. "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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Doing the Right Things–Trivalence in Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - Trivalent Logics and Their Applications.
    Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  77
    A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Berlin, Heidelberg: pp. 340-354.
    In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Consequence and Contrast in Deontic Semantics.Fabrizio Cariani - 2016 - Journal of Philosophy 113 (8):396-416.
    Contrastivists view ought-sentences as expressing comparisons among alternatives. Deontic actualists believe that the value of each alternative in such a comparison is determined by what would actually happen if that alternative were to be the case. One of the arguments that motivates actualism is a challenge to the principle of agglomeration over conjunction—the principle according to which if you ought to run and you ought to jump, then you ought to run and jump. I argue that there is no (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  22. A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Fusco Melissa & Kocurek Alexander - forthcoming - Review of Symbolic Logic.
    In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Deontic ‘Cocktail’ According to E. Mally’s Receipt.Lisanyuk Elena - 2013 - Logical Investigations 19:5-27.
    In 1926, Ernst Mally, an Austrian logician, has introduced a system of deontic logic in which he has proposed three fundamental distinctions which proved to be important in the context of the further development of the logic of norms. It is argued that in his philosophical considerations Mally has introduced a number of important distinctions concerning the very concept of norm, but by getting them confused in introducing the subsequent formalisms he failed to formally preserve them. In (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  78
    The Varieties of Ought-Implies-Can and Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2021 - In Fenrong Liu, Alessandra Marra, Paul Portner & Frederik Van De Putte (eds.), Deontic Logic and Normative Systems: 15th International Conference.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.
    In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  26.  10
    Semantics for Deontic Modals.J. L. Dowell - forthcoming - In Ernest Lepore & Una Stojnic (eds.), Oxford Handbook of Contemporary Philosophy of Language. Oxford University Press.
    Over the last fifteen years, linguists and philosophers of language have reexamined the canonical, Kratzerian semantics for modal expressions, with special attention paid to their epistemic and deontic uses. This article is an overview of the literature on deontic modal expressions. Section 1 provides an overview of the canonical semantics, noting some of its main advantages. Section 2 introduces a set of desiderata that have achieved the status of fixed points in the debates about whether the canonical semantics (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. 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   27 citations  
  28. Modal Logic and Philosophy.Sten Lindström & Krister Segerberg - 2007 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Amsterdam, the Netherlands: Elsevier. pp. 1149-1214.
    Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  29. Two Adaptive Logics of Norm-Propositions.Mathieu Beirlaen & Christian Straßer - 2013 - Journal of Applied Logic 11 (2):147-168.
    We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Acts of Requesting in Dynamic Logic of Knowledge and Obligation.Tomoyuki Yamada - 2011 - European Journal of Analytic Philosophy 7 (2):59-82.
    Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  42
    Against a Deontic Argument for God's Existence.Patrick Grim - 1982 - Analysis 42:171-174.
    Download  
     
    Export citation  
     
    Bookmark  
  32. The Lost Pillar of Deontic Modality (Part of the Dissertation Portfolio Modality, Names and Descriptions).Zsófia Zvolenszky - 2007 - Dissertation, New York University
    This paper concerns a thorny problem posed by conditional requirements: we expect some modal conditionals of the form ‘if p, then it must be that p’ to be false, yet they all come out true given two basic assumptions needed to account for ordinary conditional requirement like ‘If the light turns red, then cars must stop’. The first assumption is a semantic expectation linking conditional requirements with absolute ones, the second is the possible-worlds-based definition of modal sentences. Keeping the former (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Logical Inference and Its Dynamics.Carlotta Pavese - June 2016 - In Tamminga Allard, Willer Malte & Roy Olivier (eds.), Deontic Logic and Normative Systems. College Publications. pp. 203-219.
    This essay advances and develops a dynamic conception of inference rules and uses it to reexamine a long-standing problem about logical inference raised by Lewis Carroll’s regress.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Logical Root of Linguistic Commitment.Berislav Žarnić - 2013 - In Anna Brożek Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2).
    Two parallelism hypotheses have been adopted and the third one on their relationship has been put forward. The illocutionary logic hypothesis states that the logic of linguistic commitments runs parallel to the logic of intentionality. The normative pragmatics hypothesis states that the logic of utterances runs parallel to the logic of linguistic commitments. According to the third stance or the logic projection hypothesis, the logic of utterances is the origin of all other logics (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35.  69
    Bases for an Action Logic to Model Negative Modes of Actions.Ilaria Canavotto - 2018 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017. College Publications.
    Currently available systems of action deontic logic are not designed to model procedures to assess the conduct of an agent which take into account the intentions of the agent and the circumstances in which she is acting. Yet, procedures of this kind are essential to determine what counts as culpable not doing. In light of this, we design an action logic, AL, in which it is possible to distinguish actions that are objectively possible for an agent, viz. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Dynamic Models in Imperative Logic (Imperatives in Action: Changing Minds and Norms).Berislav Žarnić - 2011 - In Anna Brozek, Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2). Wydawnictwo Naukowe Semper.
    The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply entrenched and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  37. The Logical Form of Status-Function Declarations.Richard Evans - 2009 - Etica E Politica 11 (1):203-259.
    We are able to participate in countless different sorts of social practice. This indefinite set of capacities must be explainable in terms of a finite stock of capacities. This paper compares and contrasts two different explanations. A standard decomposition of the capacity to participate in social practices goes something like this: the interpreter arrives on the scene with a stock of generic practice-types. He looks at the current scene to fill-in the current tokens of these types. He looks at the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  79
    A Logic for Reasoning About Group Norms.Daniele Porello - 2018 - In Jan M. Broersen, Gabriella Pigozzi, Cleo Condoravdi & Shyam Nair (eds.), Deontic Logic and Normative Systems - 14th International Conference, {DEON} 2018, Utrecht, The Netherlands, July 3-6, 2018. Londra, Regno Unito: pp. 301--315.
    We present a number of modal logics to reason about group norms. As a preliminary step, we discuss the ontological status of the group to which the norms are applied, by adapting the classification made by Christian List of collective attitudes into aggregated, common, and corporate attitudes. Accordingly, we shall introduce modality to capture aggregated, common, and corporate group norms. We investigate then the principles for reasoning about those types of modalities. Finally, we discuss the relationship between group norms and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  43
    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  
  40.  65
    Modeling Artificial Agents’ Actions in Context – a Deontic Cognitive Event Ontology.Miroslav Vacura - 2020 - Applied Ontology 15 (4):493-527.
    Although there have been efforts to integrate Semantic Web technologies and artificial agents related AI research approaches, they remain relatively isolated from each other. Herein, we introduce a new ontology framework designed to support the knowledge representation of artificial agents’ actions within the context of the actions of other autonomous agents and inspired by standard cognitive architectures. The framework consists of four parts: 1) an event ontology for information pertaining to actions and events; 2) an epistemic ontology containing facts about (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Ethics, Logical Consistency and Practical Deliberation.Nancy Matchett - 2011 - Theoretical and Applied Ethics 1 (3).
    Moral conflicts are real, and while a deontic logic containing a modified "agglomeration rule" may be able to accommodate this fact, even the most sophisticated logic will still overlook much of what everyday normative reasoning involves.
    Download  
     
    Export citation  
     
    Bookmark  
  42. Reasoning with Imperatives Using Classical Logic.Joseph S. Fulda - 1995 - Sorites 3:7-11.
    As the journal is effectively defunct, I am uploading a full-text copy, but only of my abstract and article, and some journal front matter. -/- Note that the pagination in the PDF version differs from the official pagination because A4 and 8.5" x 11" differ. -/- Traditionally, imperatives have been handled with deontic logics, not the logic of propositions which bear truth values. Yet, an imperative is issued by the speaker to cause (stay) actions which change the state (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  34
    Logic of Faith and Dead. The Idea and Outline of the Theoretical Conception.Wybraniec-Skardowska Urszula - 2019 - Philosophia Christine 55 (2):125-149.
    This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed (LF&D) and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of 'faith’ and 'action', and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Logical Semantics and Norms: A Kantian Perspective.Sérgio Mascarenhas - 2017 - Phenomenology and Mind (13):150-157.
    It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates cannot be assigned to normative statements. Hence, deonticity lacks logical semantics. This semantic monism has been challenged over the last decades from a series of perspectives that open the way for legal logics with imperative semantics. In the present paper I will go back to Kant (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Logic for Lunatics.Gregory Wheeler - manuscript
    A sound and complete axiomatization of two tabloid blogs is presented, Leiter Logic (KB) and Deontic Leiter Logic (KDB), the latter of which can be extended to Shame Game Logic for multiple agents. The (B) schema describes the mechanism behind this class of tabloids, and illustrates the perils of interpreting a provability operator as an epistemic modal. To mark this difference, and to avoid sullying Brouwer's good name, the (B) schema for epistemic modals should be called (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46.  97
    A Decidable Multi-Agent Logic for Reasoning About Actions, Instruments, and Norms.Kees van Berkel, Tim Lyon & Francesco Olivieri - 2020 - In Mehdi Dastani, Huimin Dong & Leon van der Torre (eds.), Logic and Argumentation. pp. 219 - 241.
    We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Modelowanie działań i norm w logice deontycznej.Piotr Kulicki & Robert Trypuz - 2013 - In Jerzy Juchnowski & Robert Wiszniowski (eds.), Współczesna teoria i praktyka badań społecznych i humanistycznych. Tom 1. Adam Marszałek.
    In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We present (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  71
    Imperative Change and Obligation to Do.Berislav Žarnić - 2003 - In Krister Segerberg & Rysiek Sliwinski (eds.), Logic, Law, Morality: Thirteen Essays in Practical Philosophy in Honour of Lennart Åqvist. Uppsala: Department of Philosophy, Uppsala University. pp. 79-95.
    The ambition of the paper is to provide a solution to the problem posed by Von Wright (1999): how is it possible that the two actions, one of producing P and the other of preventing P can have different deontic status, the former being obligatory and the latter being forbidden. The solution for the problem is sought for by an investigation into connections between imperative and deontic logic. First, it is asked whether a solution could be found (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  49. Consequences of Reasoning with Conflicting Obligations.Shyam Nair - 2014 - Mind 123 (491):753-790.
    Since at least the 1960s, deontic logicians and ethicists have worried about whether there can be normative systems that allow conflicting obligations. Surprisingly, however, little direct attention has been paid to questions about how we may reason with conflicting obligations. In this paper, I present a problem for making sense of reasoning with conflicting obligations and argue that no deontic logic can solve this problem. I then develop an account of reasoning based on the popular idea in (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  50. Gerhard Schurz, The Is-Ought Problem: An Investigation in Philosophical Logic.C. Pigden - 2001 - Australasian Journal of Philosophy 79 (4):578-579.
    Book Information The Is-Ought Problem: An Investigation in Philosophical Logic. By Gerhard Schurz. Kluwer. Dordrecht. 1997. Pp. x + 332. £92.25.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000