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

Кеннет Джон Барвайз (/ˈбɑːrшаɪz/; 29 июня 1942 г. - 5 марта 2000 г.)[1] был Американец математик, философ и логик кто предложил фундаментальные изменения в том, как логика понимается и используется.

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

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

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

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

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

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

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

  • Барвайз, К. Дж. (1975) Допустимые множества и структуры. Подход к теории определимости ISBN  0-387-07451-1
  • Барвайз, К. Дж. И Перри, Джон (1983) Ситуации и отношения. Кембридж: MIT Press. ISBN  1-57586-193-3[4]
  • Барвайз, К. Дж. И Этчменди, Дж. (1987) Лжец: эссе в истине и кругозоре ISBN  0-19-505944-1[5]
  • Барвайз, К. Дж. (1988) Ситуация в логике ISBN  0-937073-32-6
  • Барвайз, К. Дж. И Мосс, Л. (1996) Порочные круги. К математике необоснованных явлений ISBN  1-57586-008-2[6]
  • Барвайз, К., Дж. И Селигман, Дж. (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

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

Рекомендации

  1. ^ Уолш, Эйлин (8 марта 2000 г.). "Знаменитый логик К. Джон Барвайз умирает". Стэнфордская служба новостей.
  2. ^ "Книга членов, 1780-2010: Глава B" (PDF). Американская академия искусств и наук. Получено 20 мая, 2011.
  3. ^ «Премия К. Джона Барвайса, программа символических систем, Стэнфордский университет». Архивировано из оригинал на 2017-06-15. Получено 2015-03-29.
  4. ^ Баттерфилд, Джерри (апрель 1986). "Обзор Ситуации и отношения Джона Барвайса и Джона Перри ". Философский квартал. 36 (143): 292–296. Дои:10.2307/2219775. JSTOR  2219775.
  5. ^ Мосс, Лоуренс С. (1989). "Обзор Лжец: эссе правдиво и по кругу Джона Барвайса и Джона Эчменди " (PDF). Бык. Амер. Математика. Soc. (Н.С.). 20 (2): 216–225. Дои:10.1090 / S0273-0979-1989-15770-4.
  6. ^ Руттен, Дж. Дж. М. М. (1998). "Обзор Замкнутые круги: О математике необоснованных явлений Джона Барвайса и Ларри Мосса " (PDF). Бык. Амер. Математика. Soc. (Н.С.). 35 (1): 69–75. Дои:10.1090 / s0273-0979-98-00735-6.

внешняя ссылка