David Makinson - David Makinson

David Clement Makinson (27 Ağustos 1941 doğumlu), bir Avustralyalı matematiksel mantıkçı yaşayan Londra, İngiltere.

Kariyer

Makinson çalışmalarına Sydney Üniversitesi 1958'de ve Özgürlükçü Toplum ve Sydney Push. Misafir Profesördür. Londra Ekonomi Okulu, Londra Üniversitesi ve ortak bir üyesi Centre de Recherche en Epistémologie Appliquée (CREA), Ecole Polytechnique, Paris. Profesörlük pozisyonlarında bulundu King's College London, Londra Üniversitesi ve Beyrut Amerikan Üniversitesi, Lübnan. 1980'den 2001'e kadar çalıştı UNESCO, Paris.

Katkılar

David Makinson, inanç revizyonu, belirsiz akıl yürütme, ve modal mantık. İçinde okurken Oxford Üniversitesi (Worcester Koleji ) onun için D.Phil gözetiminde Michael Dummett, o tanımladı önsöz paradoksu. İnanç revizyonunda o yarattı Teori değişikliğinin AGM hesabı ile Carlos Alchourrón ve Peter Gärdenfors. Modal mantıkta ve diğer klasik olmayan mantık nasıl kurulacağını gösterdi tamlık yöntemini uyarlayarak sonuçlar maksimum tutarlı küme. 1969'da Makinson, ilk basit ve doğal önerme mantığı eksik sonlu model özelliği. Birlikte Leon van der Torre o geliştirdi giriş / çıkış mantığı.

Dış bağlantılar

• David Makinson web sitesi
• KREA, Ecole Polytechnique, Paris