Kenneth Jon Barwise ( / ˈbɑːrwaɪz / ; 29 de junio de 1942 – 5 de marzo de 2000) [ 1] fue un matemático, filósofo y lógico estadounidense que propuso algunas revisiones fundamentales a la forma en que se entiende y se utiliza la lógica .
Nació en Independence, Missouri , hijo de Kenneth T. y Evelyn Barwise.
Alumno de Solomon Feferman en la Universidad de Stanford , Barwise comenzó su investigación en lógica infinitaria . Después de ocupar puestos como profesor adjunto en la Universidad de Yale y la Universidad de Wisconsin , durante los cuales su interés se centró en el lenguaje natural , regresó a Stanford en 1983 para dirigir el Centro para el Estudio del Lenguaje y la Información (CSLI). Comenzó a enseñar en la Universidad de Indiana en 1990. Fue elegido miembro de la Academia Estadounidense de las Artes y las Ciencias en 1999. [2]
En su último año, Barwise fue invitado a dar la Conferencia Gödel de 2000 ; murió antes de la conferencia. [3]
Barwise sostuvo que, al ser explícito acerca del contexto en el que se hace una proposición , la situación , se pueden eliminar muchos problemas en la aplicación de la lógica. Buscó ... comprender el significado y la inferencia dentro de una teoría general de la información, una que nos lleve fuera del ámbito de las oraciones y las relaciones entre oraciones de cualquier lenguaje, natural o formal. En particular, afirmó que tal enfoque resolvió la paradoja del mentiroso . Hizo uso de la teoría de conjuntos no bien fundada de Peter Aczel para comprender los " círculos viciosos " del razonamiento.
Barwise, junto con su antiguo colega en Stanford John Etchemendy , fue el autor del popular libro de texto de lógica Language, Proof and Logic . A diferencia del Handbook of Mathematical Logic , que era un estudio del estado del arte de la lógica matemática alrededor de 1975, y del que fue editor, este trabajo se centró en la lógica elemental. El texto es notable por incluir problemas de tarea asistidos por computadora, algunos de los cuales proporcionan representaciones visuales de problemas lógicos. Durante su tiempo en Stanford, también fue el primer director del Programa de Sistemas Simbólicos , un programa de grado interdepartamental centrado en las relaciones entre la cognición, el lenguaje, la lógica y la computación. El Premio K. Jon Barwise por Contribuciones Distinguidas al Programa de Sistemas Simbólicos se ha otorgado periódicamente desde 2001. [4]