Биография Брюшинкин Владимир Никифорович

(род. 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.

(1 оценок, среднее: 5,00 из 5)

николай аполлонович майков биография