Nacido en Independence (Missouri), Estados Unidos, estudió filosofía en la Universidad de Yale y se doctoró en matemáticas en la Universidad de Stanford (1967). Se inició en la actividad académica en las universidades de Yale y Wisconsin, donde estudia los lenguajes naturales. Profesor de filosofía en Stanford (1983-90), donde fue director del Center for the Study of Language and Information y del programa Symbolic Systems. Profesor de filosofía, matemáticas y ciencia computacional en la Universidad de Indiana (1990-2000), donde trabajó en el estudio de formas y razonamientos con diagramas en el Visual Inference Laboratory. Junto con John Etchemendy desarrolló el Hyperproof, un programa capaz de combinar representaciones gráficas y simbólicas de problemas y ayudar a su análisis. Profesor visitante de las universidades de Oxford y California en Los Ángeles. Doctor 'honoris causa' por la Universidad de Pennsylvania. Premio Peter Aczel de la Universidad de Manchester.
Centró su investigación en el estudio teórico acerca del contenido de la información es sus diferentes estados, transformaciones y formas finales de representación, así como el polimorfismo derivado del empleo de los lenguajes digitales, como ya describe en su trabajo pionero Admissible Sets and Structures (1975) o, de forma más compleja, en su libro, escrito con Jerry Seligman, Information Flow: The Logic of Distributed Systems (1997), donde analiza los flujos de información a través sistemas complejos, como los computacionales y los lenguajes naturales. Destaca en esta teoría la noción de 'canal de información', como instancia capaz de preservar la información cuando ésta circula a través de sistemas complejos que interactúan entre sí. En Situations and Attitudes (1999), escrita con John Perry, aborda la 'teoría relacional del significado' lingüístico entre 'situaciones semánticas'. La dimensión filosófica de su pensamiento se proyecta en textos orientados hacia la pedagogía lógica y el social constructivismo como The Language of First-order Logic (1990), Tarski’s World (1991), Turing’s World (1993), Hyperproof (1994) y Language, Proof and Logic (2000). Ha sido traducido: Situaciones y actitudes, con John Perry, A. Machado Editores, Madrid, 1992.