champs scientifiques spécifiques (physique, biologie). Ces contributions (J.-Y. Girard, J.-B. Joinet et G. Longo, T. Paul) visent à dégager un nouveau statut épistémologique pour la logique et les mathématiques, et à tirer les leçons philosophiques de ces évolutions quant à la rationalité scientifique et l’intelligibilité de la nature. Dans la seconde partie, intitulée Questions sémantiques : réalisme, règles et vérité, les contributeurs (S. Tronçon, P. Dehornoy, G. Dowek, P. Livet, D. Bonnay) revisitent les grandes notions sémantiques traditionnelles sous l’angle des évolutions récentes de la logique dans son dialogue avec l’informatique fondamentale. |