Raisonner

Jean-Luc Gautero

La formalisation  d'un énoncé n'a pas pour unique intérêt de le comprendre plus clairement: elle permet aussi de le transformer plus rapidement et plus sûrement qu'en le conservant sous une forme purement verbale, et de reconnaître ainsi le même contenu dans des énoncés en apparence différents ; elle permet aussi de voir comment d'un ensemble d'énoncés on peut tirer correctement certaines conclusions. C'est ce que l'on apprendra à faire ce semestre, à l'aide de formules dont certaines auront déjà été données dans le cours du premier semestre Les articulations logiques de l'argumentation. Cette partie du cours se situera dans le cadre de la logique propositionnelle classique. On verra ensuite, en fin de semestre, les raisonnements les plus simples que l'on peut faire en logique des prédicats, ceux qui sont des applications directes de la syllogistique aristotélicienne.

Les enregistrements de ce cours seront disponibles sur le bureau virtuel et sur iTunes Université.