Смирнова Елена Дмитриевна
(28.04.1929, Киев, Украинская ССР – 17.02.2017, г. Москва). Окончила философский факультет МГУ (1954).
Кандидат философских наук (1964). Доктор философских наук (1987). Профессор (1990).
Профессор кафедры логики философского факультета (1988н.вр.).
Заслуженный профессор Московского университета (2000).
Область научных интересов: символическая логика, логическая семантика, теория познания, философские основания логики.
Тема кандидатской диссертации «Аналитически истинные высказывания и проблемы логической семантики». Тема докторской диссертации «Логическая семантика и философские основания логики».
Читала курсы «Логика», «Логическая семантика», «Анализ выразительных возможностей языков и теорий», «Логическая семантика и теория познания», «Логико-философские идеи “Трактата” Витгенштейна», «Семантика и вопросы логического анализа естественных языков».
Основные труды: «Логическая семантика и философские основания логики» (1986), «Логика и философия» (1996), «Logic in Philosophy and Philosophical Logic» (2000), «The Logical Legacy of Nikolai Vasiliev and Modern Logic» (соавт., 2017), учебные пособия «Формализованные языки и проблемы логической семантики» (1982), «Основы логической семантики» (1990).