También fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico.