Logique formelle [SSPSB307]

Objectifs

À l'issue de l'activité d'apprentissage, l'étudiant maîtrisera les notions de base de certaines logiques non classiques. En outre, il sera en mesure de proposer une réflexion critique sur les principes fondamentaux de la logique classique à la lumière de certaines logiques para-consistantes et para-complètes.

Contenu

La tradition logico-philosophique a longtemps tenu pour acquis certains principes parmi lesquels figurent le principe du tiers exclu et le principe de non-contradiction. Toutefois, les recherches logiques prirent, durant le vingtième siècle, un nouvel essor qui contribua à leur ébranlement. En marge de la logique classique se sont ainsi développées des logiques dites non classiques qui renoncent à l'un ou l'autre de ces principes.

Par le biais d'une analyse de la notion de raisonnement correct propre à certaines logiques para-consistantes (permettant de raisonner dans un contexte informationnel inconsistant) et para-complètes (permettant de raisonner dans un contexte informationnel incomplet), ce cours vise à interroger les principes fondamentaux de la logique classique.