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