1 “... trained a team of researchers that included some of the most important logicians and philosophers...”