СМИРНОВА Елена Дмитриевна

(р. 28.4.1929) — спец. по логике; д. филос. н., проф. Р. в Киеве. Окончила филос. ф-т МГУ (1954), асп. по кафедре логики того же ф-та (1963). С1963 работает на той же кафедре, с 1996 по 2000 — зав. сектором логики ИФ РАН, в наст. вр. — проф. кафедры логики филос. ф-та МГУ. Докт. дисс. — «Логическая семантика и философские основания логики» (1986). Занимается разработкой проблем совр. логики, логич. семантики, теории познания, филос. оснований логики. С. развивает концепцию, согласно к-рой обоснование логич. систем опирается на фундаментальные гносеол. и онтол. предпосылки; при этом обоснование систем с более «богатыми» выразительными и дедуктивными возможностями предполагает учет все более глубоких характеристик знания и познания. Ставится задача — исследовать концепт, аппарат в основе логич. систем разл. типа. Ею разработана теория семантических категорий для языков с кванторами и операторами; на этой основе уточняется понятие логич. формы. Предложен новый подход к анализу интенсиональных контекстов; в рамках этого подхода строится первопорядковая интенсиональная логика. Построена нестандартная семантика с не всюду определ. предикатом истинности и пресыщенными оценками, позволяющая с единых позиций обосновать широкий класс логич. систем и выявить эпистемологические предпосылки, лежащие в их основе. Исследуется проблема обоснования вводимых в науч. теориях идеальных конструктов; в этой плоскости рассматривается финитная установка Д. Гильберта и ее последующие модификации. Предложен обобщающий подход к построению семантики на базе которого: 1. пересматривается известная схема Тарского, в рассмотрение включаются определенные аспекты когерентной концепции истинности; 2. задается нестандартная интерпретация семантических категорий интенсиональных знаков. На основе обобщающего подхода и с учетом не всюду определенности семантических предикатов предлагается нестандартный подход к анализу парадокса Лжеца.
Соч.: К проблеме аналитического и синтетического // Философские вопросы современной формальной логики. М., 1962; Теория семантических категорий: синтаксическая структура и логическая форма предложений // Проблеми на логиката. Болгарская академия наук. София, 1973; Философское значение теорем об ограниченности формализмов // Философские вопросы логического анализа научного знания. Ереван, 1974; Непротиворечивость и элиминируемость в гильбертовской теории доказательства // Философия в современном мире: Философия и логика. М., 1974; Формализованные языки и проблемы логической семантики. М., 1982; Логическая семантика и философские основания логики. М., 1986; Основы логической семантики: Учебное пособие. М., 1990; И. Кант и гильбертовская теория доказательства // Логические исследования. Вып. 3. М., 1995; Логика и философия. М., 1996; Метод идеальных элементов и обоснование аподитического знания // Гуманитарная наука в России: Соросовские лауреаты. М., 1996; И. Кант и финитная установка Д. Гильберта // Логические исследования. Вып. 4. М., 1997; К вопросу о «психологизме» в логике//Логическое кантоведение-4. Калининград, 1997; Логика в философии и философская логика. N. Y; Ontario, 2000; О загадке контекстов мнения. Подход к семантике интенсиональных систем // Логические исследования. Вып. 8. М., 2001; К вопросу уточнения понятия аналитичности // Логические исследования. Вып. 9. М., 2002; Обобщающий подход к построению семантики и его методологическое значение // Логические исследования. Вып. 12. М., 2005; Теория семантических категорий и вопросы онтологии языка // Труды научно-исследовательского семи нара сектора логики ИФ РАН. М., 2006; Подходы к обоснованию семантики паранепротиворечивой логики (англ.) // First World Congress on paraconsistency. Ghent University, 1997; «Строительные леса» мира и логика. Логико-семантический анализ Трактата Л. Витгенштейна (англ.) // Analyomen 2. Vol. II. Philosophy of Language. Metaphysics. Berlin; N. Y, 1997.