Kenneth Jon Barwise ( / ˈ b ɑːr w aɪ 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 utiliza la lógica .
Nació en Independence, Missouri , hijo de Kenneth T. y Evelyn Barwise.
Barwise , alumno de Solomon Feferman en la Universidad de Stanford , comenzó su investigación en lógica infinita . Después de ocupar puestos como profesor asistente en la Universidad de Yale y la Universidad de Wisconsin , tiempo durante el cual sus intereses giraron hacia el lenguaje natural , regresó a Stanford en 1983 para dirigir el Centro para el Estudio del Lenguaje y la Información . Comenzó a enseñar en la Universidad de Indiana en 1990. Fue elegido miembro de la Academia Estadounidense de Artes y 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 sobre el 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. Buscaba ... 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 fundamentada 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 se destaca por incluir problemas de tarea asistidos por computadora, algunos de los cuales proporcionan representaciones visuales de problemas lógicos. Durante su estancia en Stanford, también fue el primer director del Programa de Sistemas Simbólicos, un programa de grado interdepartamental que se centra en las relaciones entre cognición, lenguaje, lógica y computación. El Premio K. Jon Barwise por Contribuciones Distinguidas al Programa de Sistemas Simbólicos se otorga periódicamente desde 2001. [4]