Дэвид Макинсон

Чтобы узнать об английском игроке в крикет, см. Дэвид Макинсон (игрок в крикет) .

Дэвид Клемент Макинсон (родился 27 августа 1941 г.) — австралийский математик- логик, живущий в Лондоне , Англия .

Карьера

Макинсон начал учебу в Сиднейском университете в 1958 году и был сотрудником Либертарианского общества и Sydney Push . Он является приглашенным профессором Лондонской школы экономики и Лондонского университета ассоциированным членом Центра прикладных исследований и эпистемологии (CREA) Политехнической школы в Париже . Он занимал профессорские должности в Королевском колледже Лондона , Лондонском университете и Американском университете в Бейруте , Ливан . С 1980 по 2001 год работал в ЮНЕСКО , Париж .

Взносы

Дэвид Макинсон высоко ценится за свою работу по пересмотру убеждений , неопределенным рассуждениям и модальной логике . Во время учебы в Оксфордском университете ( Вустер-колледж ) на докторскую степень под руководством Майкла Даммета он выявил парадокс предисловия . создал отчет об изменении теории на ежегодном общем собрании акционеров В рамках пересмотра убеждений он вместе с Карлосом Альчурроном и Питером Герденфорсом . В модальной логике и других неклассических логиках он показал, как установить результаты полноты , адаптировав метод максимального непротиворечивого множества . В 1969 году Макинсон открыл первую простую и естественную логику высказываний, лишенную свойства конечной модели . Вместе с Леоном ван дер Торре он разработал логику ввода/вывода .

Внешние ссылки

• сайт Дэвида Макинсона
• CREA. Архивировано 4 декабря 2013 года в Wayback Machine , Политехническая школа, Париж.