ИНТЕЛРОС > №10, 2016 > У нас все слишком хорошо получается

Майкл Данн
У нас все слишком хорошо получается


11 августа 2016

У нас все слишком хорошо получаетсяИнтервью с Майклом Данном, почетным профессором философии, вычислительной техники и информатики в Университете Индианы, одним из крупнейших ныне живущих логиков, специалистом по алгебраическим методам в логике, релевантной и квантовой логикам, редактором «Journal of Symbolic Logic» (1982–1988). Совместно со своим учителем Н. Бэлнапом, Данн сформулировал так называемый «американский план» построения семантик для систем релевантной логики и разработал знаменитую четырехзначную семантику для релевантной логики первого уровня.

Финиковый Компот: В чем разница между философской и математической логикой?

Майкл Данн: Не думаю, что существует какое-то реальное различие. Чтобы было понятно, я должен признаться, что написал книгу «Алгебраические методы в философской логике» вместе с Гэри Хадигри. Я, может быть, слишком циничен, но это различие мне представляется в основном культурным, политическим или маркетинговым. Будучи деканом факультета информатики в Индианском университете, я придумал поговорку: «всюду вижу племена». Я думаю, что это часть нашей природы и нашего воспитания. Жила-была логика, и была она частью философии. Затем математики тоже начали ее изучать. Университеты, их факультеты и дисциплинарные деления развивались, и математикам понадобилось какое-то название, которое бы узаконило такие исследования — отсюда и «математическая логика». Она стала ведущим направлением исследований в логике, включив в себя модальную теорию, теорию рекурсивных функций1 и т.д. Тогда и философам понадобилось имя, которое оправдало бы самостоятельность их собственных логических исследований — отсюда и «философская логика» или что-то типа того.


Вернуться назад