Джон Барвайз
Кеннет Джон Барвайз ( / ˈ b ɑːr w aɪ z / ; 29 июня 1942 - 5 марта 2000) [1] был американским математиком , философом и логиком , который предложил некоторые фундаментальные изменения в способах логики понимания и использования .
Образование и карьера
[ редактировать ]Он родился в Индепенденсе, штат Миссури , в семье Кеннета Т. и Эвелин Барвайз.
Ученик Соломона Фефермана в Стэнфордском университете , Барвайз начал свои исследования в области бесконечной логики . После должностей доцента в Йельском университете и Университете Висконсина , в течение которых его интересы обратились к естественному языку , он вернулся в Стэнфорд в 1983 году, чтобы возглавить Центр изучения языка и информации (CSLI). Он начал преподавать в Университете Индианы он был избран членом Американской академии искусств и наук . в 1990 году. В 1999 году [2]
В свой последний год Барвайз был приглашен прочитать лекцию Гёделя 2000 года ; он умер до лекции. [3]
Философско-логическая работа
[ редактировать ]Барвайс утверждал, что, если четко указать контекст, в котором предложение сделано , ситуацию , можно устранить многие проблемы в применении логики. Он стремился ... понять значение и вывод в рамках общей теории информации, которая выводит нас за пределы предложений и отношений между предложениями любого языка, естественного или формального. В частности, он утверждал, что такой подход разрешил парадокс лжеца . Он использовал Акселя Питера необоснованную теорию множеств для понимания « порочных кругов » рассуждений.
Барвайз вместе со своим бывшим коллегой по Стэнфорду Джоном Этчеменди был автором популярного учебника по логике « Язык, доказательство и логика» . В отличие от « Справочника по математической логике» , который представлял собой обзор состояния математической логики около 1975 года и редактором которого он был, эта работа была ориентирована на элементарную логику. Текст примечателен тем, что включает в себя домашние задания с помощью компьютера, некоторые из которых обеспечивают визуальное представление логических задач. Во время своего пребывания в Стэнфорде он также был первым директором программы символических систем , межфакультетской программы, посвященной взаимосвязям между познанием, языком, логикой и вычислениями. Премия К. Джона Барвайза за выдающийся вклад в программу символических систем вручается периодически с 2001 года. [4]
Избранные публикации
[ редактировать ]- Барвайз, К.Дж. (1975) Допустимые множества и структуры. Подход к теории определимости ISBN 0-387-07451-1
- Барвайз, К.Дж. и Перри, Джон (1983) Ситуации и отношения . Кембридж: MIT Press. ISBN 1-57586-193-3 [5]
- Барвайз, К.Дж. и Этчеменди, Дж. (1987) Лжец: эссе об истине и цикличности ISBN 0-19-505944-1 [6]
- Барвайз, К.Дж. (1988) Ситуация в логике ISBN 0-937073-32-6
- Барвайз, К.Дж. и Мосс, Л. (1996) Порочные круги. К математике необоснованных явлений ISBN 1-57586-008-2 [7]
- Барвайз, К. Дж. и Селигман, Дж. (1997) Информационный поток: логика распределенных систем ISBN 0-521-58386-1
- Барвайз, К.Дж. и Этчеменди, Дж. (2002) Язык, доказательство и логика ISBN 1-57586-374-X
- Барвайз, редактор KJ (1977) Справочник по математической логике . xi+1165 страниц ISBN 0-7204-2285-X
- Барвайз Дж. и Феферман С. Редакторы (1985) Теоретико-модельная логика . х+893 страниц ISBN 0-387-90936-2
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Уолш, Эйлин (8 марта 2000 г.). «Умер известный логик К. Джон Барвайз» . Стэнфордская служба новостей . Архивировано из оригинала 17 июня 2016 года . Проверено 29 марта 2015 г.
- ^ «Книга участников, 1780–2010: Глава B» (PDF) . Американская академия искусств и наук . Проверено 20 мая 2011 г.
- ^ «Ежегодное собрание Ассоциации символической логики 2000 г.» . Бюллетень символической логики . 6 (3): 361–396. 2000. дои : 10.2307/421070 . ISSN 1079-8986 . JSTOR 421070 .
- ^ «Премия К. Джона Барвайза, Программа символических систем, Стэнфордский университет» . Архивировано из оригинала 15 июня 2017 г. Проверено 29 марта 2015 г.
- ^ Баттерфилд, Джерри (апрель 1986 г.). «Обзор ситуаций и отношений Джона Барвайза и Джона Перри». Философский ежеквартальный журнал . 36 (143): 292–296. дои : 10.2307/2219775 . JSTOR 2219775 .
- ^ Мосс, Лоуренс С. (1989). «Рецензия на книгу «Лжец: эссе Джона Барвайза и Джона Этчеменди о правде и цикличности» (PDF) . Бык. амер. Математика. Соц. (НС) . 20 (2): 216–225. дои : 10.1090/S0273-0979-1989-15770-4 .
- ^ Руттен, JJMM (1998). «Обзор порочных кругов: о математике необоснованных явлений Джона Барвайза и Ларри Мосса» (PDF) . Бык. амер. Математика. Соц. (НС) . 35 (1): 69–75. дои : 10.1090/s0273-0979-98-00735-6 .
Внешние ссылки
[ редактировать ]- В память о Кеннете Джоне Барвайзе Соломона Фефермана. Бюллетень символической логики, том. 6(4) декабрь 2000 г., стр. 505–8 ( PostScript )
- К. Джон (Кеннет) Барвайз в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1942 года рождения
- 2000 смертей
- Американские математики XX века
- Американские писатели научно-популярной литературы XX века
- Американские философы 20-го века
- Американские эссеисты XX века
- Американские эссеисты-мужчины
- Американские писатели-мужчины научной литературы
- Американские ученые-философы
- Смертность от колоректального рака в США
- Члены Американской академии искусств и наук
- Преподаватели Университета Индианы
- Математические логики
- Математики из Миссури
- Американские философы логики
- Американские философы математики
- Писатели-философы
- Выпускники Стэнфордского университета
- Факультет философского факультета Стэнфордского университета
- Факультет Университета Висконсин-Мэдисон
- Писатели из Индепенденса, штат Миссури
- Преподаватели Йельского университета
- Американские писатели-мужчины 20-го века