Кенет Џон Барвајс

Кенет Џон Барвајз
Лични подаци
Датум рођења	29. јун 1942.
Место рођења	Индепенденс, Мисури, САД
Датум смрти	5. март 2000.
САД

Кенет Џон Барвајс (29. јун 1942 – 5. март 2000) био је амерички математичар, филозоф и логичар који је предложио неке основне ревизије начину на који се логика данас разуме и користи.

Биографија

Рођен у Индепенденсу (Мисури) од родитеља Кенет Т. и Евелин Барвајс, Џон је био превремено рођено дете.

Као ученик Соломона Фефермана на Станфорд универзитету, Барвајс је започео истраживања у инфинитарној логици. Након положаја асистента на универзитетима Јејл и Висконсин, током којих су се његови интереси окренули ка природним језицима, вратио се на Станфорд 1983. да управља центром за изучавање језика и информација. Почео је да предаје на универзитету у Индијани 1990. године. Био је изабран за сарадника на Америчкој академији уметности и науке 1999. године.

Барвајс је тврдио да се многи проблеми у логици могу елиминисати тако што се експлицитно говори о контексту у коме се креира претпоставка, ситуација. Он је настојао „да схвати значење и закључак у оквиру опште теорије информација, онај који нас води ван оквира реченица и односа између реченица било ког језика, природног или формалног”. Нарочито је тврдио да такав приступ решава парадокс лажљиваца. Искористио је теорије Петера Ацзела да би разумео зачарани круг резоновања.

Барвајс, са својим колегом на Станфорду, Џоном Ечхемендимом, аутор је популарног логичког уџбеника Језик, Доказ и Логика. За разлику од Приручника математичке логике, који је био истраживање последње речи технологије о математичкој логици и чији је он био уредник, овај рад је за циљ имао елемнтарну логику. Текст је значајан због укључивања домаћих проблема помоћу рачунара, а неки од њих су пружили визуелан приказ логичких проблема. Током боравка на Станфорду, такође је био први управљач Програма симболичких система, међуодељењског студијског програма који се фокусирао на односе између сазнања, језика, логике и рачунања. Награда Џон Барвајс за истакнут програм симболичких система додељује се повремено почев од 2001. године.