Born in Independence, Missouri to Kenneth T. and Evelyn, he was a precocious child.
Jon Corzine | Jon Stewart | Jon Pertwee | Jon Anderson | Jon Voight | Jon Krakauer | Jon | Jon English | Jon Bon Jovi | Jon Vickers | Jon Lord | Jon Langford | Jon Brion | Jon Huntsman, Jr. | Jon Faddis | Jon Tester | Jon Ronson | Jon Fishman | Uli Jon Roth | Jon Foreman | Jon Hendricks | Jon Fosse | Jon St. James | Jon Spencer Blues Explosion | Jon Postel | Jon Lovitz | Jon Lech Johansen | Jon Lebkowsky | Jon Christensen | The Jon Stewart Show |
Jon Barwise and John Etchemendy, Language, Proof, and Logic, Seven Bridges Press and CSLI, 1999.
Situation theory provides the mathematical foundations to situation semantics, and was developed by writers such as Jon Barwise and Keith Devlin in the 1980s.
Three model-theoretic directions for universal logic have been explored to some depth: abstract model theory axiomatized by Jon Barwise, a topological / categorical approach based on sketches (sometimes called categorical model theory), and yet another categorical approach based on Goguen and Burstall's notion of institution.
His latest book, written with Jon Barwise and Dave Barker-Plummer, is Language, Proof and Logic (2000, 2006), a popular introductory logic textbook.