Introduction A La Philosophie Mathematique

Pour le grand public cultivé, Bertrand 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 de 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, celle de la Vérité. En 1919, Russell écrit cette Introduction à la philosophie mathématique, tentative pour reconstruire les mathématiques en tirant la leçon du (des) paradoxes(s). On trouvera dans cet ouvrage, écrit en prison, une présentation non technique de cette philosophie des mathématiques qu'on appelle le Logicisme. On y découvrira également, en particulier dans les derniers chapitres, les grands traits d'une philosophie de la logique.