Fue uno de los impulsores de la lógica nominalista y de las ideas mertonianas de los calculatores acerca de la dinámica.