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 pro­pre­ment tech­ni­que sur ces sys­tè­mes non stan­dards (bien que leur connais­sance soit four­nie au fur et à mesure), nous nous pro­po­sons d’exa­mi­ner les moments par les­quels ils ont été res­ti­tués au cours du XX° s., en dépit du désin­té­rêt ini­tial des fon­da­teurs de la logi­que moderne (Frege, puis Russell-Whitehead), ou des objec­tions de Quine. Il y a aussi une grande dis­tance entre les inté­rêts des notions moda­les prises en elles mêmes et celui qu’impose l’impli­ca­tion stricte, puis entre la séman­ti­que des mondes pos­si­bles et les logi­ques para­consis­tan­tes. Nous exa­mi­ne­rons un échantillon de ces logi­ques et « revi­si­te­rons » à cette occa­sion cer­tains cou­rants anti­ques et médié­vaux.

Séances du séminaire


- 15 décem­bre 2006 - Carlos Lobo : « Le rôle d’Oskar Becker dans la for­mu­la­tion des moda­li­tés syn­taxi­ques. »

- 9 février 2007 - Bernard Besnier : « Histoire de l’impli­ca­tion. »

- 20 avril 2007 - Aimable-André Dufatanye : « Jan Lukasiewicz et le prin­cipe de contra­dic­tion. »

- 11 mai 2007 - Albino Lanciani : « Modalités et pro­ba­bi­li­tés. »