Джон Барвайз - Jon Barwise

Кеннет Джон Barwise ( / б ɑːr ж aɪ г / , 29 июня 1942 - 5 марта 2000) был американский математик , философ и логик , который предложил некоторые фундаментальные изменения к так , что логика понимается и используется.

Образование и карьера

Джон родился в Индепенденсе, штат Миссури, в семье Кеннета Т. и Эвелин Барвайз.

Ученик Соломона Фефермана в Стэнфордском университете , Барвайз начал свои исследования в области бесконечной логики . После должностей доцента в Йельском университете и Университете Висконсина , в течение которых его интересы обратились к естественному языку , он вернулся в Стэнфорд в 1983 году, чтобы возглавить Центр изучения языка и информации . Он начал преподавать в Университете Индианы в 1990 году. В 1999 году он был избран членом Американской академии искусств и наук .

Философско-логическая работа

Барвайз утверждал, что, если четко указать контекст, в котором делается предложение , ситуация , многие проблемы в применении логики могут быть устранены. Он стремился ... понять значение и умозаключение в рамках общей теории информации, которая выводит нас за пределы области предложений и отношений между предложениями любого языка, естественного или формального. В частности, он утверждал, что такой подход разрешил парадокс лжецов . Он использовал Питер Aczél «s , не вполне обоснованные теории множеств в понимании„ порочный круг “рассуждений.

Барвайз вместе со своим бывшим коллегой по Стэнфордскому университету Джоном Эчменди был автором популярного учебника логики « Язык, доказательство и логика» . В отличие от « Справочника по математической логике» , который представлял собой обзор современного состояния математической логики примерно в 1975 году и редактором которого он был, эта работа была ориентирована на элементарную логику. Текст примечателен включением компьютерных домашних заданий, некоторые из которых обеспечивают визуальное представление логических задач. Во время своего пребывания в Стэнфорде он также был первым директором программы символических систем , межведомственной программы на получение степени, посвященной взаимосвязям между познанием, языком, логикой и вычислениями. Премия К. Джона Барвайза за выдающийся вклад в программу символических систем вручается периодически с 2001 года.

Избранные публикации

  • Барвайз, К.Дж. (1975) Допустимые множества и структуры. Подход к теории определимости ISBN  0-387-07451-1
  • Барвайз, К. Дж. И Перри, Джон (1983) Ситуации и отношения . Кембридж: MIT Press. ISBN  1-57586-193-3
  • Барвайз, К.Дж. и Этчеменди, Дж. (1987) Лжец: эссе в правде и кругозоре ISBN  0-19-505944-1
  • Барвайз, KJ (1988) Ситуация в ISBN  логики 0-937073-32-6
  • Барвайз, К. Дж. И Мосс, Л. (1996) Порочные круги. По математике необоснованных явлений ISBN  1-57586-008-2
  • Барвайз, К., Дж. И Селигман, Дж. (1997) Информационный поток: логика распределенных систем ISBN  0-521-58386-1
  • Барвайз, К. Дж. И Этчменди, Дж. (2002) ISBN языка, доказательства и логики 1-57586-374-X 
  • Барвайз, редактор К.Дж. (1977) Справочник по математической логике . xi + 1165 страниц ISBN  0-7204-2285-X
  • Барвайз Дж. И Феферман С. Редакторы (1985) Теоретико-модельная логика . x + 893 стр. ISBN  0-387-90936-2

Смотрите также

использованная литература

внешние ссылки