Кеннет Джон Barwise ( / б ɑːr ж aɪ г / , 29 июня 1942 - 5 марта 2000) [1] был американский математик , философ и логик , который предложил некоторые фундаментальные изменения к так , что логика понимается и используется.
Образование и карьера
Джон родился в Индепенденсе, штат Миссури, в семье Кеннета Т. и Эвелин Барвайз.
Ученик Соломона Фефермана в Стэнфордском университете , Барвайз начал свои исследования в области бесконечной логики . После должностей доцента в Йельском университете и Университете Висконсина , в течение которых его интересы обратились к естественному языку , он вернулся в Стэнфорд в 1983 году, чтобы возглавить Центр изучения языка и информации . Он начал преподавать в Университете Индианы в 1990 году. В 1999 году он был избран членом Американской академии искусств и наук [2].
Философско-логическая работа
Барвайз утверждал, что, если четко указать контекст, в котором сделано предложение , ситуацию , можно устранить многие проблемы в применении логики. Он стремился ... понять значение и умозаключение в рамках общей теории информации, которая выводит нас за пределы области предложений и отношений между предложениями любого языка, естественного или формального. В частности, он утверждал, что такой подход разрешил парадокс лжецов . Он использовал Питер Aczél «s , не вполне обоснованные теории множеств в понимании„ порочный круг “рассуждений.
Барвайз вместе со своим бывшим коллегой по Стэнфордскому университету Джоном Эчменди был автором популярного учебника логики « Язык, доказательство и логика» . В отличие от « Справочника по математической логике» , который представлял собой обзор современного состояния математической логики примерно в 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]
- Барвайз, KJ (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
Смотрите также
Рекомендации
- ^ Уолш, Эйлин (8 марта 2000 г.). «Знаменитый логик К. Джон Барвайз умирает» . Стэнфордская служба новостей .
- ^ «Книга членов, 1780-2010: Глава B» (PDF) . Американская академия искусств и наук . Проверено 20 мая 2011 года .
- ^ «Премия К. Джона Барвайса, Программа символических систем, Стэнфордский университет» . Архивировано из оригинала на 2017-06-15 . Проверено 29 марта 2015 .
- ^ Баттерфилд, Джерри (апрель 1986). «Обзор ситуаций и отношений Джона Барвайза и Джона Перри». The Philosophical Quarterly . 36 (143): 292–296. DOI : 10.2307 / 2219775 . JSTOR 2219775 .
- ^ Мосс, Лоуренс С. (1989). "Обзор Лжеца: эссе в правде и циркулярности Джона Барвайза и Джона Этчменди" (PDF) . Бык. Амер. Математика. Soc. (NS) . 20 (2): 216–225. DOI : 10.1090 / S0273-0979-1989-15770-4 .
- ^ Руттен, JJMM (1998). "Обзор порочных кругов: по математике необоснованных явлений Джоном Барвайзом и Ларри Моссом" (PDF) . Бык. Амер. Математика. Soc. (NS) . 35 (1): 69–75. DOI : 10,1090 / s0273-0979-98-00735-6 .
Внешние ссылки
- Памяти Кеннета Джона Барвайса Соломона Фефермана Бюллетень символической логики, том. 6 (4) декабрь 2000 г., стр. 505–8 ( PostScript )
- К. Джон (Кеннет) Барвайз на проекте « Математическая генеалогия»