Брюшинкин Владимир Никифорович
[26.12.1953]
|
Другие персоны с фамилией Брюшинкин
Другие персоны с именем Владимир Кто родился в этот день 26.12 Кто родился в этот год 1953 |
- специалист по логике, философии логики, истории философии, методологии построения интеллектуальных систем, переводчик англо- и немецкоязычной логической и философии литературы; доктор философских наук, профессор
Род. в Красноярске.
Окончил философский факультет МГУ (1977) и аспирантуру по кафедре логики того же факультета (1980).
Работал с 1981 ассистентом кафедры философии Всесоюзного заочного института текстильной и легкой промышленности,
с 1983 - доцент, с 1991 - профессор, а с 1996 - заведующий кафедрой философии и логики Калининградского государственного университета.
Кандидатская диссертация - "Проблема информативности логических процедур" (1981).
Докторская диссертация - "Логическое моделирование процессов мышления" (1990).
Член редакционной коллегии и ответственный секретарь "Кантовского сборника", вице-президент Кантовского общества. Переводчик на русский язык трудов Д.Гильберта, Я.Хинтикки, К.Поппера ("Логика научного исследования", "Открытое общество и его враги") и других современных западных философов, логиков.
Ответственный редактор сборника "Логическое кантоведение-4. Труды международного семинара" (Калининград, 1998).
Разрабатываемые проблемы: теория дистрибутивных нормальных форм, синтаксис и семантика логик без сокращения, процедуры поиска вывода в логике предикатов первого порядка, теория информации в логике, проблема психологизма в философии логики, логика Канта, построение логики интеллектуальных систем на основе трансцендентальной теории интеллекта, соотношение формальной и трансцендентальной логик, теория аргументации, сравнительное исследование русской и немецкой философии.
Полученные результаты: теорема о тривиальной непротиворечивости конституент в секвенциальных системах без сокращений; построение иерархии слабых логик без сокращений и определение для нее семантики и процедуры поиска вывода; программа метапсихологизма в философии логики, предлагающая как конкретные модели процессов мышления, так и разработку процедур поиска вывода на основе психологии моделей мышления; обоснование интенсиональности логики И.Канта и выявление парадигмы образования его понятия логической формы: разработка логики интеллектуальных систем в виде иерархии различных логик (дедуктивной, логики правдоподобных рассуждений, естественной логики); построение трансцендентальной модели интеллекта в соответствии с принципами философии Канта и применение ее к развитию теории интеллектуальных систем; построение модели взаимодействия формальной и трансцендентальной логик и применение ее к организации процедур поиска вывода; разработка системной модели аргументации, синтезирующей логический, когнитивный и риторический подходы; реконструкция моделей мира, определяющих способы аргументации в текстах, принадлежащих русской и немецкой философским культурам.
Литература и другие источники информации