Kenneth Jon Barwise ( / b ɑr w aɪ z / ; 29 junio 1942 a 5 marzo 2000) [1] fue un americano matemático , filósofo y lógico que propuso algunas revisiones fundamentales a la forma en que la lógica se entiende y se usa.
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. [2]
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 resolvía 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. [3]
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 [4]
- Barwise, KJ & Etchemendy, J. (1987) The Liar: An Essay in Truth and CircularityISBN 0-19-505944-1 [5]
- Barwise, KJ (1988) La situación en lógicaISBN 0-937073-32-6
- Barwise, KJ y Moss, L. (1996) Círculos viciosos. Sobre las matemáticas de fenómenos no fundamentadosISBN 1-57586-008-2 [6]
- Barwise, K, J. y Seligman, J. (1997) Flujo de información: la lógica de los sistemas distribuidosISBN 0-521-58386-1
- Barwise, KJ y Etchemendy, J. (2002) Lenguaje, prueba y lógicaISBN 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. Editors (1985) Model-Theoretic Logics . x + 893 páginas ISBN 0-387-90936-2
Ver también
Referencias
- ^ Walsh, Eileen (8 de marzo de 2000). "Muere el reconocido lógico K. Jon Barwise" . Servicio de noticias de Stanford .
- ^ "Libro de Miembros, 1780-2010: Capítulo B" (PDF) . Academia Estadounidense de Artes y Ciencias . Consultado el 20 de mayo de 2011 .
- ^ "Premio K. Jon Barwise, Programa de Systerms Simbólicos, Universidad de Stanford" . Archivado desde el original el 15 de junio de 2017 . Consultado el 29 de marzo de 2015 .
- ^ Butterfield, Jerry (abril de 1986). "Revisión de situaciones y actitudes por Jon Barwise y John Perry". The Philosophical Quarterly . 36 (143): 292-296. doi : 10.2307 / 2219775 . JSTOR 2219775 .
- ^ Moss, Lawrence S. (1989). "Revisión de El mentiroso: un ensayo en la verdad y la circularidad por Jon Barwise y John Etchemendy" (PDF) . Toro. Amer. Matemáticas. Soc. (NS) . 20 (2): 216–225. doi : 10.1090 / S0273-0979-1989-15770-4 .
- ^ Rutten, JJMM (1998). "Revisión de círculos viciosos: sobre las matemáticas de fenómenos no fundamentados por Jon Barwise y Larry Moss" (PDF) . Toro. Amer. Matemáticas. Soc. (NS) . 35 (1): 69–75. doi : 10.1090 / s0273-0979-98-00735-6 .
enlaces externos
- In Memoriam : Kenneth Jon Barwise por Solomon Feferman El Boletín de Lógica Simbólica vol. 6 (4) diciembre de 2000, págs. 505–8 ( PostScript )
- K. Jon (Kenneth) Barwise en el Proyecto de genealogía matemática