Dynamic Thoughts on Ifs and Oughts

Iy oughts gure prominently in a variety of paradoxes of deontic logic. A satisfying response to these paradoxes is a non-negotiable component of any adequate semantic story about conditionals and deontic modals. I demonstrate that such a story can be told but doing so requires that we supplement a semantics that pays proper attention to the sensitivity of ifs and oughts to contextual information with a dynamic conception of logical consequence. The resulting framework naturally leads to a nonmonotonic logic for conditionals and deontic modals which diers from its static alternatives in that it elegantly resolves not only Kolodny’s and MacFarlane’s recent miners paradox but also the more classical paradoxes about conditional obligations from Forrester and Chisholm.

[1]  Craige Roberts.  Modal subordination and pronominal anaphora in discourse , 1989 .

[2]  Walter Sinnott-Armstrong,et al.  `Ought' Conversationally Implies `Can' , 1984 .

[3]  Zsófia Zvolenszky,et al.  Is a Possible-worlds Semantics of Modality Possible? A Problem for Kratzer's Semantics , 2002 .

[4]  J. Horty.  Agency and Deontic Logic , 2001 .

[5]  John MacFarlane,et al.  Ifs and Oughts , 2010 .

[6]  A. Gillies.  Epistemic Conditionals and Conditional Epistemics , 2004 .

[7]  Dov M. Gabbay.  The Equational Approach to Contrary-to-duty Obligations , 2014, FoIKS.

[8]  Hans Rott.  Conditionals and theory change: Revisions, expansions, and additions , 2004, Synthese.

[9]  Malte Willer,et al.  Dynamics of Epistemic Modality , 2013 .

[10]  D. Regan,et al.  Utilitarianism and Cooperation , 1980 .

[11]  Malte Willer,et al.  Dynamic Foundations for Deontic Logic ̊ , 2014 .

[12]  Marvin Belzer,et al.  Dyadic deontic detachment , 2004, Synthese.

[13]  Frank Veltman.  Prejudices, presuppositions, and the theory of counterfactuals , 1976 .

[14]  James William Forrester,et al.  Gentle Murder, or the Adverbial Samaritan , 1984 .

[15]  Richmond H. Thomason,et al.  Deontic Logic as Founded on Tense Logic , 1981 .

[16]  P. McNamara,et al.  Making room for going beyond the call , 1996 .

[17]  Angelika Kratzer,et al.  Partition and revision: The semantics of counterfactuals , 1981, J. Philos. Log..

[18]  Fabrizio Cariani,et al.  'Ought' and Resolution Semantics. , 2013 .

[19]  K. Hengeveld.  Mood and modality , 2004 .

[20]  Nicholas Asher,et al.  Common Sense Obligation , 1997 .

[21]  Craige Roberts,et al.  Modal subordination, anaphora, and distributivity , 1990 .

[22]  李幼升,et al.  Ph , 1989 .

[23]  Roderick M. Chisholm,et al.  Contrary-To-Duty Imperatives and Deontic Logic , 1963 .

[24]  J. Benthem.  Essays in Logical Semantics , 1986 .

[25]  Richmond H. Thomason,et al.  Deontic Logic and the Role of Freedom in Moral Deliberation , 1981 .

[26]  Kai von Fintel,et al.  How to Say Ought in Foreign: The Composition of Weak Necessity Modals , 2008 .

[27]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[28]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[29]  B. Hansson.  An analysis of some deontic logics , 1969 .

[30]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[31]  Fabrizio Cariani,et al.  Deliberative modality under epistemic uncertainty , 2013 .

[32]  Luís Moniz Pereira,et al.  On Indicative Conditionals , 2015, IWOST-1.

[33]  Thomas A. Werner,et al.  Deducing the future and distinguishing the past : temporal interpretation in modal sentences in English , 2003 .

[34]  Kai von Fintel,et al.  An Opinionated Guide to Epistemic Modality , 2007 .

[35]  Derek Parfit,et al.  What matters. , 2011, Current problems in pediatric and adolescent health care.

[36]  M. Schroeder,et al.  Ought, Agents, and Actions , 2011 .

[37]  Donald Nute,et al.  Defeasible Deontic Logic , 2010 .

[38]  Young U. Ryu,et al.  Deontic Logic Viewed as Defeasible Reasoning , 1997 .

[39]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[40]  John C. Bigelow,et al.  Subjunctive Reasoning , 1980 .

[41]  A. Kratzer.  The Notional Category of Modality , 2008 .

[42]  A. Kratzer.  An investigation of the lumps of thought , 1989 .

[43]  Nate Charlow.  What we know and what to do , 2011, Synthese.

[44]  Angelika Kratzer,et al.  What ‘must’ and ‘can’ must and can mean , 1977 .

[45]  H. Kamp,et al.  On Context Dependence In Modal Constructions , 1997 .

[46]  Daniel Bonevac.  Discourse Representation Theory , 2012 .

[47]  David I. Beaver.  Presupposition and Assertion in Dynamic Semantics , 2001 .

[48]  Paul Portner,et al.  Ordering combination for modal comparison , 2012 .

[49]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[50]  Anthony S. Gillies,et al.  What Might be the Case after a Change in View , 2006, J. Philos. Log..

[51]  Kai von Fintel,et al.  NPI Licensing, Strawson Entailment, and Context Dependency , 1999, J. Semant..

[52]  Patricia Greenspan,et al.  Conditional Oughts and Hypothetical Imperatives , 1975 .

[53]  Henry Prakken,et al.  Dyadic Deontic Logic and Contrary-to-Duty Obligations , 1997 .

[54]  K. Fintel.  The Presupposition of Subjunctive Conditionals , 1997 .

[55]  Henry Prakken,et al.  Contrary-to-duty obligations , 1996, Stud Logica.

[56]  John F. Horty,et al.  Nonmonotonic Foundations for Deontic Logic , 1997 .

[57]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

[58]  A. Cochrane.  Doing the Best We Can , 2007 .

[59]  Frank Veltman,et al.  Making Counterfactual Assumptions , 2005, J. Semant..

[60]  J. Horty.  Reasons as Defaults , 2012 .

[61]  S. Poirier.  Foundations of mathematics , 2007 .

[62]  David Lewis,et al.  Semantic Analyses for Dyadic Deontic Logic , 1974 .

[63]  H. Herzberger.  Counterfactuals and Consistency , 1979 .

[64]  Cleo Condoravdi,et al.  Temporal Interpretation of Modals - Modals for the Present and for the Past , 2001 .

[65]  E. J. Lemmon,et al.  Review: G. H. von Wright, A Note on Deontic Logic and Derived Obligation , 1957 .

[66]  Anthony S. Gillies,et al.  Counterfactual scorekeeping , 2007 .

[67]  Paul McNamara,et al.  Must I Do What I Ought? (Or Will the Least I Can Do Do?) , 1996, DEON.

[68]  David Lewis,et al.  Ordering semantics and premise semantics for counterfactuals , 1981, J. Philos. Log..

[69]  Alex Silk,et al.  Evidence Sensitivity in Weak Necessity Deontic Modals , 2014, J. Philos. Log..

[70]  A. Kratzer.  Modals and Conditionals , 2012 .

[71]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[72]  Jaap Hoepelman,et al.  Some Theorems about a “Tree” System of Deontic Tense Logic , 1981 .

[73]  Nicholas Asher,et al.  Prima facie obligation , 1996, Stud Logica.

[74]  Ana Arregui.  Detaching if-clauses from should , 2010 .

[75]  J. Dever.  Living the Life Aquatic Does Presupposition Accommodation Mandate Dynamic Semantics ? , 2006 .

[76]  William B. Starr,et al.  A Uniform Theory of Conditionals , 2014, J. Philos. Log..

[77]  acobus Adrianus van Eck.  A system of temporally relative modal and deontic predicate logic and its philosophical applications , 1981 .

[78]  Malte Willer,et al.  A Remark on Iffy Oughts , 2012 .

[79]  André Fuhrmann,et al.  Reflective modalities and theory change , 1989, Synthese.

[80]  Lou Goble.  Murder most gentle: The paradox deepens , 1991 .

[81]  Walter Sinnott-Armstrong.  A Solution to Forrester's Paradox of Gentle Murder , 1985 .

[82]  M. Belzer.  Reasoning with defeasible principles , 2004, Synthese.

[83]  B. Geurts.  On an ambiguity in quantified conditionals , 2004 .

[84]  A Semantic Constraint on the Logic of Modal Conditionals , 2006 .

[85]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[86]  L. Thorne McCarty.  Defeasible Deontic Reasoning , 1994, Fundam. Informaticae.

[87]  Bas C. van Fraassen,et al.  The logic of conditional obligation , 1972, J. Philos. Log..

[88]  Marvin Belzer,et al.  Help for the good samaritan paradox , 1986 .

[89]  Ken Warmbrod.  A defense of the Limit Assumption , 1982 .

[90]  J. Dowell.  A Flexible Contextualist Account of Epistemic Modals , 2011 .

[91]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[92]  Anthony S. Gillies,et al.  On Truth-Conditions for If (but Not Quite Only If) , 2009 .

[93]  Dilip Ninan Mit.  Two Puzzles About Deontic Necessity , 2005 .

[94]  Fred Feldman,et al.  A SIMPLER SOLUTION TO THE PARADOXES OF DEONTIC LOGIC , 1990 .

[95]  A. Silk.  Why 'Ought' Detaches: Or, Why You Ought to Get With My Friends (If You Want to Be My Lover) , 2014 .

[96]  John F. Horty,et al.  Moral dilemmas and nonmonotonic logic , 1994, J. Philos. Log..

[97]  I. Levi.  Iteration of conditionals and the Ramsey test , 1988, Synthese.

[98]  Risto Hilpinen,et al.  Deontic Logic: An Introduction , 1970 .

[99]  F.J.M.M. Veltman,et al.  Logics for conditionals. , 1985 .

[100]  André Fuhrmann,et al.  When Hyperpropositions Meet ... , 1999, J. Philos. Log..

[101]  J. L. Dowell,et al.  Contextualist Solutions to Three Puzzles about Practical Conditionals , 2012 .

[102]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[103]  Daniel Bonevac.  Against Conditional Obligation , 1998 .

[104]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[105]  Seth Yalcin,et al.  Context Probabilism , 2011, Amsterdam Colloquium on Logic, Language and Meaning.

[106]  Yao-Hua Tan,et al.  An update semantics for deontic reasoning , 1999 .