Philosophie du langage informatique

Le langage n'a cessé au cours de l'histoire de la pensée de soulever l'interrogation. Le développement des langages formels, les travaux des logiciens, depuis Frege et Turing, ouvraient la voie à l'automatisation du discours et à l'élaboration d'artefacts linguistiques. En même temps, les linguistes révélaient par leurs recherches les structures immanentes aux langues naturelles. Au croisement des théories formelles et des apports de la linguistique, l'informatique dote une machine de tous les apparats du langage. Il s'agit bien sûr de doter l'automate d'un langage qui lui soit propre mais auquel l'utilisateur humain puisse participer

Cet ouvrage présente les communications du colloque tenu les 27, 28, et 29 juin 1995 à Dijon. Hobbes et Descartes face à la mécanique du langage. Leibniz et l'idée d'un langage universel : premiers développements au sein de la civilisation arabe et lien à la physique. L'idée d'une information-limite. Limite et apport de l'analyse informatique du langage dans diverses productions verbales. Philosophie, langage et informatique : la place de la pragmatique. Cognition, compilation et langage. Sémantique des modalités épistémiques et systèmes multi-agents. Des problèmes informatiques liés à la modélisation de la négation. Des problèmes de formalisation de la négation au pouvoir de nier. Logique et sciences du langage. Introduction. La place de la logique dans les sciences du langage. Logique et