デビッド・マキンソン

デイヴィッド・クレメント・マキンソン（1941年8月27日生まれ）は、フランス在住のオーストラリア人論理学者である。^[要出典]

マキンソンは1958年にシドニー大学で研究を開始し、1965年にオックスフォード大学でマイケル・ダメットの指導の下、様相論理学の博士号を取得して同大学を修了した。ベイルート・アメリカン大学（1965-1982年）、UNESC0（1980-2001年）、キングス・カレッジ・ロンドン（2002-2006年）、ロンドン・スクール・オブ・エコノミクス（LSE）（2006-2019年）^[1]で勤務し、現在はクイーンズランド大学の名誉准教授を務めている。^[2]

デイビッド・マキンソンは、様相論理、義務論理、信念修正、不確実推論、関連性感受性論理、そして最近では論理の歴史の話題など、論理のさまざまな分野にわたって研究を行っています。彼の貢献には次のようなものがあります。1965年、大学院生として、彼は序文のパラドックス^[3]を特定し、様相論理における完全性の結果を証明するために最大無矛盾集合法を採用しました^{[引用が必要]}。1969年には、有限モデル特性を欠く最初の単純で自然な命題論理を発見しました^{[引用が必要]。} 1980年代には、カルロス・アルチョロンとピーター・ガーデンフォースとともに、信念変化のAGM説明を作成しました^{[引用が必要]}。2000年代初頭には、レオン・ファン・デル・トーレとともに、入力/出力論理を作成しました。2017年には、関連性感受性論理に真理値木の方法を採用しました。^{[引用が必要]}

• マキンソンのウェブサイト