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

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

Образование и карьера [ править ]

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

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

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

Он является членом Американской философской ассоциации, членом редколлегии Synthese и Philosophia Mathematica, а также бывшим редактором Journal of Symbolic Logic. Его жена - писательница Нэнси Этчменди, и у них есть сын Макс Эчменди.

Философская работа [ править ]

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

Недавняя работа Этчменди была сосредоточена на роли диаграмм и других нелингвистических форм представления в рассуждении. Его последняя книга, написанная с Джоном Барвайзом и Дэйвом Баркером-Пламмером, - это популярный вводный учебник по логике « Язык, доказательство и логика» (2000, 2006). Он также разработал множество учебных программ, включая Turing's World, Tarski's World , Fitch и Hyperproof, программное обеспечение, которое позволяет компьютерам поддерживать процесс рассуждений.

Внешние ссылки [ править ]