Должность | Подразделение | Факультет | |||
---|---|---|---|---|---|
Доцент | Кафедра логики | Философский |
М. – специалист по проблемам логики, творчеству немецкого философа и математика Герхарда Генцена.
Год защиты | Тип диссертации | Название диссертации | |
---|---|---|---|
1993 | Кандидатская | Генценовские методы в логике |
Формализация задач Смаллиана // Смирновские чтения Институт философии РАН. 1997. С. 58-59.
Распространение разрешающей процедуры для задач Смаллиана на объекты с переменными свойствами // Современная логика: проблемы теории, истории и применения в науке Материалы V Общероссийской научной конференции. Санкт-Петербургский государственный университет. 1998. С. 240-244.
Об одном усовершенствовании индексного метода И.Н. Бродского // Вестн. С.-Петерб. ун-та. Сер. 6, Философия, политология, социология, психология, право, междунар. отношения. СПб., 2000. Вып. 2. С. 48-54.
О предмете логики // Современная логика: проблемы теории, истории и применения в науке: Материалы VI Междунар. науч. конф., 22-24 июня 2000 г. СПб., 2000. C. 74-76
Logical assessment of observational knowledge in volcanology // Journal of Volcanology and Geothermal Research. 2003. Т. 128. № 1-3. С. 287-298.
Моделирование логических задач // Вестник СПбГУ. Серия 6. 2004. №3.
База данных «Преподавательский корпус Петроградского-Ленинградского университета, 1914–1934 гг.». Отв. редакторы Е.А. Ростовцев, И.В. Сидорчук