Введение

Американский философ Джон В. Этчеменди (род. 1952) - американский логик и философ, который служил двенадцатым проректором Стэнфордского университета. Он сменил Джона Л. Хеннесси на посту 1 сентября 2000 года и ушел в отставку 31 января 2017 года.

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

Джон Этчеменди получил степень бакалавра и магистра в Университете Невады, Рино, прежде чем получить докторскую степень по философии в Стэнфорде в 1982 году. Он был членом факультета в факультете философии Стэнфорда с 1983 года, до этого он был членом факультета в факультете философии в Принстонском университете. Он также является преподавателем программы символических систем Стэнфорда и старшим научным сотрудником Центра изучения языка и информации в Стэнфорде. В Стэнфорде Этчеменди был директором Центра изучения языка и информации с 1990 по 1993 год, старшим декан-ассоциированным деканом Школы гуманитарных наук и наук с 1993 по 1997 год и председателем кафедры философии с 1998 по 2000 год. Он является членом Американской философской ассоциации, в редакционных советах Synthese и Philosophia Mathematica, а также бывшим редактором Журнала символической логики . Его жена - писательница Нэнси Этчеменди, и у них есть сын Макс Этчеменди.

Философские труды

Исследовательские интересы Этчеменди включают логику, семантику и философию языка. Он бросил вызов ортодоксальным взглядам на центральные понятия истины, логического следствия и логической истины. Его самая известная книга, "Концепция логического следствия" (1990, 1999), критикует широко принятый анализ логического следствия Альфреда Тарски. Лжец: эссе о правде и круговороте (1987, 1992), соавторство покойного Джона Барвайза, развивает формальный отчет о парадоксе лжеца, смоделированный с использованием версии теории множеств, включающей так называемую аксиому анти-основы. Последние работы Этхеменди были сосредоточены на роли диаграмм и других нелингвистических форм представления в рассуждениях. Его последняя книга, написанная с Джоном Барвайзом и Дэйвом Баркером Пламмером, - это "Язык, доказательство и логика" (2000, 2006), популярный вводный учебник по логике. Он также разработал многочисленные учебные программы, в том числе Turing's World, Tarski's World, Fitch и Hyperproof, программное обеспечение, которое позволяет компьютерам поддерживать процесс рассуждения.