Sémantique formelle. Volume 1 : Introduction à la grammaire de Montague

498 Pages·2017·2.46 MB·French

by  Laurent Roussarie

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