Jon Barwise - Jon Barwise

Kenneth Jon Barwise ( / b ɑr w aɪ z / ; 29 junio 1942 a 5 marzo 2000) fue un estadounidense matemático , filósofo y lógico que propuso algunas revisiones fundamentales a la forma en que la lógica se entiende y se utiliza.

Educación y carrera

Nacido en Independence, Missouri, hijo de Kenneth T. y Evelyn Barwise, Jon fue un niño precoz.

Alumno de Solomon Feferman en la Universidad de Stanford , Barwise comenzó su investigación en lógica infinita . Después de ocupar el puesto de profesor asistente en la Universidad de Yale y la Universidad de Wisconsin , tiempo durante el cual sus intereses se volvieron 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.

Trabajo filosófico y lógico

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. 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 las oraciones de cualquier lenguaje, natural o formal. En particular, afirmó que ese 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 cual él era el editor, este trabajo tenía como objetivo 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 tiempo en Stanford, también fue el primer Director del Programa de Sistemas Simbólicos , un programa de grado interdepartamental que se enfoca 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.

Publicaciones Seleccionadas

  • 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
  • Barwise, KJ & Etchemendy, J. (1987) The Liar: An Essay in Truth and Circularity ISBN  0-19-505944-1
  • Barwise, KJ (1988) La situación en lógica ISBN  0-937073-32-6
  • Barwise, KJ y Moss, L. (1996) Círculos viciosos. Sobre las matemáticas de fenómenos no bien fundamentados ISBN  1-57586-008-2
  • 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. & Feferman, S. Editors (1985) Model-Theoretic Logics . x + 893 páginas ISBN  0-387-90936-2

Ver también

Referencias

enlaces externos