Елена Дмитриевна Смирнова ( 28.04.1929, Киев -17 февраля 2017, Москва) - доктор философских наук (1986).

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

источник