>
Sémantique formelle
Volume 1 : Introduction à la grammaire de Montague
Laurent Roussarie

Series

ISBNs

digital: 978-3-96110-017-0
hardcover:
softcover: 978-1-977891-54-9

DOI

DOI: 10.5281/zenodo.1000504
Published: 20171012

Cite as

Roussarie, Laurent . 2017. Sémantique formelle : Volume 1 : Introduction à la grammaire de Montague. (Textbooks in Language Sciences 4). Berlin: Language Science Press.
@book{tbls4,
author = {Roussarie, Laurent },
title = {Sémantique formelle: Volume 1 : Introduction à la grammaire de Montague},
year = {2017},
series = {tbls},
number = {4},
address = {Berlin},
publisher = {Language Science Press}
}

Proofreaders

Typesetters

Illustrators

About this book

Depuis près d'un demi-siècle, la sémantique formelle, à l'intersection féconde de la linguistique, la logique et la philosophie, occupe une place de premier plan dans le domaine de la linguistique théorique.  Ce manuel, le premier en français de cette ampleur, en propose une présentation à la fois introductive et approfondie.  La sémantique formelle est parfois appréhendée avec hésitation (voire redoutée) du fait de sa rigueur mathématique et de l'apparente complexité de son symbolisme ; le présent ouvrage vise à en donner une approche pédagogique, stimulante et dédramatisée.  Il est conçu pour offrir un apprentissage et une maîtrise autonomes et progressifs des principaux aspects conceptuels et formels de la théorie, en accordant une attention particulière aux innovations marquantes qui ont structuré le domaine depuis les travaux fondateurs de R. Montague.  Il a également pour objectif 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 à la sémantique formelle.
Les six chapitres, accompagnés de nombreux exercices corrigés, y abordent les notions de base de logique et de sémantique vériconditionnelle, les phénomènes de quantification, la logique intensionnelle appliquée à la temporalité et les modalités, le ?-calcul typé et l'analyse sémantique compositionnelle à l'interface syntaxe-sémantique.   Le volume sera complété d'un second qui présentera plusieurs applications et développements qui étendent la portée du formalisme.
L'ouvrage s'adresse aux étudiants de licence et master de sciences de langage, mais aussi d'autres disciplines comme, par exemple, la philosophie, la logique, l'informatique, ainsi qu'aux chercheurs désireux de s'initier, se mettre à jour ou se perfectionner dans la discipline.


For nearly half a century formal semantics has been a prominent area in linguistic theory, developed in a fruitful collaboration among linguists, logicians and philosophers. Formal semantics is sometimes regarded with reluctance (even dreaded) due to its mathematical precision and the apparent complexity of its symbolism. This textbook —the first one of this scope in French— provides a relaxed self-contained introduction to the domain, allowing the reader autonomous progressive study from the basic central concepts to significant innovations that have shaped the domain since Montague’s seminal work. Through its chapters, the book provides acquaintance with elements of scientific methodology generally used in formal semantics.
The six chapters, completed with solved exercises, gradually move from basic notions in logic and model-theoretic semantics, to quantification, temporal and modal logic, intensionality, and typed ?-calculus, culminating in compositional semantic analysis at the syntax-semantics interface. This introduction will be supplemented with a second volume that would focus on applications and advances in the field which extend the scope of the formalism.
The book is intended for linguistics undergraduate and postgraduate students and researchers wishing to improve their skills in formal semantics, as well as for students and researchers of other domains, such as philosophy, logic, or computational science.

About Laurent Roussarie

Laurent Roussarie is an associate professor in linguistics at Université Paris 8 Vincennes/St-Denis, teaching semantics, pragmatics and logic, and a researcher at Structures Formelles du Langage CNRS research unit. His research focuses on formal aspects of compositional semantics and of the semantics-pragmatics interface, particularly within the frameworks of dynamic semantics. His main research topics include discourse & dialogue structure, the relation between sentence types and speech acts, and aspect & modality.

 

Laurent Roussarie est docteur en linguistique théorique, formelle et automatique de l'Université Paris 7 Denis Diderot. Il est actuellement maître de conférences en linguistique à l'Université Paris 8 Vincennes/St-Denis où il enseigne la sémantique, la pragmatique et la logique. Il est rattaché à l'UMR Structures formelles du Langage du CNRS. Sa recherche concerne principalement les aspects formels de la sémantique compositionnelle et de l'interface sémantique-pragmatique, en particulier au sein de cadres théoriques de sémantique dynamique. Il travaille notamment sur la structure du discours et du dialogue, les types de phrases et les actes de langage, l'aspect et les modalités.

Chapters