Responsable : Bernard Besnier
Les séances ont lieu à l’Institut Desanti en salle R314 (3e étage) de 10h à 12h et de 14h à 18h. Exception : la séance du 20 avril débute à 15h
Plan d’accès |
Moins qu’une étude proprement technique sur ces systèmes non standards (bien que leur connaissance soit fournie au fur et à mesure), nous nous proposons d’examiner les moments par lesquels ils ont été restitués au cours du XX° s., en dépit du désintérêt initial des fondateurs de la logique moderne (Frege, puis Russell-Whitehead), ou des objections de Quine. Il y a aussi une grande distance entre les intérêts des notions modales prises en elles mêmes et celui qu’impose l’implication stricte, puis entre la sémantique des mondes possibles et les logiques paraconsistantes. Nous examinerons un échantillon de ces logiques et « revisiterons » à cette occasion certains courants antiques et médiévaux.
15 décembre 2006 - Carlos Lobo : « Le rôle d’Oskar Becker dans la formulation des modalités syntaxiques. »
9 février 2007 - Bernard Besnier : « Histoire de l’implication. »
20 avril 2007 - Aimable-André Dufatanye : « Jan Lukasiewicz et le principe de contradiction. »
11 mai 2007 - Albino Lanciani : « Modalités et probabilités. »