Propose les analyses qui permettent de caractériser l'activité probatoire dans l'unité de son projet et la diversité de ses manifestations (le formalisme et l'activité de preuve ; preuve et logique ; les problèmes des formes d'automatisation de la preuve ; les activités probatoires dans les sciences humaines).