Informations du cours

Le cours présente dans un premier temps les conceptions vériconditionnelles et  inférentielle de la signification dans les langages logiques ainsi que leur application à la représentation des énoncés en langue naturelle. On mettra ensuite en évidence les limites des langages du premier ordre pour la représentation de la signification des énoncés de la langue naturelle, et les solutions que peuvent apporter les langages modaux et les langages typés d’ordre supérieur.