Logique Partielle Et Savoir: Essai de Philosophie Formelle

La semantique formelle des langues naturelles a connu au debut des annees soixante-dix un developpement extraordinaire. Les travaux de Richard Montague font, pour la premiere fois, apparaitre un traitement unifie de la syntaxe et de la semantique des langues naturelles. Ils marquent la naissance de la grammaire universelle. Neanmoins, comme tous les systemes logiques precedents, la grammaire universelle souffre du defaut 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 a tous ceux qui voudraient s'initier aux grammaires de Montague. Les cinq chapitres suivants forment une etude systematique de la logique partielle. Les deux derniers enfin appliquent ce qui precede a l'elaboration d'une logique epistemique.