Джон Барвайз

Джон Барвайз Кеннет Джон Барвайз был американским философом и логиком.  Он возглавлял Центр изучения языка и информации и преподавал в […]

Джон Барвайз

  • Кеннет Джон Барвайз был американским философом и логиком. 
  • Он возглавлял Центр изучения языка и информации и преподавал в Индианском университете. 
  • Барвайз искал способы устранения проблем в применении логики, описывая контекст высказываний. 
  • Он использовал необоснованную теорию множеств Питера Эйзела для понимания «порочных кругов» рассуждения. 
  • Барвайз и его коллега Джон Этчеменди написали популярный учебник по логике «Язык, доказательство и логика». 
  • Он внес вклад в программу символьных систем, которая получила премию его имени. 
  • Барвайз опубликовал несколько книг и редактировал справочник по математической логике. 

Полный текст статьи:

Джон Барвайз — Википедия, бесплатная энциклопедия

Оставьте комментарий

Прокрутить вверх