À 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.
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.
Il s'agit d'un cours magistral ponctué de moments consacrés à la résolution d'exercices.
L'évaluation est orale mais précédée d'un moment de préparation écrite. L'étudiant est invité à répondre à une question de théorie et à résoudre un exercice.
G. Priest - An introduction to non-classical logic (2008)
N.D. Belnap - How a computer should think (1976)
| Formation | Programme d’études | Bloc | Crédits | Obligatoire |
|---|---|---|---|---|
| Bachelier en sciences physiques | Standard | 0 | 2 | |
| Bachelier en sciences géologiques | Standard | 0 | 2 | |
| Bachelier en sciences chimiques | Standard | 0 | 2 | |
| Bachelier en sciences géographiques, orientation générale | Standard | 0 | 2 | |
| Bachelier en sciences biologiques | Standard | 0 | 2 | |
| Bachelier en sciences mathématiques | Standard | 0 | 2 | |
| Bachelier en sciences biologiques | Standard | 3 | 2 |