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