Durante su segundo año en Harvard, Kripke enseñó un curso de lógica para graduados en el MIT.