Estudià a Harvard, s’inicià com a professor a Berkeley del 1914 al 1920 i fou catedràtic a Harvard des del 1930. És conegut per les seves contribucions al camp de la lògica modal i, molt especialment, pel que fa al càlcul que ell mateix anomenà de la implicació estricta i que sorgí d’una crítica del concepte clàssic d’implicació lògica.