Le formalisme en question

La dynamique des sciences se déploie selon des temporalités multiples qui possèdent leurs propres rythmes. De ce point de vue, l’exercice qui consiste à scander en décennies l’histoire de la logique et des sciences formelles est périlleux. Peut-on aller au-delà et tenter de donner sens à cette décennie des années trente? La fin du logicisme, l’avènement de nouvelles logiques, le développement du formalisme, ses limitations internes, sa critique externe et les approches formelles du langage sont six traits caractéristiques explorés dans ce recueil d’articles qui font apparaître l’éloignement ainsi que la proximité des années trente et de cette fin de siècle.