Sofia YANOVSKAÏA

Sofia YANOVSKAÏA était une mathématicienne, logicienne et philosophe soviétique, pionnière de la logique mathématique en URSS et figure importante du matérialisme dialectique appliqué aux fondements des mathématiques. Née à Slutsk (actuelle Biélorussie) dans une famille juive, elle adhéra au bolchevisme et participa à la révolution avant de se consacrer à l'enseignement et à la recherche à l'Université de Moscou, où elle dirigea longtemps la chaire de logique mathématique.

Sa contribution philosophique et scientifique principale est double. D'une part, elle fut la principale promotrice de la logique mathématique moderne en URSS à une époque où cette discipline était suspecte aux yeux de l'orthodoxie marxiste-léniniste (certains la jugeaient « idéaliste »). Elle traduisit et diffusa les travaux de Frege, Russell et des logiciens de l'École de Vienne, contribuant à l'introduction de la logique formelle dans l'enseignement et la recherche soviétiques. D'autre part, elle s'efforça de montrer la compatibilité entre la logique formelle et le matérialisme dialectique, développant une philosophie des mathématiques qui conciliait rigueur formelle et ancrage matérialiste.

Ses travaux sur les fondements philosophiques des mathématiques et sur l'histoire de la logique — notamment son édition des œuvres de Leibniz et ses études sur les paradoxes logiques — constituent des contributions importantes à la philosophie des mathématiques. Figure de courage intellectuel dans un contexte idéologique contraignant, elle sut défendre la rigueur scientifique tout en navigant habilement dans les contraintes du marxisme soviétique. Son influence sur la formation de plusieurs générations de logiciens soviétiques fut considérable.