L3PH003A - Initiation à la logique formelle - IDrouet

Qu’est-ce qu’un argument correct ? L’objectif principal du cours est de montrer comment cette question peut recevoir une réponse rigoureuse par le recours à la formalisation. Nous montrerons comment la notion d’argument valide peut être définie dans le cadre de la logique propositionnelle déductive puis nous présenterons deux méthodes permettant de statuer sur la correction des arguments propositionnels. Nous étudierons ensuite, toujours pour la logique propositionnelle, un système de preuves : la déduction naturelle. Chemin faisant, nous aborderons quelques questions de philosophie de la logique, portant sur la formalisation, le rapport entre logique et psychologie ou la justification des règles logiques. Un tout dernier moment du cours pourra être consacré aux arguments inductifs et à leur formalisation.