Джон Этчменди - John Etchemendy

Слева направо: Джон Л. Хеннесси, Сьюзан Райс, и Джон Этчменди, Июнь 2010 г.

Джон Этчменди

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

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

Джон Этчменди получил степень бакалавра и магистра в Университет Невады, Рино прежде чем получить докторскую степень в философия в Стэнфорде в 1982 году.

Он был преподавателем философского факультета Стэнфордского университета с 1983 года, до этого он был преподавателем философского факультета в Университет Принстона. Он также является преподавателем Стэнфордской программы символических систем и старшим научным сотрудником Центр изучения языка и информации в Стэнфорде.

В Стэнфорде Эчменди работал директором Центра изучения языка и информации с 1990 по 1993 год, старшим заместителем декана факультета гуманитарных и естественных наук с 1993 по 1997 год и председателем факультета философии с 1998 по 2000 год.

Он является членом Американской философской ассоциации, в редколлегии журнала. Синтез и Философия математики, и бывший редактор Журнал символической логики. Его жена писательница Нэнси Этчменди и у них есть сын Макс Этчменди.

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

Исследовательские интересы Этчменди включают: логика, семантика и философия языка. Он бросил вызов ортодоксальным взглядам на основные понятия истины, логическое следствие и логическая правда. Его самая известная книга, Концепция логического следствия (1990, 1999), критикует Альфред Тарский Широко распространенный анализ логических следствий. Лжец: эссе об истине и круговороте (1987, 1992), в соавторстве с покойным Джон Барвайз, разрабатывает формальный отчет о парадокс лжеца смоделирован с использованием версии теория множеств включение так называемой аксиомы против основания.

Недавняя работа Этчменди была сосредоточена на роли диаграмм и других нелингвистических форм представления в рассуждении. Его последняя книга, написанная с Джоном Барвайзом и Дэйвом Баркером-Пламмером, является Язык, доказательства и логика (2000, 2006), популярный вводный учебник логики. Он также разработал множество учебных программ, в том числе Мир Тьюринга, Мир Тарского, Fitch, и Сверхпрочный, программное обеспечение, позволяющее компьютерам поддерживать процесс рассуждений.

внешняя ссылка

• Офис Стэнфордского Провоста
• Биография Этчменди из Стэнфорда