Кеннет Джон Барвайз ( / ˈ b ɑːr w aɪ z / ; 29 июня 1942 — 5 марта 2000) [1] был американским математиком , философом и логиком , который предложил некоторые фундаментальные изменения в том, как понимается и используется логика .
Он родился в Индепенденсе, штат Миссури , в семье Кеннета Т. и Эвелин Барвайз.
Ученик Соломона Фефермана в Стэнфордском университете , Барвайс начал свои исследования в области бесконечной логики . После должностей доцента в Йельском университете и Университете Висконсина , в течение которых его интересы обратились к естественному языку , он вернулся в Стэнфорд в 1983 году, чтобы возглавить Центр изучения языка и информации (CSLI). Он начал преподавать в Университете Индианы в 1990 году . В 1999 году он был избран членом Американской академии искусств и наук.
В свой последний год Барвайз был приглашен прочитать лекцию Гёделя 2000 года ; он умер до лекции. [3]
Барвайз утверждал, что, если четко указать контекст, в котором сделано предложение , ситуацию , можно устранить многие проблемы в применении логики. Он стремился ... понять значение и вывод в рамках общей теории информации, которая выводит нас за пределы предложений и отношений между предложениями любого языка, естественного или формального. В частности, он утверждал, что такой подход разрешил парадокс лжеца . Он использовал необоснованную теорию множеств Питера Акселя для понимания « порочных кругов » рассуждений.
Барвайз вместе со своим бывшим коллегой по Стэнфорду Джоном Этчеменди был автором популярного учебника по логике « Язык, доказательство и логика» . В отличие от «Справочника по математической логике» , который представлял собой обзор состояния математической логики около 1975 года и редактором которого он был, эта работа была ориентирована на элементарную логику. Текст примечателен тем, что включает в себя домашние задания с помощью компьютера, некоторые из которых обеспечивают визуальное представление логических задач. Во время своего пребывания в Стэнфорде он также был первым директором программы символических систем , межфакультетской программы, посвященной взаимосвязям между познанием, языком, логикой и вычислениями. Премия К. Джона Барвайза за выдающийся вклад в программу символических систем вручается периодически с 2001 года. [4]