англ. математик, логик, положивший начало разработке логики отношений. В совр. математической логике имя М. носят следующие фундаментальные законы алгебры логики: отрицание конъюнкции равносильно дизъюнкции отрицаний; отрицание дизъюнкции равносильно конъюнкции отрицаний.