Jon Barwise - Jon Barwise
Kenneth Jon Barwise ( / b ɑr w aɪ z / ; 29 de junho de 1942 - 5 de março de 2000) foi um americano matemático , filósofo e lógico que propôs algumas revisões fundamentais para a maneira que a lógica seja compreendida e utilizada.
Educação e carreira
Nascido em Independence, Missouri, filho de Kenneth T. e Evelyn Barwise, Jon foi uma criança precoce.
Aluno de Solomon Feferman na Universidade de Stanford , Barwise iniciou suas pesquisas em lógica infinitaria . Após cargos como professor assistente na Yale University e na University of Wisconsin , período em que seus interesses se voltaram para a linguagem natural , ele voltou para Stanford em 1983 para dirigir o Centro para o Estudo da Linguagem e da Informação . Ele começou a lecionar na Indiana University em 1990. Foi eleito Fellow da American Academy of Arts and Sciences em 1999.
Trabalho filosófico e lógico
Barwise argumentou que, sendo explícito sobre o contexto em que uma proposição é feita, a situação , muitos problemas na aplicação da lógica podem ser eliminados. Ele procurou ... compreender o significado e a inferência dentro de uma teoria geral da informaçã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, ele afirmou que tal abordagem resolvia o paradoxo do mentiroso . Ele fez uso de Peter Aczel 's teoria dos conjuntos não-fundamentada na compreensão ' círculos viciosos ' de raciocínio.
Barwise, junto com seu ex-colega de Stanford John Etchemendy , foi o autor do popular livro de lógica Language, Proof and Logic . Ao contrário do Handbook of Mathematical Logic , que era um levantamento do estado da arte da lógica matemática por volta de 1975, e do qual ele era o editor, este trabalho visava a lógica elementar. O texto é notável por incluir problemas de lição de casa auxiliados por computador, alguns dos quais fornecem representações visuais de problemas lógicos. Durante seu tempo em Stanford, ele também foi o primeiro Diretor do Programa de Sistemas Simbólicos , um programa de graduação interdepartamental com foco nas relações entre cognição, linguagem, lógica e computação. O Prêmio K. Jon Barwise por Contribuições Distintas para o Programa de Sistemas Simbólicos é concedido periodicamente desde 2001.
Publicações selecionadas
- Barwise, KJ (1975) Admissible Sets and Structures. Uma abordagem para a teoria de definibilidade ISBN 0-387-07451-1
- Barwise, KJ & Perry, John (1983) Situations and Attitudes . 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) The Situation in Logic ISBN 0-937073-32-6
- Barwise, KJ & Moss, L. (1996) Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena ISBN 1-57586-008-2
- Barwise, K, J. & Seligman, J. (1997) Information Flow: the Logic of Distributed Systems ISBN 0-521-58386-1
- Barwise, KJ & Etchemendy, J. (2002) Language, Proof and Logic ISBN 1-57586-374-X
- Barwise, KJ Editor (1977) Handbook of Mathematical Logic . 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
Veja também
Referências
links externos
- In Memoriam : Kenneth Jon Barwise de Solomon Feferman The Bulletin of Symbolic Logic vol. 6 (4) dezembro de 2000, páginas 505–8 ( PostScript )
- K. Jon (Kenneth) Barwise no Mathematics Genealogy Project