Смиронова Елена Дмитриевна

Профессор кафедры логики философского факультета МГУ им. М.В. Ломоносова; доктор философских наук; окончила философский факультет МГУ (1954), аспирантуру каф. логики (1963); работает на кафедре с 1963 г.; кандидатская диссертация - "Проблема аналитических и синтетических истин в современной логике и философии" (1965); докторская диссертация - "Логическая семантика и философские основания логики" (1986). Область научных интересов: логическая семантика, логический анализ естественного языка, интенсиональная логика, теория познания, философские основания логики. Основные научные результаты: разработала теорию семантических категорий для языков с кванторами и операторами; на этой основе осуществила уточнение понятия логической формы; построена теория семантических категорий для языков с модальными операторами и интенсиональными предикатами; предложила новый подход к анализу интенсиональных контекстов; в рамках этого подхода построила первопорядковую интенсиональную логику; построила нестандартную семантику с не всюду определенным предикатом истинности и пресыщенными оценками, позволяющую с единых позиций обосновать широкий класс логических систем и выявить эпистемологические предпосылки, лежащие в их основе; исследовала проблему обоснования вводимых в научных теориях идеальных конструктов; в этой плоскости рассмотрела финитную установку Д.Гильберта и ее последующие модификации; предложила нестандартный подход к анализу логико-семантических идей Л.Витгенштейна; исследовала вопросы философских оснований логики (связь логики и мышления, концепции психологизма и антипсихологизма, теоретико-познавательные предпосылки различных типов семантик и др.); предложен нестандартный подход к анализу belief-контекстов