{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T15:43:48Z","timestamp":1765295028944},"reference-count":65,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T00:00:00Z","timestamp":1559088000000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>In this paper I argue that deontic modals are hyperintensional, i.e. logically equivalent contents cannot be substituted in their scope. I give two arguments, one deductive and the other abductive. First, I show that the contrary thesis (that deontic modals are not hyperintensional) leads to falsity; second, I argue that a hyperintensional theory of deontic modals fares better than its rivals in terms of elegance, theoretical simplicity and explanatory power (e.g. Ross\u2019s paradox, the Gentle Murderer, The Good Samaritan, Free Choice Permission and the Miners\u2019 Paradox disappear). I then propose a philosophical analysis of this thesis and outline some consequences. In Section 1 I introduce and define deontic modality and hyperintensionality. In Section 2 I give a reductio for the hyperintensionality of deontic modals. If the argument is sound, a useful corollary is that deontic modals are also non-intensional, and therefore possible-world semantics accounts are illfitted for them. I then show how the main result can be strengthened or weakened by varying the definition of logical validity. In Section 3 I give an abductive argument for the hyperintensionality of deontic modals, arguing that with a single move we are able to solve many paradoxes and puzzles traditionally troubling deontic logic. I present a version of a hyperintensional deontic logic in an appendix, which I prove is sound and complete with respect to a version of truthmaker semantics.<\/jats:p>","DOI":"10.1093\/jigpal\/jzz011","type":"journal-article","created":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T15:22:22Z","timestamp":1555341742000},"page":"387-410","source":"Crossref","is-referenced-by-count":5,"title":["Deontic modals and hyperintensionality"],"prefix":"10.1093","volume":"27","author":[{"given":"Federico L G","family":"Faroldi","sequence":"first","affiliation":[{"name":"Centre for Logic and Philosophy of Science, Ghent University and Research Foundation -- Flanders (FWO), Belgium, and JQY Academy, Goethe University, Frankfurt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2019,5,28]]},"reference":[{"key":"2019080610345858600_ref1","article-title":"Distributing the disjuncts over the modal space","volume-title":"Proceedings of the 35th North East Linguistics Society Conference","author":"Alonso-Ovalle","year":"2005"},{"key":"2019080610345858600_ref2","first-page":"147","article-title":"Three systems of first degree entailment","volume":"47","author":"Angell","year":"1977","journal-title":"Journal of Symbolic Logic"},{"key":"2019080610345858600_ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-1005-8_8","article-title":"Deducibility, entailment and analytic containment","volume-title":"Directions in Relevant Logic","author":"Angell","year":"1989"},{"key":"2019080610345858600_ref4","first-page":"16","article-title":"An exact truthmaker semantics for obligation and permission","volume-title":"Deontic Logic and Normative Systems","author":"Anglberger","year":"2016"},{"key":"2019080610345858600_ref5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s11245-013-9193-8","article-title":"Paradoxes of logical equivalence and identity","volume":"34","author":"Bacon","year":"2015","journal-title":"Topoi"},{"key":"2019080610345858600_ref6","article-title":"Hyperintensional equivalence manuscript","author":"Bader"},{"key":"2019080610345858600_ref7","article-title":"Studies in Logic and Practical Reasoning","volume-title":"Handbook of Modal Logic","author":"Blackburn","year":"2007"},{"key":"2019080610345858600_ref8","doi-asserted-by":"crossref","first-page":"57","DOI":"10.5840\/jphil201511225","article-title":"Modus ponens defended","volume":"112","author":"Bledin","year":"2015","journal-title":"The Journal of Philosophy"},{"key":"2019080610345858600_ref9","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1111\/j.1468-0068.2011.00839.x","article-title":"Ought and resolution semantics","volume":"47","author":"Cariani","year":"2013","journal-title":"No\u00fbs"},{"key":"2019080610345858600_ref10","first-page":"37","article-title":"The paradoxes of deontic logic: The simplest solution to all of them in one fell swoop","volume-title":"Hilpinen","author":"Casta\u00f1eda","year":"1981"},{"key":"2019080610345858600_ref11","first-page":"23","article-title":"Conditional obligation","volume-title":"Logical Theory and Semantic Analysis","author":"Chellas","year":"1975"},{"key":"2019080610345858600_ref12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic. An Introduction","author":"Chellas","year":"1980"},{"key":"2019080610345858600_ref13","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s11050-017-9134-y","article-title":"Hurford\u2019s constraint, the semantics of disjunction, and the nature of alternatives","volume":"25","author":"Ciardelli","year":"2017","journal-title":"Natural Language Semantics"},{"key":"2019080610345858600_ref14","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1023\/B:STUD.0000034187.37935.24","article-title":"Semantics for analytic containment","volume":"77","author":"Correia","year":"2004","journal-title":"Studia Logica"},{"key":"2019080610345858600_ref15","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1017\/S1755020315000258","article-title":"On the logic of factual equivalence","volume":"9","author":"Correia","year":"2016","journal-title":"The Review of Symbolic Logic"},{"key":"2019080610345858600_ref16","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF02314421","article-title":"Hyperintensional logic","volume":"34","author":"Cresswell","year":"1975","journal-title":"Studia Logica"},{"key":"2019080610345858600_ref17","first-page":"11","article-title":"The logic of \u2018actually\u2019","volume":"8","author":"Crossley","year":"1977","journal-title":"Reports on Mathematical Logic"},{"key":"2019080610345858600_ref18","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1111\/j.1755-2567.2005.tb01002.x","article-title":"Taking Ross\u2019s paradox seriously. A note on the original problems of deontic logic","volume":"71","author":"Danielsson","year":"2005","journal-title":"Theoria"},{"key":"2019080610345858600_ref19","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1111\/j.1755-2567.2007.tb01205.x","article-title":"Ross\u2019s paradox again","volume":"73","author":"Danielsson","year":"2007","journal-title":"Theoria"},{"key":"2019080610345858600_ref20","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1111\/rati.12143","article-title":"Co-hyperintensionality","volume":"30","author":"Faroldi","year":"2017","journal-title":"Ratio"},{"key":"2019080610345858600_ref21","doi-asserted-by":"crossref","first-page":"1617","DOI":"10.1093\/logcom\/exu048","article-title":"Faulty Belnap computers and subsystems of FDE","volume":"26","author":"Ferguson","year":"2014","journal-title":"Journal of Logic and Computation"},{"key":"2019080610345858600_ref22","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s11225-015-9631-2","article-title":"Correia semantics revisited","volume":"104","author":"Ferguson","year":"2016","journal-title":"Studia Logica"},{"key":"2019080610345858600_ref23","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1111\/1746-8361.12068","article-title":"Permission and possible worlds","volume":"68","author":"Fine","year":"2014","journal-title":"Dialectica"},{"key":"2019080610345858600_ref24","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s10992-015-9371-9","article-title":"Angellic content","volume":"45","author":"Fine","year":"2016","journal-title":"Journal of Philosophical Logic"},{"key":"2019080610345858600_ref25","doi-asserted-by":"crossref","DOI":"10.1002\/9781118972090.ch22","article-title":"Truthmaker semantics","volume-title":"Blackwell Handbook of Philosophy of Language","author":"Fine"},{"key":"2019080610345858600_ref26","article-title":"The best we can (expect to) get? Challenges to the classic semantics for deontic modals","volume-title":"Deontic Modals at the Central APA, February 17, 2012","author":"von Fintel","year":"2012"},{"key":"2019080610345858600_ref27","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"Gabbay","year":"2013"},{"key":"2019080610345858600_ref28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02378802","article-title":"Whatever happened to deontic logic?","volume":"11","author":"Geach","year":"1981","journal-title":"Philosophia"},{"key":"2019080610345858600_ref29","first-page":"211","article-title":"K anal\u00fdze deontick\u00fdch modal\u00edt v transparentnej intenzion\u00e1lnej logike","volume":"22","author":"Glavani\u010dov\u00e1","year":"2015","journal-title":"Organon F"},{"key":"2019080610345858600_ref30","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/BF00263540","article-title":"A logic of good, should, and would: Part I","volume":"19","author":"Goble","year":"1990","journal-title":"Journal of Philosophical Logic"},{"key":"2019080610345858600_ref31","article-title":"Prima facie norms, normative conflicts, and dilemmas","author":"Goble","year":"2013"},{"key":"2019080610345858600_ref32","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/A:1023080715357","article-title":"Possible-worlds semantics for modal notions conceived as predicates","volume":"32","author":"Halbach","year":"2003","journal-title":"Journal of Philosophical Logic"},{"key":"2019080610345858600_ref33","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1093\/mind\/fzn030","article-title":"Necessities and necessary truths: A prolegomenon to the use of modal logic in the analysis of intensional notions","volume":"118","author":"Halbach","year":"2009","journal-title":"Mind"},{"key":"2019080610345858600_ref34","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/s11098-004-5750-8","article-title":"Actuality, necessity, and logical truth","volume":"130","author":"Hanson","year":"2006","journal-title":"Philosophical Studies"},{"key":"2019080610345858600_ref35","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF00372359","article-title":"The revenger\u2019s paradox","volume":"61","author":"Hansson","year":"1991","journal-title":"Philosophical Studies"},{"key":"2019080610345858600_ref36","volume-title":"The Structure of Values and Norms","author":"Hansson","year":"2000"},{"key":"2019080610345858600_ref37","first-page":"445","article-title":"Alternative semantics for deontic logic","author":"Hansson","year":"2013"},{"key":"2019080610345858600_ref38","article-title":"Varieties of permission","author":"Hansson","year":"2013"},{"key":"2019080610345858600_ref39","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-8484-4","volume-title":"New Studies in Deontic Logic","author":"Hilpinen","year":"1981"},{"key":"2019080610345858600_ref40","doi-asserted-by":"crossref","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"Horty","year":"2001"},{"key":"2019080610345858600_ref41","volume-title":"Philosophical Applications of Modal Logic","author":"Humberstone","year":"2016"},{"key":"2019080610345858600_ref42","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1093\/mind\/XCIV.374.177","article-title":"On the semantics and logic of obligation","volume":"94","author":"Jackson","year":"1985","journal-title":"Mind"},{"key":"2019080610345858600_ref43","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198709008.001.0001","volume-title":"The Impossible. An Essay on Hyperintensionality","author":"Jago","year":"2014"},{"key":"2019080610345858600_ref44","first-page":"37","article-title":"Normal forms in partial modal logic","volume":"28","author":"Jaspars","year":"1993","journal-title":"Algebraic Methods in Logic and in Computer Science"},{"key":"2019080610345858600_ref45","doi-asserted-by":"crossref","first-page":"115","DOI":"10.5840\/jphil2010107310","article-title":"Ifs and oughts","volume":"107","author":"Kolodny","year":"2010","journal-title":"Journal of Philosophy"},{"key":"2019080610345858600_ref46","volume-title":"Measurement and Modality: The Scalar Basis of Modal Semantics","author":"Lassiter","year":"2011"},{"key":"2019080610345858600_ref47","article-title":"Deontic logic","volume-title":"The Stanford Encyclopedia of Philosophy","author":"McNamara","year":"2014"},{"key":"2019080610345858600_ref48","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1305\/ndjfl\/1093958149","article-title":"Modal logic with functorial variables and a contingent constant","volume":"6","author":"Meredith","year":"1965","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2019080610345858600_ref49","doi-asserted-by":"crossref","first-page":"159","DOI":"10.5840\/monist19695327","article-title":"On the nature of certain philosophical entities","volume":"53","author":"Montague","year":"1969","journal-title":"The Monist"},{"key":"2019080610345858600_ref50","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1016\/S1570-2464(07)80013-9","article-title":"Higher order modal logic","volume-title":"Handbook of Modal Logic","author":"Muskens","year":"2007"},{"key":"2019080610345858600_ref51","doi-asserted-by":"crossref","first-page":"98","DOI":"10.2178\/jsl\/1174668386","article-title":"Intensional models for the theory of types","volume":"72","author":"Muskens","year":"2007","journal-title":"The Bulletin of Symbolic Logic"},{"key":"2019080610345858600_ref52","volume-title":"Modality in Typological Perspective","author":"Nauze","year":"2008"},{"key":"2019080610345858600_ref53","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/s11098-010-9624-y","article-title":"A defense of contingent logical truths","volume":"151","author":"Nelson","year":"2012","journal-title":"Philosophical Studies"},{"key":"2019080610345858600_ref54","first-page":"606","article-title":"Symmetry and symmetrical predicates","volume-title":"Computational Linguistics and Intellectual Technologies: Papers from the International Conference \u201cDIALOGUE\u201d","author":"Partee","year":"2008"},{"key":"2019080610345858600_ref55","first-page":"135","article-title":"Escapism: The logical basis of ethics","volume-title":"Essays in Moral Philosophy","author":"Prior","year":"1958"},{"key":"2019080610345858600_ref56","first-page":"235r","volume-title":"Commentarius de Sententibus","author":"Rosetus"},{"key":"2019080610345858600_ref57","first-page":"149","article-title":"Non-kripkean deontic logic","volume-title":"Hilpinen","author":"Schotch","year":"1981"},{"key":"2019080610345858600_ref58","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1215\/00318108-2010-017","article-title":"Ought, agents, and actions","volume":"120","author":"Schroeder","year":"2011","journal-title":"The Philosophical Review"},{"key":"2019080610345858600_ref59","doi-asserted-by":"crossref","first-page":"477","DOI":"10.2307\/2024563","article-title":"Facts and tautological entailment","volume":"66","author":"van Fraassen","year":"1969","journal-title":"Journal of Philosophy"},{"key":"2019080610345858600_ref60","doi-asserted-by":"crossref","first-page":"449","DOI":"10.5840\/jphil2012109719","article-title":"A remark on iffy oughts","volume":"109","author":"Willer","year":"2012","journal-title":"Journal of Philosophy"},{"key":"2019080610345858600_ref61","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1111\/j.1533-6077.2006.00116.x","article-title":"Indicative versus subjunctive conditionals, congruential versus non-hyperintensional contexts","volume":"16","author":"Williamson","year":"2006","journal-title":"Philosophical Issues"},{"key":"2019080610345858600_ref62","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199552078.001.0001","volume-title":"Modal Logic as Metaphysics","author":"Williamson","year":"2013"},{"key":"2019080610345858600_ref63","first-page":"3","article-title":"On the logic of norms and actions","volume-title":"Hilpinen","author":"von Wright","year":"1981"},{"key":"2019080610345858600_ref64","volume-title":"Aboutness","author":"Yablo","year":"2014"},{"key":"2019080610345858600_ref65","doi-asserted-by":"crossref","first-page":"57","DOI":"10.2307\/2026992","article-title":"Logical and analytical truths that are not necessary","volume":"85","author":"Zalta","year":"1988","journal-title":"The Journal of Philosophy"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/advance-article-pdf\/doi\/10.1093\/jigpal\/jzz011\/28711451\/jzz011.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/27\/4\/387\/29102732\/jzz011.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T10:59:25Z","timestamp":1565089165000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/27\/4\/387\/5498491"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,28]]},"references-count":65,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2019,5,28]]},"published-print":{"date-parts":[[2019,7,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzz011","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2019,8]]},"published":{"date-parts":[[2019,5,28]]}}}