Kenneth Jon Barwise was an American mathematician, philosopher and logician who proposed fundamental revisions to the way that logic is understood and used. A pupil of Solomon Feferman at Stanford University, Barwise started his research in infinitary logic. After positions as assistant professor at the Universities of Yale and Wisconsin, during which time his interests turned to natural language, he returned to Stanford in 1983 to direct the Center for the Study of Language and Information. He began teaching at Indiana University in 1990. He was elected a Fellow of the American Academy of Arts and Sciences in 1999. He died in 2000. Indiana University School of Informatics has named a fellowship for Master's and doctoral degree students in his honor.
Kenneth Jon Barwise
American Academy of Arts and Sciences