Смирнова Елена Дмитриевна
[28.04.1929]
|
Другие персоны с фамилией Смирнова
Другие персоны с именем Елена Кто родился в этот день 28.04 Кто родился в этот год 1929 |
- специалист по логике; доктор философских наук, профессор
Род. в Киеве.
Окончила философский факультет МГУ (1954), аспирантуру по кафедре логики того же факультета (1963).
С 1963 работает на той же кафедре, в настоящее время - профессор,
а также с 1996 - заведующий сектором логики ИФ РАН, в настоящее время - главный научный сотрудник.
Докторская диссертация - "Логическая семантика и философские основания логики" (1986).
Занимается разработкой проблем современной логики, логической семантики, теории познания, философских оснований логики.
Смирнова развивает концепцию, согласно которой обоснование логических систем опирается на фундаментальные гносеологические и онтологические предпосылки; при этом обоснование систем с более "богатыми" выразительными и дедуктивными возможностями предполагает учет все более глубоких характеристик знания и познания. Ставится задача - исследовать концептуальный аппарат в основе логических систем различного типа.
Ею разработана теория семантических категорий для языков с кванторами и операторами; на этой основе уточняется понятие логической формы. Предложен новый подход к анализу интенсиональных контекстов; в рамках этого подхода строится первопорядковая интенсиональная логика. Построена нестандартная семантика с не всюду определенным предикатом истинности и пресыщенными оценками, позволяющая с единых позиций обосновать широкий класс логических систем и выявить эпистемологические предпосылки, лежащие в их основе.
Исследуется проблема обоснования вводимых в научных теориях идеальных конструктов; в этой плоскости рассматривается финитная установка Д.Гильберта и ее последующие модификации.
Литература и другие источники информации