Кенет Џон Барвајс
| Кенет Џон Барвајз | |
|---|---|
| Лични подаци | |
| Датум рођења | 29. јун 1942. |
| Место рођења | Индепенденс, Мисури, САД |
| Датум смрти | 5. март 2000. |
| САД | |
Кенет Џон Барвајс (29. јун 1942 – 5. март 2000)[1] био је амерички математичар, филозоф и логичар који је предложио неке основне ревизије начину на који се логика данас разуме и користи.
Биографија
[уреди | уреди извор]Рођен у Индепенденсу (Мисури) од родитеља Кенет Т. и Евелин Барвајс, Џон је био превремено рођено дете.
Као ученик Соломона Фефермана на Станфорд универзитету, Барвајс је започео истраживања у инфинитарној логици. Након положаја асистента на универзитетима Јејл и Висконсин, током којих су се његови интереси окренули ка природним језицима, вратио се на Станфорд 1983. да управља центром за изучавање језика и информација. Почео је да предаје на универзитету у Индијани 1990. године. Био је изабран за сарадника на Америчкој академији уметности и науке 1999. године.[2]
Барвајс је тврдио да се многи проблеми у логици могу елиминисати тако што се експлицитно говори о контексту у коме се креира претпоставка, ситуација. Он је настојао „да схвати значење и закључак у оквиру опште теорије информација, онај који нас води ван оквира реченица и односа између реченица било ког језика, природног или формалног”. Нарочито је тврдио да такав приступ решава парадокс лажљиваца. Искористио је теорије Петера Ацзела да би разумео зачарани круг резоновања.
Барвајс, са својим колегом на Станфорду, Џоном Ечхемендимом, аутор је популарног логичког уџбеника Језик, Доказ и Логика. За разлику од Приручника математичке логике, који је био истраживање последње речи технологије о математичкој логици и чији је он био уредник, овај рад је за циљ имао елемнтарну логику. Текст је значајан због укључивања домаћих проблема помоћу рачунара, а неки од њих су пружили визуелан приказ логичких проблема. Током боравка на Станфорду, такође је био први управљач Програма симболичких система, међуодељењског студијског програма који се фокусирао на односе између сазнања, језика, логике и рачунања. Награда Џон Барвајс за истакнут програм симболичких система додељује се повремено почев од 2001. године.[3]
Референце
[уреди | уреди извор]- ^ Wалсх, Еилеен (8. 3. 2000). „Нотед логициан К. Јон Барwисе диес”. Станфорд Неwс Сервице. Архивирано из оригинала 17. 06. 2016. г. Приступљено 07. 05. 2017.
- ^ „Боок оф Мемберс, 1780-2010: Цхаптер Б” (ПДФ). Америцан Ацадемy оф Артс анд Сциенцес. Приступљено 20. 5. 2011.
- ^ „К. Јон Барwисе Аwард, Сyмболиц Сyстермс Програм, Станфорд Университy”. Архивирано из оригинала 15. 06. 2017. г. Приступљено 07. 05. 2017.
