Federico L. G. Faroldi Hyperintensionality and Normativity Hyperintensionality and Normativity Federico L. G. Faroldi Hyperintensionality and Normativity 123 Federico L.G.Faroldi CentreforLogicandPhilosophyofScience Research Foundation—Flanders(FWO) GhentUniversity Ghent, Belgium ISBN978-3-030-03486-3 ISBN978-3-030-03487-0 (eBook) https://doi.org/10.1007/978-3-030-03487-0 LibraryofCongressControlNumber:2019930575 ©SpringerNatureSwitzerlandAG2019 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpart of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission orinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilar methodologynowknownorhereafterdeveloped. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfrom therelevantprotectivelawsandregulationsandthereforefreeforgeneraluse. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authorsortheeditorsgiveawarranty,expressorimplied,withrespecttothematerialcontainedhereinor for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictionalclaimsinpublishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Nothing without an end is complete; but the end is a limit. Aristotle, Physics, book III, 207a, 14–15. A papà e mamma Acknowledgements Writingacknowledgementsisbothasweetandasourendeavor:sweet,becausefew things give me more pleasure than philosophical discussions, and being reminded of them revamps the pleasure; sour, because it means that a season of one’s intellectuallifehascometoanend,andmanyfellowtravelerswillnomorebewith me. I wish to thank Pierluigi Minari, for his help, patience, and suggestions in all these years. For reading and commenting in detail all or some parts of this work over the years, I thank Justin Snedegar, Ralf Bader, and Kit Fine, who also sup- portedmyresearchstaysinStAndrews,Oxford,andNewYork,respectively.Lou GoubleandMalteWillerprovidedextensivecommentstoapreviousversionofthis manuscript.InFlorence,AndreaCantini,GiovannaCorsi,SergioBernini,Riccardo Bruni, andMarco Maggesialso discussed parts of this work with me and gaveme valuable suggestions. Sergei Artemov has been very helpful in New York and during my Ph.D. defense in providing criticism and ideas. Guglielmo Feis has been a constant fellow traveler and a sound friend. My coauthorsTudorProtopopescu,AlbertAnglberger,andJohannesKorbmacherhave sharedmanywalkswithmedownthestreetsofManhattan,theforestsinGermany or the Red Square. They have been a model and source of inspiration. First, my colleagues in Pisa and Florence: Chiara Beneduce, Matteo Bensi, MattiaDellaRocca,FabioFossa,CarlaGarbarino,AnnaRomani,DeniseVincenti, andthenmycolleaguesinthelogicandphilosophyofsciencegroupatGhent:Joke Meheus, Erik Weber, Frederik Van De Putte, Julie Mennes, Pawel Pawlowski, Rafal Urbaniak, Stef Frijters, Mathieu Beirlaen, and Nathan Wood: thanks for sharingallkindsofinterestingadventures,inthepastandhopefullyforthefutureas well. Thanks to people in Arché—St. Andrews, my office mate Matt McKeever, BrunoJacinto,DerekBall,AaronCotnoir,andHasenKhudairi.Theymademefeel welcomed and created for me a congenial work environment. ix x Acknowledgements Thanks to friends and colleagues in Oxford: Peter Fritz, Lorenzo Rossi, Jeremy Goodman, Beau Mount, Ralf Bader, and Osvaldo Ottaviani. Volker Halbach wonderfully supported my visit in more than one way. Philosophers, colleagues, and friends in New York: Natalia Karczewska, Andreas Ditter, Andrés Soria Ruiz, Matheus Valente, Giulia Crisanti, Margherita Mazza,TudorProtopopescu,SergeiArtemov,MelFitting,DaveChalmers,Harvey Lederman, Heim Gaifman, Nicola Piras, and Friederike Moltmann. Thanks to philosophers, colleagues, and friends in Paris: Bianca Cepollaro, Filippo Contesi, Enrico Terrone, Manuel Križ, Paul Egré, and Giorgia Murgia. Thanks to people I’ve been in correspondence with, or I met in various parts oftheworldovertheyearstowhomItalkedaboutsomeoftheideaspursuedinthis work, in no particular order: Olivier Roy, Lou Goble, Tim Williamson, Nino Rotolo, Bjørn Jespersen, Paul MacNamara, Magdalena Kaufmann, Carl Pollard, Derek Lam, Michael Klenk, Marie Duži, Allard Tamminga, Chris Fox, Malte Willer, Stefano Predelli, Eugenio Orlandelli, Alessandra Marra, Stephan Luenbergen, Levin Hornischer, Paul Portner, Thomas Ferguson, Alessandro Giordani, Ilaria Canavotto, Carles Nogueira, Igor Sedlar, Ed Mares, Mel Fitting, Franz Berto. For providing early drafts: Mark Jago, Matthew Chrisman, Dan Lassiter, Lou Goble, Sam Walsh, and Tim Button. Many thanks also to those I forgot to mention. Many thanks to Arché, at the University of St Andrews, for being an excellent place to do philosophy and for welcoming me in their family in 2014. Oxford has been a fantastic place to learn and discuss during my time there in 2015. ManythankstoallthefolksatNYU,myhomeawayfromhome,forhavingme for a long time. Columbia and CUNY let me audit their courses and steal time to their faculty and grad students. TheInstitutJeanNicodoftheÉcoleNormaleSupérieurewasawonderfulplace to be as well. Almost all this work have been discussed, often multiple times, in several parts of the worlds. Many thanks to audiences in Pavia, St Andrews, Delft, Florence, NewYork,Milan,Bayreuth,Uppsala,Bologna,Bochum,York,Lublin,Bratislava, and Canton. The group of S. Alberto, and notably Giampaolo Azzoni, Stefano Colloca, Paolo Di Lucia, Giuseppe Lorini, and Lorenzo Passerini have heard me ramblingaboutdifferenttopicsatvariousstagesofdevelopmentformoreyearsthan I care to remember. Luca Fonnesu, Sergio Filippo Magni, and Tommaso Piazza made sure I would get a healthy dose of criticism from the very beginning of my academiccareer.AlessandroPorcarihasbeenthereallthetimesIcomplainedabout everything,butmostlyaboutacademicphilosophy.AlbertoBardihasbeenafellow travelerformoreyearsthanIcaretoremember,but,aboveall,hasbeenafriendfor exactlytheyearsIcaretoremember.AmedeoG.Conte,migliorfabbro,shapedthe way I think and I seek truth: no further words are needed. ItgoeswithoutsayingthatwhileItakeallthecreditifsomethingturnsouttobe intelligent, all the mistakes ought to be attributed to the people named above. Acknowledgements xi Partial funding for this work is acknowledged to the Italian Ministry for Research and to the Research Foundation—Flanders for grant FWO17/PDO/193 intended to fund my project Fine-grained Logics for Normative Reasoning. I have no wor(l)ds to express how Julie brings happiness into my life and how she inspires me to be a better person and a better researcher. Thank you. My parents, Stefano and Emanuela, have been a constant source of inspiration andspurreddebateaboutalmosteverythingalmostalways,evenwhenIwasbarely talking: I attribute my philosophical inclination to them. They also selflessly encouragedmypursuitofknowledgeineveryway.Thisworkisdedicatedtothem. Grazie di tutto. Contents Part I Deontic Modality: Intensional Logic, Semantics, and Beyond 1 Intensional Logic and Semantics for Deontic Modals . . . . . . . . . . . . 3 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Kripke-Kratzer Logic and Semantics for Deontic Modals . . . . . . . 5 1.2.1 The Basics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2.2 Standard Deontic Logic . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.2.3 Kratzer’s Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2.4 Scott-Montague Semantics . . . . . . . . . . . . . . . . . . . . . . . . 13 1.3 Problems and Paradoxes for Classical Semantics and SDL . . . . . . 14 1.3.1 Problems and Paradoxes in the Logic Literature . . . . . . . . 14 1.3.2 Problems Highlighted in the Linguistic Literature . . . . . . . 20 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 Part II Hyperintensionality 2 A Primer on Hyperintensionality . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.2 Extensionality Versus Intensionality Versus Hyperintensionality. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 2.2.1 Extensionality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 2.2.2 Intensionality. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 2.2.3 Hyperintensionality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 2.3 Current Approaches to Hyperintensionality . . . . . . . . . . . . . . . . . 42 2.3.1 The Semantical Approach to Hyperintensionality. . . . . . . . 43 2.3.2 The Logical Approach to Hyperintensionality . . . . . . . . . . 48 2.3.3 The Metaphysical Approach to Hyperintensionality . . . . . . 51 2.4 How Theories Fare and a Look Ahead . . . . . . . . . . . . . . . . . . . . 57 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 xiii