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

Джон В. Этчеменди
Рожденный	1952 (71–72 года) Рино, Невада , США
Образование	Университет Невады, Рино ( бакалавр , магистр ) Стэнфордский университет ( доктор философии )
Эра	Современная философия
Область	Западная философия
Школа	Аналитическая философия
Докторантура	Джон Перри
Докторанты	Сун-Джу Шин
Основные интересы	Логика , философия языка

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

Джон В. Этчеменди (род. 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, программное обеспечение, которое позволяет компьютерам поддерживать процесс рассуждения.

Внешние ссылки

• Офис Стэнфордского проректора. Архивировано 3 июля 2010 г. в Wayback Machine.
• Биография Этчеменди из Стэнфорда, заархивированная 3 июля 2010 г. в Wayback Machine.