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

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

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
Оглавление | Все источники



Поддержите культуру
ЯндексЯндекс. ДеньгиХочу такую же кнопку

Google
 
Web azdesign.ru az-libr.ru


Дата последнего изменения:
Wednesday, 23-Oct-2013 08:58:48 UTC