Смирнова Е. Д.
Елена Дмитриевна Смирнова (девичья фамилия — Циммерман)   (Киев, 28.04.1929 – Москва, 17.02.2017) — выдающийся российский философ, логик, создатель отечественной школы логической семантики, доктор философских наук, профессор. Родилась 28 апреля 1929 года в Киеве в семье врачей.  В 1947 году поступила на биологический факультет МГУ имени М. В. Ломоносова, откуда отчислилась осенью 1948 года.  В 1949 году поступила на философский факультет МГУ, где училась вместе с Ф. Т. Михайловым, Ю. А. Левадой, М. К. Мамардашвили.
В 1960 году поступила в аспирантуру кафедры логики философского факультета МГУ.  Кандидатскую диссертацию «Аналитически-истинные высказывания и проблемы логической семантики» защитила в 1965 году, докторскую диссертацию «Логическая семантика и философские основания логики» — в 1986 году.  С 1996 по 1999 год возглавляла сектор логики Института философии РАН.
В последние годы совмещала работу в МГУ с чтением лекций по логике в Свято-Филаретовском институте.  Умерла 17 февраля 2017 года.
В сфере научных интересов Е. Д. Смирновой находились фундаментальные проблемы философской логики и логической семантики. Она занималась исследованием природы логического знания, обоснованием логических систем, построением семантик различного типа. Основные труды: «Формализованные языки и проблемы логической семантики» (1982), «Логическая семантика и философские основания логики» (1986), «Логика и философия» (1996), «Logic in Philosophy and Philosophical Logic» (2000), «The Logical Legacy of Nikolai Vasiliev and Modern Logic» (соавт., 2017).
Е. Д. Смирнова подготовила более 20 кандидатов философских наук, объединённых её идеями и педагогическим мастерством в оригинальную научную школу.

Логика в философии и философия логики

Логика в философии и философия логики

Смирнова Е. Д.