Switch to: References

Add citations

You must login to add citations.
  1. Free choice is a form of dependence.Magdalena Kaufmann - 2016 - Natural Language Semantics 24 (3):247-290.
    This paper refutes the widespread view that disjunctions of imperatives invariably grant free choice between the actions named by their disjuncts. Like other disjunctions they can also express a correlation with some factual distinction, but as with modalized declaratives used for non-assertive speech acts this needs to be indicated explicitly. A compositional analysis of one such indicator, depending on, constitutes the point of departure for a uniform analysis of disjunctions across clause types. Disjunctions are analyzed as sets of propositional alternatives (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Imperatives: a Judgemental Analysis.Chris Fox - 2012 - Studia Logica 100 (4):879-905.
    This paper proposes a framework for formalising intuitions about the behaviour of imperative commands. It seeks to capture notions of satisfaction and coherence. Rules are proposed to express key aspects of the general logical behaviour of imperative constructions. A key objective is for the framework to allow patterns of behaviour to be described while avoiding making any commitments about how commands, and their satisfaction criteria, are to be interpreted. We consider the status of some conundrums of imperative logic in the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Action Type Deontic Logic.Martin Mose Bentzen - 2014 - Journal of Logic, Language and Information 23 (4):397-414.
    A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation