Jon Barwise - Jon Barwise

Kenneth Jon Barwise ( / b ɑr w 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