John W. Etchemendy (nacido en 1952) es un lógico y filósofo estadounidense que se desempeñó como duodécimo rector de la Universidad de Stanford . Sucedió a John L. Hennessy en el cargo el 1 de septiembre de 2000 y renunció el 31 de enero de 2017.
John Etchemendy obtuvo su licenciatura y maestría en la Universidad de Nevada, Reno , antes de obtener su doctorado en filosofía en Stanford en 1982.
Ha sido miembro del cuerpo docente del Departamento de Filosofía de Stanford desde 1983, antes de lo cual fue miembro del cuerpo docente en el Departamento de Filosofía de la Universidad de Princeton . También es miembro de la facultad del Programa de Sistemas Simbólicos de Stanford e investigador principal del Centro para el Estudio del Lenguaje y la Información de Stanford.
En Stanford, Etchemendy se desempeñó como director del Centro para el Estudio del Lenguaje y la Información de 1990 a 1993, decano asociado principal de la Facultad de Humanidades y Ciencias de 1993 a 1997 y presidente del Departamento de Filosofía de 1998 a 2000.
Es miembro de la Asociación Filosófica Estadounidense, de los consejos editoriales de Synthese y Philosophia Mathematica, y ex editor del Journal of Symbolic Logic. Su esposa es la escritora Nancy Etchemendy y tienen un hijo, Max Etchemendy.
Los intereses de investigación de Etchemendy incluyen la lógica , la semántica y la filosofía del lenguaje . Ha desafiado los puntos de vista ortodoxos sobre las nociones centrales de verdad, consecuencia lógica y verdad lógica . Su libro más conocido, El concepto de consecuencia lógica (1990, 1999), critica el análisis ampliamente aceptado de la consecuencia lógica de Alfred Tarski . The Liar: An essay on Truth and Circularity (1987, 1992), en coautoría con el fallecido Jon Barwise , desarrolla una explicación formal de la paradoja del mentiroso modelada utilizando una versión de la teoría de conjuntos que incorpora el llamado Axioma Anti-Fundación.
El trabajo reciente de Etchemendy se ha centrado en el papel de los diagramas y otras formas no lingüísticas de representación en el razonamiento. Su último libro, escrito con Jon Barwise y Dave Barker-Plummer, es Language, Proof and Logic (2000, 2006), un popular libro de texto de introducción a la lógica. También ha desarrollado numerosos programas de instrucción, incluidos Turing's World, Tarski's World , Fitch e Hyperproof, software que permite que las computadoras respalden el proceso de razonamiento.