Introduction à la philosophie mathématique

Pour le grand public cultivé, Betrand Russell (1872 - 1970) a laissé son nom à deux choses : un paradoxe et un tribunal. Le tribunal Russell, ou Tribunal international pour les crimes de guerre, fondé en 1966, avait vocation à "exposer à la conscience de l'humanité" les violations du droit des gens commises pendant la guerre du Viêt-nam. Le paradoxe de Russell, découvert au printemps 1901, touchait aux fondements logiques les plus profonds de la pensée : il devait ouvrir la "crise des fondements" en philosophie des mathématiques. Qu'il s'agisse de logique ou de guerre, une même passion anime Russell : la vérité. En 1919, il écrit cette Introduction à la philosophie mathématique, tentative pour reconstruire les mathématiques en tirant la leçon des paradoxes ; on trouvera dans ce livre écrit en prison une présentation non technique de cette philosophie des mathématiques qu'on appelle le "logicisme". On y découvrira également les grands traits d'une philosophie de la logique.