| 雅诺夫斯卡娅 Софья Александровна Яновская1896—1966 苏联逻辑学家。苏联数理逻辑的创始人。物理学、数学博士。《苏联哲学百科全书》学术顾问(1960)。1925年起任莫斯科大学教授。认为数理逻辑的任务在于用数学的方法使逻辑成为一门精确的科学。有必要使用已经研究出来的数学手段，使逻辑的概念和方法更加准确，以便借助于这些概念和方法用数学手段解决数学和逻辑的难题。所作《数学及数理逻辑基础》、《数理逻辑及数学基础》等论文对苏联的数理逻辑发展起了巨大推动作用。从50年代后期开始，指导并推动了关于数理逻辑思想和方法的形成史的研究。主要著作还有《论所谓通过抽象下定义》、《论数理逻辑的哲学问题》等。 |