Sémantique formelle Volume 1 : Introduction à la grammaire de Montague Laurent Roussarie language Textbooks in Language Sciences 4 science press TextbooksinLanguageSciences Editors:StefanMüller,MartinHaspelmath EditorialBoard:ClaudeHagège,MarianneMithun,AnatolStefanowitsch,FoongHaYap Inthisseries: 1. Müller,Stefan.GrammaticalTheory:Fromtransformationalgrammartoconstraint-based approaches. 2. Schäfer,Roland.EinführungindiegrammatischeBeschreibungdesDeutschen. 3. Freitas,MariaJoão&AnaLúciaSantos(eds.).Aquisiçãodelínguamaternaenãomaterna: Questõesgeraisedadosdoportuguês. 4. Roussarie,Laurent.Sémantiqueformelle.Volume1:Introductionàlagrammairede Montague. ISSN:2364-6209 Sémantique formelle Volume 1 : Introduction à la grammaire de Montague Laurent Roussarie language science press LaurentRoussarie.2017.Sémantiqueformelle.Volume1:Introductionàlagrammairede Montague(TextbooksinLanguageSciences4).Berlin:LanguageSciencePress. Thistitlecanbedownloadedat: http://langsci-press.org/catalog/book/143 ©2017,LaurentRoussarie PublishedundertheCreativeCommonsAttribution4.0Licence(CCBY4.0): http://creativecommons.org/licenses/by/4.0/ ISBN:978-3-96110-017-0(Digital) 978-1-977891-54-9(Softcover) ISSN:2364-6209 DOI:10.5281/zenodo.1000504 Sourcecodeavailablefromwww.github.com/langsci/143 Collaborativereading:paperhive.org/documents/remote?type=langsci&id=143 Coverandconceptofdesign:UlrikeHarbort Typesetting:LaurentRoussarie Proofreading:LaurenceDanlos,SebastianNordhoff Fonts:LinuxLibertine,Arimo,DejaVuSansMono,TengwarTelcontar Typesettingsoftware:XƎLATEX LanguageSciencePress UnterdenLinden6 10099Berlin,Germany langsci-press.org StorageandcataloguingdonebyFUBerlin Language Science Press has no responsibility for the persistence or accuracy of URLs forexternalorthird-partyInternetwebsitesreferredtointhispublication,anddoesnot guaranteethatanycontentonsuchwebsitesis,orwillremain,accurateorappropriate. Information regarding prices, travel timetables and other factual information given in thisworkarecorrectatthetimeoffirstpublicationbutLanguageSciencePressdoesnot guaranteetheaccuracyofsuchinformationthereafter. Table des matières Avant-propos vii Symbolesetabréviations xi 1 Sensdesphrasesetsensdesénoncés 1 1.1 Objetsdel’étude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1.1 Qu’est-cequelesens? . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1.2 Phrases,énoncésetcontextes . . . . . . . . . . . . . . . . . . . . 3 1.2 Lacompréhensioncommeinférence . . . . . . . . . . . . . . . . . . . . . 7 1.2.1 Laconséquencelogique . . . . . . . . . . . . . . . . . . . . . . . 8 1.2.2 Leséquivalences . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.2.3 Lescontradictionsetlesanomalies . . . . . . . . . . . . . . . . . 13 1.2.4 Lesambiguïtés . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.3 Direetvouloirdire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 1.3.1 Projectionsetprésuppositions . . . . . . . . . . . . . . . . . . . . 23 1.3.2 Lesimplicaturesconversationnelles . . . . . . . . . . . . . . . . . 33 1.3.3 Lesactesdelangage . . . . . . . . . . . . . . . . . . . . . . . . . 40 1.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 2 Sémantiquevériconditionnelleetcalculdesprédicats 47 2.1 Introductionàlasémantiquevériconditionnelle . . . . . . . . . . . . . . 47 2.1.1 Sens,dénotationetréférence . . . . . . . . . . . . . . . . . . . . 47 2.1.2 Sensetconditionsdevérité . . . . . . . . . . . . . . . . . . . . . 50 2.1.3 Lacompositionnalité . . . . . . . . . . . . . . . . . . . . . . . . . 53 2.1.4 Analysesémantiqueformelle . . . . . . . . . . . . . . . . . . . . 56 2.2 Lelangageducalculdesprédicats . . . . . . . . . . . . . . . . . . . . . . 57 2.2.1 Lesélémentsdulangageformel . . . . . . . . . . . . . . . . . . . 57 2.2.2 Lasyntaxedulangageformel . . . . . . . . . . . . . . . . . . . . 65 2.3 Interprétationdanslecalculdesprédicats . . . . . . . . . . . . . . . . . . 71 2.3.1 Sémantiqueinformelle . . . . . . . . . . . . . . . . . . . . . . . . 71 2.3.2 Lesmodèles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 2.3.3 Lesrèglessémantiques . . . . . . . . . . . . . . . . . . . . . . . . 77 2.4 Unpeudelogique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 2.4.1 Tablesdevérité . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 2.4.2 Disjonctionsinclusiveetexclusive . . . . . . . . . . . . . . . . . 85 2.4.3 Implicationmatérielle . . . . . . . . . . . . . . . . . . . . . . . . 89 2.4.4 Laquantification . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 Tabledesmatières 2.4.5 Quelquesdéfinitionslogiques . . . . . . . . . . . . . . . . . . . . 101 2.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 3 Groupesnominauxetquantification 111 3.1 Sémantiquedelaquantification . . . . . . . . . . . . . . . . . . . . . . . 111 3.1.1 Variablesetpronoms . . . . . . . . . . . . . . . . . . . . . . . . . 112 3.1.2 Interprétationdesformulesquantifiées . . . . . . . . . . . . . . . 114 3.1.3 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 3.1.4 Surlestatutdesfonctionsd’assignation . . . . . . . . . . . . . . 122 3.1.5 Restrictiondudomainedequantification . . . . . . . . . . . . . . 124 3.2 Groupesnominauxetportées . . . . . . . . . . . . . . . . . . . . . . . . 127 3.2.1 Lanotiondeportéedanslalangue . . . . . . . . . . . . . . . . . 127 3.2.2 Spécifiquevsnonspécifique . . . . . . . . . . . . . . . . . . . . . 138 3.2.3 Génériquevsnongénérique . . . . . . . . . . . . . . . . . . . . . 145 3.3 Catégoriesdegroupesnominaux . . . . . . . . . . . . . . . . . . . . . . . 151 3.3.1 Critèreslogico-sémantiques . . . . . . . . . . . . . . . . . . . . . 152 3.3.2 Critèressyntactico-sémantiques . . . . . . . . . . . . . . . . . . . 159 3.3.3 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161 3.3.4 Lesdescriptionsdéfinies . . . . . . . . . . . . . . . . . . . . . . . 164 4 Sémantiqueintensionnelle 175 4.1 Leslimitesdelasémantiqueextensionnelle . . . . . . . . . . . . . . . . . 175 4.1.1 Lecturesderevsdedicto . . . . . . . . . . . . . . . . . . . . . . . 176 4.1.2 Modifieursnonextensionnels . . . . . . . . . . . . . . . . . . . . 183 4.1.3 Temporalitéetmodalités . . . . . . . . . . . . . . . . . . . . . . . 186 4.1.4 Conclusion:enrouteversl’intensionnalité . . . . . . . . . . . . 187 4.2 Unesémantiquetemporelleintensionnelle . . . . . . . . . . . . . . . . . 187 4.2.1 Modèletemporel . . . . . . . . . . . . . . . . . . . . . . . . . . . 188 4.2.2 Opérateurstemporels . . . . . . . . . . . . . . . . . . . . . . . . 193 4.2.3 Problèmes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199 4.3 Modalitésetmondespossibles . . . . . . . . . . . . . . . . . . . . . . . . 203 4.3.1 Savoiretignorer . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 4.3.2 Possibleetnécessaire . . . . . . . . . . . . . . . . . . . . . . . . . 207 4.3.3 Formalisationdelamodalité . . . . . . . . . . . . . . . . . . . . . 210 4.4 Intensionetextension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229 4.4.1 Sensetmondes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229 4.4.2 Simplificationsetinterludegraphique . . . . . . . . . . . . . . . 236 4.4.3 Expressiondesintensionsdanslelangage . . . . . . . . . . . . . 239 4.5 Récapitulatifetconclusions . . . . . . . . . . . . . . . . . . . . . . . . . . 248 4.5.1 LOintensionnel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248 4.5.2 Validitésetconséquencelogique . . . . . . . . . . . . . . . . . . 251 4.5.3 Postulatsdesignification . . . . . . . . . . . . . . . . . . . . . . . 254 4.5.4 Sens,propositionsetconditionsdevérité . . . . . . . . . . . . . 259 iv Tabledesmatières 5 λ-calculetthéoriedestypes 263 5.1 Toutestfonction(oupresque) . . . . . . . . . . . . . . . . . . . . . . . . 263 5.1.1 Destrousdanslesformules . . . . . . . . . . . . . . . . . . . . . 263 5.1.2 Sémantiquefonctionnelledesprédicats . . . . . . . . . . . . . . . 266 5.2 Principesdebaseduλ-calcul . . . . . . . . . . . . . . . . . . . . . . . . . 273 5.2.1 Laλ-abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274 5.2.2 L’applicationfonctionnelle. . . . . . . . . . . . . . . . . . . . . . 277 5.2.3 Laβ-réduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284 5.2.4 Unevariétédevariables . . . . . . . . . . . . . . . . . . . . . . . 288 5.3 Langageobjettypé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291 5.3.1 Lestypes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 292 5.3.2 SyntaxedeLOtypé . . . . . . . . . . . . . . . . . . . . . . . . . . 295 5.3.3 SémantiquedeLOtypé. . . . . . . . . . . . . . . . . . . . . . . . 302 5.3.4 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 315 5.4 Ty2etLO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 322 2 5.4.1 Extensionnaliserl’intensionnalité . . . . . . . . . . . . . . . . . . 322 5.4.2 DéfinitiondeLO . . . . . . . . . . . . . . . . . . . . . . . . . . . 324 2 5.4.3 DeLOàLO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 327 2 6 Interfacesyntaxe-sémantique 333 6.1 Boîteàoutilsdel’interfacesyntaxe-sémantique . . . . . . . . . . . . . . 333 6.1.1 Quelqueshypothèsesetnotationssyntaxiques. . . . . . . . . . . 334 6.1.2 Desarbresauxformules . . . . . . . . . . . . . . . . . . . . . . . 337 6.2 Compositionssémantiques . . . . . . . . . . . . . . . . . . . . . . . . . . 341 6.2.1 Usagesdel’applicationfonctionnelle . . . . . . . . . . . . . . . . 341 6.2.2 Lesargumentsimplicites . . . . . . . . . . . . . . . . . . . . . . . 346 6.2.3 Leproblèmedesmodifieurs . . . . . . . . . . . . . . . . . . . . . 350 6.2.4 L’applicationfonctionnelleintensionnelle . . . . . . . . . . . . . 354 6.3 Groupesnominauxetdéterminants . . . . . . . . . . . . . . . . . . . . . 358 6.3.1 Uneanalysegénéraledesgroupesnominaux. . . . . . . . . . . . 358 6.3.2 Lesdéterminants . . . . . . . . . . . . . . . . . . . . . . . . . . . 362 6.3.3 Verbestransitifs. . . . . . . . . . . . . . . . . . . . . . . . . . . . 364 6.4 Versuntraitementappropriédelaquantification . . . . . . . . . . . . . 367 6.4.1 Lequantifying-in . . . . . . . . . . . . . . . . . . . . . . . . . . . 367 6.4.2 Formelogiqueetmontéedesquantificateurs . . . . . . . . . . . . 372 6.4.3 Retouràunepossiblesimplification . . . . . . . . . . . . . . . . 375 6.4.4 D’autresmouvements . . . . . . . . . . . . . . . . . . . . . . . . 377 6.4.5 Variantesetalternatives . . . . . . . . . . . . . . . . . . . . . . . 380 6.5 Quantificateursgénéralisésetstructurestripartites . . . . . . . . . . . . 384 6.5.1 L’avènementdesdéterminantsdansLO . . . . . . . . . . . . . . 384 6.5.2 Propriétésdesdéterminants . . . . . . . . . . . . . . . . . . . . . 390 6.6 Flexibilitéetchangementsdetypes . . . . . . . . . . . . . . . . . . . . . 395 6.6.1 Coordinationetconnecteursgénéralisés . . . . . . . . . . . . . . 395 v Tabledesmatières 6.6.2 Verbestransitifsintensionnels . . . . . . . . . . . . . . . . . . . . 401 6.6.3 Type-shifting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 406 6.7 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 416 A Correctionsdesexercices 421 A.1 Chapitre1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 421 A.2 Chapitre2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 425 A.3 Chapitre3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 439 A.4 Chapitre4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 446 A.5 Chapitre5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 452 A.6 Chapitre6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459 Référencesbibliographiques 467 Index 474 Indexdesauteurscités. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 474 Indexdestermes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 477 vi Avant-propos Il existe de nombreux manuels de sémantique formelle; citons notamment Dow- ty, Wall & Peters (1981); Chierchia & McConnell-Ginet (1990); Gamut (1991a,b); Cann (1994);Heim&Kratzer(1997);deSwart(1998);Corblin(2013);Jacobson(2014);Winter (2016).Cesexcellentsouvragessontenanglais1.Ilnousasemblé,àplusieursdemescol- lèguesetàmoi-même,qu’ilétaitregrettablequelesétudiantsfrancophonesnedisposent pas,dansleurlangue,d’unouvragederéférenced’uneportéecomparableauxréférences susmentionnées.J’aidoncentrepris,ilyaquelquesannées,demettreparécritlescours que je donnais à l’Université Paris 8 et à l’École Normale Supérieure, ne serait-ce que pour offrir aux étudiants un support utile, et parfois secourable, pour leurs révisions, leursbesoinsd’éclaircissementetleursvelléitésd’approfondissement.Lescoursd’intro- ductionàlasémantiqueformelleapparaissentparfois,auxnéophytes,commeâpreset rédhibitoires,deparl’exigencescientifiquedeladisciplineetlacouvertureréduitedes faitslinguistiquestraités;j’aipuconstaterqu’engénéral,lamatièrenerécompenseles étudiants persévérants qu’à l’issue d’un long apprentissage, lorsque le formalisme en- seigné acquiert suffisamment de pouvoir expressif pour aborder un grand éventail et une réelle variété de phénomènes sémantiques. Pour ces raisons, j’ai trouvé opportun d’incluredansuneprésentationunifiée uncertainnombred’avancéesimportantesqui ont enrichi le domaine depuis plus d’un demi-siècle (temporalité, événements, modali- tés,pluralités,degrés,etc.)enprêtantuneattentionparticulièreàlacohérenceglobale duformalismeexposéetnotammentenveillant,autantquepossible,àbienidentifierles conséquencesformellesquechaqueamendementpeutengendrerdanslesystème.Ainsi, avecletemps,leprojetaprisdel’ampleur,etilm’estapparuqu’ilsuscitaitégalement l’intérêtdechercheurs(jeunesouconfirmés)désireuxdes’initier,semettreàjourouse perfectionnerdansladiscipline.Ildevenaitalorsplusraisonnabledediviserlemanuel endeuxvolumes;leprésentvolumeexposelesnotionsdebasedelathéorieetl’essentiel del’outillageformelquilametenœuvre;lesecondprésenteraplusieursapplicationset développementsquiétendentlaportéeduformalisme(sonsommaireestindiquéinfra). Le principal objectif du manuel est de permettre aux lecteurs de se familiariser pro- gressivement avec la définition, le fonctionnement et la manipulation d’un système sé- mantique formel. Il s’agit plus précisément d’un système dans lequel « s’incarne » le paradigmethéoriquecourammentdésignéparl’appellationdeGrammairedeMontague 1Corblin(2013)estuneexceptionnotableettrèsappréciable.Cependantsacouverturen’enfaitpasunein- troductioncomplèteàlaGrammairedeMontague(parexemplel’intensionnalitéetleλ-calculn’ysontpas abordés).Leprésentmanuelseproposed’être,espérons-le,uncomplémentnaturelàceluidemonestimé confrère.MentionnonsaussiGalmiche(1991)qui,àl’inverse,offreuncommentairedétailléetraisonnéde Montague(1973),maissansvraimentadopterladémarchegénéraled’unmanueldesémantiqueformelle. Avant-propos (Montague1970a,b;1973)2telqu’ilapusedévelopperaucoursdesdernièresdécennies. Un autre enjeu important est de proposer, au fil des pages, une introduction à des élé- ments de méthodologie scientifique afin de donner un aperçu des pratiques d’analyse propresàlasémantiqueformelle.Enrevanche,cetouvragen’apasnécessairementpour vocationdedéfendredesanalysessémantiquesparticulières3,mêmes’ilenprésenteet expliqueplusieurs.Ellesnesontdonnéesqu’àtitred’illustrationetpourmotiverlesdi- versdéveloppementsquiviennentrégulièrementamenderleformalisme.Enfin,comme celaapparaîtraassezclairementdanslespagesquisuivent,j’aiprislepartideprivilégier la dimension pédagogique du texte, en m’attachant à anticiper les questionnements et difficultésquej’aipuvoirseposerauxétudiantsdurantmonexpérienced’enseignement, etenayantàcœurd’offriruneprésentationstimulanteetdétenduedecettediscipline encorerichedeperspectives. Sommaireduvolume2: 7. Temporalitéetévénements Le temps retrouvé – Vers une analyse des temps verbaux – Évènements – Temporalité, événementsetcompositionnalité. 8. Pronomsetcontextes Traitements formels des pronoms – Mondes, indices et LO2 – Indexicaux et logique des démonstratifs. 9. Modalités Retourauxmodalités–Conditionnelles–Attitudespropositionnelles. 10. Plurielsetpluralités Despluralitésdanslemodèle–DuplurieldansLO–Pluralitéssanspluriels. 11. Adjectifsetdegrés Sensetdénotationdesadjectif–Comparaisonetgradabilité–Lesautresdegrés. 12. Conclusionetperspectives Références Cann,Ronnie.1994.Formalsemantics:Anintroduction(CambridgeTextbooksinLinguis- tics).Cambridge:CambridgeUniversityPress. Chierchia,Gennaro&SallyMcConnell-Ginet.1990.Meaningandgrammar:Anintroduc- tiontosemantics.Cambridge,MA:MITPress. Corblin,Francis.2013.Coursdesémantique:Introduction(Cursus).Paris:ArmandColin. de Swart, Henriëtte. 1998. Introduction to natural language semantics. Stanford : CSLI Publications. Dowty,DavidR.,RobertE.Wall&StanleyPeters.1981.IntroductiontoMontagueseman- tics.Dordrecht:D.Reidel. 2Àcetégard,ilconvientdepréciserquelemanuelnefournitpasunexposéexhaustifdufragmentdéfini dansMontague(1973)(ontrouveradesprésentationsdédiéesetdétailléesdansDowty,Wall&Peters1981, Gamut1991betGalmiche1991),maisilrendjusticeàlaplupartdesesprincipauxingrédients. 3Ontrouveradenombreuxhandbooksdequalitéquiremplissentprécieusementcettefonction. viii
Description: