Дэвид Клемент Макинсон (родился 27 августа 1941 года) — австралийский логик, живущий во Франции. [ необходима цитата ]
Макинсон начал свое обучение в Сиднейском университете в 1958 году и завершил его в Оксфордском университете в 1965 году, получив степень доктора философии по модальной логике под руководством Майкла Даммета. Он работал в Американском университете Бейрута (1965-1982), UNESC0 (1980-2001), Королевском колледже Лондона (2002-2006), Лондонской школе экономики (LSE) (2006-2019), [1] и в настоящее время занимает должность почетного доцента в Университете Квинсленда. [2]
Дэвид Макинсон работает в ряде областей логики, включая модальную логику, деонтическую логику, пересмотр убеждений, неопределенные рассуждения, логику, чувствительную к релевантности, и, в последнее время, темы в истории логики. Среди его вкладов: в 1965 году, будучи аспирантом, он определил парадокс предисловия [3] и адаптировал метод максимальных непротиворечивых множеств для доказательства полноты результатов в модальной логике [ требуется ссылка ] ; в 1969 году он открыл первую простую и естественную пропозициональную логику, лишенную свойства конечной модели [ требуется ссылка ] ; в 1980-х годах вместе с Карлосом Альчурроном и Петером Герденфорсом он создал отчет AGM об изменении убеждений [ требуется ссылка ] ; в начале 2000-х годов вместе с Леоном ван дер Торре он создал логику ввода/вывода; в 2017 году он адаптировал метод деревьев истинности к логике, чувствительной к релевантности. [ требуется ссылка ]