(род. 26.12.1953) — спец. по логике, филос. логики, истории филос., методол. построения интеллектуальных систем, переводчик англо- и немецкоязычной логической и филос. литературы; д-р филос. наук, проф. Род. в Красноярске. Окончил филос. ф-т МГУ (1977) и асп. по кафедре логики того же ф-та (1980). Работал с 1981 асс. кафедры филос. Всес. заочного ин-та текстильной и легкой промышленности, с 1983 — доц., с 1991 — проф., а с 1996 — зав. кафедрой филос. и логики Кали-нингр. гос. ун-та. Канд. дисс. — "Проблема информативности логических процедур" (1981). Докт. дисс. — "Логическое моделирование процессов мышления" (1990). Член ред.колл. и отв. секретарь "Кантовского сборника", вице-президент Кантовского об-ва. Переводчик на рус. язык трудов Д.Гильберта, Я.Хинтикки, К.Поппера ("Логика научного исследования", "Открытое общество и его враги") и др. совр. зап. философов, логиков. Отв. ред. сб. "Логическое кантоведение—4. Труды международного семинара" (Калининград, 1998). Разрабатываемые проблемы: теория дистрибутивных нормальных форм, синтаксис и семантика логик без сокращения, процедуры поиска вывода в логике предикатов первого порядка, теория информации в логике, проблема психологизма в филос. логики, логика Канта, построение логики интеллектуальных систем на основе трансцендентальной теории интеллекта, соотношение формальной и трансцендентальной логик, теория аргументации, сравнительное иссл. рус. и нем. филос. Полученные результаты: теорема о тривиальной непротиворечивости конституент в секвенциальных системах без сокращений; построение иерархии слабых логик без сокращений и определение для нее семантики и процедуры поиска вывода; программа метапсихологизма в филос. логики, предлагающая как конкретные модели процессов мышления, так и разработку процедур поиска вывода на основе психол. моделей мышления; обоснование интенсиональности логики И.Канта и выявление парадигмы образования его понятия логической формы: разработка логики интеллектуальных систем в виде иерархии разл. логик (дедуктивной, логики правдоподобных рассуждений, естеств. логики); построение трансцендентальной модели интеллекта в соответствии с принципами филос. Канта и применение ее к развитию теории интеллектуальных систем; построение модели взаимодействия формальной и трансцендентальной логик и применение ее к организации процедур поиска вывода; разработка системной модели аргументации, синтезирующей логический, когнитивный и риторический подходы; реконструкция моделей мира, определяющих способы аргументации в текстах, принадлежащих рус. и нем. филос. культурам.
Соч.
: Принцип единства языка и мышления и проблема информативности логических процедур // Идеалы и нормы научного исследования. Минск, 1981; О мерах прирагцения информации в ходе поиска логического вывода // Логика и основания математики. Вильнюс, 1982; О методологическом значении различения понятий "вывод" и "поиск вывода" // ФН. 1984. № 4; Информативность логических процедур // Системные исследования. Ежегодник—1984. М., 1984; Парадигмы Канта: логическая форма // Кантовский сборник. Вып. 10. Калининград, 1985; Кант и силлогистика // Кантовский сборник. Вып. 11. Калининград, 1986; Ме-тапсихологизм в логике // ВФ. 1986. № 12; Системность логических процедур // Системные исследования. Ежегодник—1986. М., 1987; Логика, мышление, информация. Л., 1988; Кант и искусственный интеллект: модели мира // Кантовский сборник. Вып. 15. Калининград, 1990; Трансцендентальная модель интеллекта: моделирование рассуждений // Гуманитарная наука в России: Соросовские лауреаты. Философия, психология. М, 1996; Практический курс логики для гуманитариев: Учебник. М., 1996; Логика интеллектуальных систем: иерархия рассуждений // Современная логика: Проблемы теории, истории и применения в науке. СПб., 1998; Психологизм на пороге XXI века // Логическое кантоведение—4. Труды междунар. семинара. Калининград, 1998.