John Etchemendy

Q: What Schools Are Affiliated With John Etchemendy

John Etchemendy is affiliated with the following schools: Princeton University, Stanford University, University of Nevada, Reno

John Etchemendy's AcademicInfluence.com Rankings

John Etchemendy

Philosophy

#375

World Rank

#808

Historical Rank

#172

USA Rank

Logic

#64

World Rank

#189

Historical Rank

#31

USA Rank

philosophy Degrees

Download Badge

Philosophy

John Etchemendy's Degrees

PhD Philosophy Stanford University

Why Is John Etchemendy Influential?

(Suggest an Edit or Addition)

According to Wikipedia, John W. Etchemendy is an American logician and philosopher who served as Stanford University's twelfth Provost. He succeeded John L. Hennessy to the post on September 1, 2000 and stepped down on January 31, 2017.

(See a Problem?)

John Etchemendy's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

On the Opportunities and Risks of Foundation Models (2021) (938)
The Concept of Logical Consequence (1991) (591)
The Liar: An Essay on Truth and Circularity (1990) (388)
Visual information and valid reasoning (1991) (286)
Heterogeneous logic (1996) (192)
Language, Proof and Logic (1999) (187)
Tarski on truth and logical consequence (1988) (131)
The language of first-order logic (1991) (67)
The AI Index 2021 Annual Report (2021) (61)
Model-theoretic semantics (1989) (51)
Computers, visualization, and the nature of reasoning (1998) (47)
Reflections on Consequence (2008) (40)
The doctrine of logic as form (1983) (39)
Online education (2013) (36)
Hyperproof: Logical Reasoning with Diagrams (1992) (31)
The AI Index 2022 Annual Report (2022) (28)
An Empirical Study of Errors in Translating Natural Language into Logic (2008) (23)
Turing's World (1990) (21)
Models, semantics and logical truth (1988) (18)
Tarski's world (2008) (17)
Openproof - A Flexible Framework for Heterogeneous Reasoning (2008) (17)
Hyperproof: For Macintosh (1994) (17)
Turing's World 3.0 : an introduction to computability theory : for the Macintosh (1991) (13)
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic (2008) (13)
A computational architecture for heterogeneous reasoning (2007) (12)
Tarski's World: Version 4.0 for Macintosh (Center for the Study of Language and Information - Lecture Notes) (1993) (12)
The language of first-order logic - including the Macintosh version of Tarski's world 4.0, Third Edition (1993) (10)
Turing's World 3.0 for the Macintosh: An Introduction to Computability Theory/Book and Disk (Csli Lecture Notes) (1993) (10)
Language, Proof, and Logic: Second Edition (2011) (9)
The language of first-order logic including the program Tarski's World (1990) (7)
Language, Proof and Logic: Text and Cd (2002) (7)
Automated Assessment in the Internet Classroom. (2008) (5)
Tarski's World: Revised and Expanded (1993) (5)
The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (1992) (4)
Heterogeneous Reasoning (2008) (4)
The Language of First-Order Logic, including the Macintosh Program Tarski's World (1994) (4)
The Language of First-Order Logic Including the Ibm-Compatible Windows Version of Tarski's World 4.0 (1992) (3)
Applications of heterogeneous reasoning in design (2003) (3)
Tarski's world : version 4.0 for MS Windows (1993) (3)
Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning (2012) (3)
Representing visual decision making: a computational architecture for heterogeneous reasoning (2004) (2)
Tarski's world : version 4.0 for the Macintosh (1993) (1)
BOOKS RECEIVED (2006) (0)
JSL volume 66 issue 4 Cover and Back matter (2001) (0)
Notices (1990) (0)
Inventory Adjustment of Government Owned Property in Possession of Government Contractors. (1985) (0)
La semántica modelo-teórica (2007) (0)
Publications received (1999) (0)
REVIEWS-The concept of logical consequence (2001) (0)
Tarski's World 3.0 Including the Macintosh Program (1991) (0)
Books received (2012) (0)
Investigation And Analysis Of Non-Traditional Nato Roles In Kosovo: Building Bridges Between Military & Humanitarian Actors (2010) (0)
Tarski's World 3.0: Including the Macintosh TM Program (Center for the Study of Language and Information - Lecture Notes) (1991) (0)

This paper list is powered by the following services:

Other Resources About John Etchemendy

What Schools Are Affiliated With John Etchemendy?

John Etchemendy is affiliated with the following schools:

John Etchemendy's Academic­Influence.com Rankings