Realizó contribuciones en los campos de la lógica matemática, lógica filosófica, filosofía de la matemática, epistemología, teoría del lenguaje y filosofía de la ciencia.