Artículo
Kenneth Jon Barwise, más conocido como Jon Barwise, es un lógico, matemático y filósofo norteamericano que hizo contribuciones muy notables a la investigación matemática en torno a el significado lingüístico, la representación y flujo de información semántica. Nació el 29 de junio de 1942 en Independence (Missouri, USA) y falleció por un cáncer de colon el 5 de marzo de 2000 en Bloomington (Indiana, USA).
Obra de Barwise Las contribuciones de Barwise a la lógica son numerosas, variadas y muy originales (Devlin 2004; Feferman 2000). Investigó los lenguajes lógicos infinitarios, es decir, que admiten fórmulas infinitamente largas; estudió desde un punto de vista lógico las estructuras algebraicas cuyo dominio es un conjunto "admisible"; desarrolló junto a Robin Cooper la teoría de los cuantificadores generalizados; investigó junto a Lawrence Moss la teoría de los hiperconjuntos de Peter Aczel; fue un pionero en el software educativo para la enseñanza-aprendizaje de la lógica; fundó, junto a John Perry primero y un buen número de colaboradores en años sucesivos, la semántica de situaciones, la teoría de situaciones y la teoría de canales. De estos tres últimos logros vamos a decir algo más por su relación con el concepto de información. La lógica como teoría de la información Su artículo "Logic and Infomation" es una especie de manifiesto en el cual defiende que la lógica debe entenderse como parte de una teoría general de la información. Referencias
Obras de Barwise
Obras acerca de Barwise
| Entradas
Julio Ostalé (20-02-2009)
[Corresponde con la primera versión del artículo, ahora recogido en la columna de la izquierda.] Nueva entrada. Cuando se introduzca una nueva entrada copiar este párrafo y las siguientes líneas y pegarlas al final de la columna. A continuación, borrar el párrafo azul superior y sustituir los campos 'nombre', 'fecha' y 'texto'.
Nombre (fecha)
[Texto de Entrada]
|
Glosario (sp) >