Jon Barwise

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 se utiliza la lógica .

Nació en Independence, Missouri , hijo de Kenneth T. y Evelyn Barwise.

Estudiante de Solomon Feferman en la Universidad de Stanford , Barwise comenzó su investigación trabajando en lógica infinita . Tras ocupar puestos en la Universidad de Yale y la Universidad de Wisconsin , durante los cuales sus intereses se centraron 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 impartir clases 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 sostenía que, al explicitar el contexto en el que se formula 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 llevara más allá del ámbito de las oraciones y las relaciones entre oraciones de cualquier lenguaje, natural o formal. En particular, afirmaba que tal enfoque resolvía la paradoja del mentiroso . Utilizó 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 autor del popular libro de texto de lógica Language, Proof and Logic . El texto destaca 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 interdisciplinario centrado en las relaciones entre cognición, lenguaje, lógica y computación. El Premio K. Jon Barwise a las Contribuciones Distinguidas al Programa de Sistemas Simbólicos se ha otorgado periódicamente desde 2001. ^{[ 4 ]}

• Barwise, KJ (1975) Conjuntos y estructuras admisibles. Un enfoque a la teoría de la definibilidad ISBN 0-387-07451-1
• Barwise, KJ y Perry, John (1983) Situaciones y actitudes . Cambridge: MIT Press. ISBN 1-57586-193-3^{[ 5 ]}
• Barwise, KJ y Etchemendy, J. (1987) El mentiroso: Un ensayo sobre la verdad y la circularidad ISBN 0-19-505944-1^{[ 6 ]}
• Barwise, KJ (1988) La situación en la lógica ISBN 0-937073-32-6
• Barwise, KJ y Moss, L. (1996) Círculos viciosos. Sobre las matemáticas de los fenómenos no bien fundamentados ISBN 1-57586-008-2^{[ 7 ]}
• Barwise, K. J. y Seligman, J. (1997) Flujo de información: la lógica de los sistemas distribuidos ISBN 0-521-58386-1
• Barwise, KJ y Etchemendy, J. (2002) Lenguaje, prueba y lógica ISBN 1-57586-374-X
• Barwise, KJ Editor (1977) Manual de lógica matemática . xi+1165 páginas ISBN 0-7204-2285-X
• Barwise, J. y Feferman, S. (editores) (1985) Lógicas basadas en la teoría de modelos . x+893 páginas ISBN 0-387-90936-2

• Premio Barwise
• Teorema de compacidad en sentido horario
• argumento de la honda

• En memoria de Kenneth Jon Barwise por Solomon Feferman The Bulletin of Symbolic Logic vol. 6(4) dic. 2000, pp505–8 ( PostScript )
• K. Jon (Kenneth) Barwise en el Proyecto de Genealogía Matemática