Switch to: References

Citations of:

Agency and Deontic Logic

Mind 113 (449):179-185 (2004)

Add citations

You must login to add citations.
  1. Agency and Reasons in Epistemology.Luis R. G. Oliveira - 2016 - Dissertation, University of Massachusetts Amherst
    Ever since John Locke, philosophers have discussed the possibility of a normative epistemology: are there epistemic obligations binding the cognitive economy of belief and disbelief? Locke's influential answer was evidentialist: we have an epistemic obligation to believe in accordance with our evidence. In this dissertation, I place the contemporary literature on agency and reasons at the service of some such normative epistemology. I discuss the semantics of obligations, the connection between obligations and reasons to believe, the implausibility of Lockean evidentialism, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Reasoning with Moral Conflicts.John F. Horty - 2003 - Noûs 37 (4):557–605.
    Let us say that a normative conflict is a situation in which an agent ought to perform an action A, and also ought to perform an action B, but in which it is impossible for the agent to perform both A and B. Not all normative conflicts are moral conflicts, of course. It may be that the agent ought to perform the action A for reasons of personal generosity, but ought to perform the action B for reasons of prudence: perhaps (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  • Defining Determinism.Thomas Müller & Tomasz Placek - 2018 - British Journal for the Philosophy of Science 69 (1):215-252.
    The article puts forward a branching-style framework for the analysis of determinism and indeterminism of scientific theories, starting from the core idea that an indeterministic system is one whose present allows for more than one alternative possible future. We describe how a definition of determinism stated in terms of branching models supplements and improves current treatments of determinism of theories of physics. In these treatments, we identify three main approaches: one based on the study of equations, one based on mappings (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Sobre uma Teoria Pragmática da Significação e do Conhecimento.Risto Hilpinen - 2004 - Cognitio 5 (2):28-45.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Trust and Agency in the Context of Communication.Robert Demolombe - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):140-151.
    The communication process is analysed on the basis of the notions of trust and agency. The aim of the paper is to clarify the role played by causality on the one hand and the role played by logical consequences of assumptions about trust in information sources on the other hand. The first part is informal and the second part refers to the logical framework of modal logic though it requires a quite limited background in this area.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • Perspectival Act Utilitarianism.John Horty - unknown
    This paper works within a particular framework for reasoning about actions—sometimes known as the framework of “stit semantics”—originally due to Belnap and Perloff, based ultimately on the theory of indeterminism set out in Prior’s indeterministic tense logic, and developed in full detail by Belnap, Perloff, and Xu [3]. The issues I want to consider arise when certain normative, or decision theoretic, notions are introduced into this framework: here I will focus on the notion of a right action, and so on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Temporal Logic and its Application to Normative Reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.
    I present a variant of with time, called, interpreted in standard Kripke semantics. On the syntactic level, is nothing but the extension of atemporal individual by: the future tense and past tense operators, and the operator of group agency for the grand coalition. A sound and complete axiomatisation for is given. Moreover, it is shown that supports reasoning about interesting normative concepts such as the concepts of achievement obligation and commitment.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • What Ought Probably Means, and Why You Can’T Detach It.Stephen Finlay - 2010 - Synthese 177 (1):67 - 89.
    Some intuitive normative principles raise vexing 'detaching problems' by their failure to license modus ponens. I examine three such principles (a self-reliance principle and two different instrumental principles) and recent stategies employed to resolve their detaching problems. I show that solving these problems necessitates postulating an indefinitely large number of senses for 'ought'. The semantics for 'ought' that is standard in linguistics offers a unifying strategy for solving these problems, but I argue that an alternative approach combining an end-relational theory (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  • Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.
    This paper presents a short survey of recent developments in stit theories, with an emphasis on combinations of stit and deontic logic, and those of stit and epistemic logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New York
    Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.
    In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language to the strong Priorean language . We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a wide variety of frame classes and to prove completeness using the Henkin method. In the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • Reasoning About Permitted Announcements.P. Balbiani & P. Seban - 2011 - Journal of Philosophical Logic 40 (4):445-472.
    We formalize what it means to have permission to say something. We adapt the dynamic logic of permission by van der Meyden (J Log Comput 6(3):465–479, 1996 ) to the case where atomic actions are public truthful announcements. We also add a notion of obligation. Our logic is an extension of the logic of public announcements introduced by Plaza ( 1989 ) with dynamic modal operators for permission and for obligation. We axiomatize the logic and show that it is decidable.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • 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.
    Direct download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Epistemic Logic Meets Epistemic Game Theory: A Comparison Between Multi-Agent Kripke Models and Type Spaces.Paolo Galeazzi & Emiliano Lorini - 2016 - Synthese 193 (7):2097-2127.
    In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers :149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42:863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal comparison between (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations