|  | 

Б

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

(род. 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 Звезда2 Звезды3 Звезды4 Звезды5 Звезд (Пока оценок нет)
Loading...

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

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