LOGIQUE PARTIELLE ET SAVOIR ESSAI DE PHILOSOPHIE FORMELLE

La sémantique formelle des langues naturelles a connu au début des années soixante-dix un développement extraordinaire. Les travaux de Richard Montague font, pour la première fois, apparaître un traitement unifié de la syntaxe et de la sémantique des langues naturelles. Ils marquent la naissance de la grammaire universelle. Néanmoins, comme tous les systèmes logiques précédents, la grammaire universelle souffre du défaut d'omniscience. L'ouvrage se compose de trois parties. Les trois premiers chapitres reprennent et expliquent la grammaire universelle de Montague : ils constituent un compagnon indispensable à tous ceux qui voudraient s'initier aux grammaires de Montague. Les cinq chapitres suivants forment une étude systématique de la logique partielle. Les deux derniers enfin appliquent ce qui précède à l'élaboration d'une logique épistémique.