En 1918 publica "A Survey of Symbolic Logic" en donde formula una familia de axiomas y propone un nuevo condicional más adecuado para recoger el significado de la expresión "si...