ISBN-13: 9783841744036 / Francuski / Miękka / 2016 / 128 str.
Ce livre est une introduction A la sA(c)mantique formelle. Il s'adresse principalement A des A(c)tudiants en sciences du langage, mais aussi A des A(c)tudiants en mathA(c)matiques ou en logique qui auraient envie de connaA(R)tre les applications de leur discipline au domaine linguistique. La sA(c)mantique formelle est l'A(c)tude du sens, principalement des phrases (mais aussi des discours), basA(c)e sur deux principes qui sont abondamment dA(c)veloppA(c)s ici: la vA(c)ri-conditionnalitA(c) (comprendre le sens d'une phrase c'est comprendre quand elle est vraie relativement A une situation donnA(c)e) et la compositionalitA(c) (le sens d'une unitA(c) supA(c)rieure s'obtient par composition des sens des unitA(c)s qui la constituent). Son A(c)tude nA(c)cessite donc des connaissances en logique qui incluent la logique propositionnelle, la logique des prA(c)dicats voire la thA(c)orie des mondes possibles (pour les logiques dites modales). Mais ce livre pose aussi la question du caractA]re suffisant ou non de la logique classique. Il aborde en effet des sujets (comme la reprA(c)sentation du temps et de l'aspect ou bien la reprA(c)sentation des pluriels) qui semblent requA(c)rir autre chose (topologie, mA(c)rA(c)ologie, voire logique linA(c)aire).
Ce livre est une introduction à la sémantique formelle. Il s'adresse principalement à des étudiants en sciences du langage, mais aussi à des étudiants en mathématiques ou en logique qui auraient envie de connaître les applications de leur discipline au domaine linguistique. La sémantique formelle est l'étude du sens, principalement des phrases (mais aussi des discours), basée sur deux principes qui sont abondamment développés ici: la véri-conditionnalité (comprendre le sens d'une phrase c'est comprendre quand elle est vraie relativement à une situation donnée) et la compositionalité (le sens d'une unité supérieure s'obtient par composition des sens des unités qui la constituent). Son étude nécessite donc des connaissances en logique qui incluent la logique propositionnelle, la logique des prédicats voire la théorie des mondes possibles (pour les logiques dites "modales"). Mais ce livre pose aussi la question du caractère suffisant ou non de la logique classique. Il aborde en effet des sujets (comme la représentation du temps et de l'aspect ou bien la représentation des pluriels) qui semblent requérir autre chose (topologie, méréologie, voire logique linéaire).