 | Este artigo carece dereciclagem de acordo com olivro de estilo. Sinta-se livre para editá-lo(a) para que este(a) possa atingir umnível de qualidade superior.(Setembro de 2013) |
| Kenneth Jon Barwise | |
|---|---|
| Conhecido(a) por | Programa de Sistemas Simbólicos |
| Nascimento | 29 de junho de1942 Independence (Missouri) |
| Morte | 5 de março de2000 (57 anos) |
| Causa da morte | câncer colorretal |
| Nacionalidade | norte-americano |
| Prêmios | Prêmio Barwise |
| Campo(s) | lógico,matemático |
Kenneth Jon Barwise (29 de junho de 1942 – 5 de março de 2000) foi ummatemáticoamericano,filósofo elógico que propôs algumas revisões fundamentais na maneira em que alógica é entendida e usada.
Nasceu emIndependence, Missouri. Para Kenneth T. e Evelyn, ele era uma criança precoce.
Aluno deSolomon Feferman naUniversidade de Stanford, Barwise começou suas pesquisas nalógica infinitária. Depois do cargo de professor assistente nas Universidades deYale eWisconsin, periodo no qual se interessou nalinguagem natural, ele retornou a Stanford em 1983 para dirigir oCentro para Estudos da Língua e Informação. Ele lecionou naUniversidade de Indiana em 1990 e foi eleito membro daAcademia de Artes e Ciências dos Estados Unidos em 1999.[1]
Barwise sustentou que, por ser explícito sobre o contexto em que umaproposição é feita, asituação, muitos problemas na aplicação da lógica podem ser eliminados. Ele buscou... entender o significado e inferência dentro da teoria geral da informação, o que nos leva para fora do reino das sentenças e relações entre sentenças de qualquer linguagem, natural ou formal. Em particular, Jon alegou que tal abordagem resolveu oparadoxo do mentiroso. Ele fez uso da teoria dosConjuntos Não-Bem-Fundados dePeter Aczel na compreensão do "ciclo interminável" de raciocínio.
Barwise, juntamente com o seu antigo colega na Universidade de StanfordJohn Etchemendy, foi o autor do popular livro de lógicaLanguage, Proof and Logic. Ao contrário deHandbook, que foi uma pesquisa sobre o estado da arte daLógica Matemática c. 1975, este trabalho foi direcionado à lógica elementar. O texto é notável por incluir programas de computador em problemas, alguns dos quais são providos de representação visual dos problemas lógicos. Durante o tempo que ficou em Stanford, ele também foi o primeiro diretor dosProgramas de Sistemas Simbólicos, um programa de grau de inter-serviços focado nas relações entre percepção, linguagem, lógica, e computação. O prêmio K. Jon Barwise pela Notável Contribuição aos Programas de Sistemas Simbólicos é dado periodicamente desde 2001.[2]
