Un enseignement d’introduction à la logique a été assuré durant cinq années (1981-86) par Emmanuel Fournier dans le cadre des certificats de maîtrise en mathématiques et en informatique de l’université Paris 6.
Sujets abordés :
- Principes de logique philosophique et mathématique
- Notions de logique formelle : logique des prédicats, logique des propositions, logique booléenne, logique combinatoire…
- Problèmes de traduction du langage courant en énoncés de logique formelle
- Méthodes de simplification en logique
- Introduction aux logiques non binaires : logique polyvalente, logique floue, logique modale…