Брюшинкин Владимир Никифорович
[26.12.1953]

  Другие персоны с фамилией Брюшинкин
Другие персоны с именем Владимир
Кто родился в этот день 26.12
Кто родился в этот год 1953

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

Литература и другие источники информации




Поддержите культуру
ЯндексЯндекс. ДеньгиХочу такую же кнопку

Google
 
Web azdesign.ru az-libr.ru


Дата последнего изменения:
Monday, 21-Oct-2013 15:27:16 UTC