Введение

Американский математик, философ и логик Кеннет Джон Барвайз (Kenneth Jon Barwise; 29 июня 1942 – 5 марта 2000) был американским математиком, философом и логиком, предложившим фундаментальный пересмотр подходов к пониманию и применению логики.

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

Он родился в Индипенденсе, штат Миссури, в семье Кеннета Т. и Эвелин Барвайз. Будучи учеником Соломона Фефермана в Стэнфордском университете, Барвайз начал свои исследования в области бесконечноточной логики. После работы в качестве ассистента профессора в Йельском университете и Университете Висконсина, где его интересы сместились в сторону естественного языка, он вернулся в Стэнфорд в 1983 году, чтобы возглавить Центр изучения языка и информации (CSLI). С 1990 года он преподавал в Университете Индианы. В 1999 году он был избран членом Американской академии искусств и наук. В последний год жизни Барвайза пригласили прочитать лекцию Гёделя за 2000 год, но он скончался до её выступления.

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

Барвайз утверждал, что, чётко определяя контекст, в котором выдвигается утверждение, ситуацию, можно устранить многие проблемы, возникающие при применении логики. Он стремился понять смысл и выводы в рамках общей теории информации, выходящей за рамки предложений и отношений между ними в любом языке – естественном или формальном. В частности, он считал, что такой подход позволяет разрешить парадокс лжеца. Для понимания «порочных кругов» в рассуждениях он использовал неаксиоматическую теорию множеств Питера Ачеля. Барвайз, вместе со своим бывшим коллегой по Стэнфорду Джоном Этчеменди, был автором популярного учебника по логике «Язык, доказательство и логика». В отличие от «Справочника по математической логике», представлявшего собой обзор состояния математической логики примерно 1975 года и редактором которого он был, эта работа была ориентирована на элементарную логику. Учебник примечателен включением домашних заданий с использованием компьютера, некоторые из которых предлагают визуализацию логических задач. В период работы в Стэнфорде он также был первым директором программы «Символические системы» – межфакультетской программы, посвященной взаимосвязи познания, языка, логики и вычислений. Премия имени К. Джона Барвайза за выдающийся вклад в программу «Символические системы» вручается периодически с 2001 года.

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

Барвайз, К. Дж. (1975) Допустимые множества и структуры. Подход к теории определимости.
Барвайз, К. Дж. & Perry, John (1983) Ситуации и аттитюды. Кембридж: MIT Press.
Барвайз, К. Дж. & Etchemendy, J. (1987) Лжец: Эссе об истине и круговороте.
Барвайз, К. Дж. (1988) Ситуация в логике.
Барвайз, К. Дж. & Moss, L. (1996) Порочные круги. О математике необоснованных явлений.
Барвайз, К. Дж. & Seligman, J. (1997) Информационный поток: логика распределённых систем.
Барвайз, К. Дж. & Etchemendy, J. (2002) Язык, доказательство и логика.
Барвайз, К. Дж. (Ред.) (1977) Справочник по математической логике. XI+1165 страниц.
Барвайз, Дж. & Feferman, S. (Ред.) (1985) Модельно-теоретические логики. x+893 страницы.