Reprend une partie des interventions présentées lors d'un colloque international sur les fondements de la logique et des mathématiques, tenu à Nancy en octobre 2002 : travaux historiques, théorie des catégories, théorie des jeux, fondements cognitifs et approche de la tradition polonaise.