Philosophy Department Faculty, Staff, and Students
Home
Back
John Etchemendy
Professor of Philosophy

Office:Building 10

Mailing:
Office of the Provost
Stanford University
Stanford, CA 94305

Personal Portrait

Education History
B.A. University of Nevada/Reno, 1973
M.A. University of Nevada/Reno, 1976
Ph.D. Stanford University, 1982
Areas of Interest
Philosophy of logic, philosophy of language, logic, semantics, diagrammatic reasoning, Descartes
Selected Bibliography
Books, Textbooks, or Courseware:
  • The Concept of Logical Consequence (Harvard)
  • The Liar: An Essay on Truth and Circularity (Oxford)
  • Language, Proof and Logic (CSLI/Seven Bridges Press)
  • The Language of First-order Logic (CSLI/Cambridge)
  • Hyperproof (CSLI/Cambridge)
  • Tarski's World (CSLI/Cambridge)
  • Turing's World (CSLI/Cambridge)
Recent articles:
  • "Reflections on Consequence" (unpublished)
  • "A Computational Architecture for Heterogeneous Reasoning" (in: Theoretical Aspects of Reasoning about Knowledge, Ed. Gilboa)
  • "Computers, Visualization, and the Nature of Reasoning" (in: The Digital Phoenix, Eds. Bynum and Moor)
  • "Heterogeneous Logic" (in: Diagrammatic Reasoning: Cognitive and Computational Perspectives, Eds. Glasgow, Narayanan, and Chandrasekaran)
  • "Hyperproof: Logical Reasoning with Diagrams" (in: Reasoning with Diagrammatic Representations, AAAI Press)
  • "Visual Information and Valid Reasoning" (in: Philosophy and the Computer, Ed. Burkholder)

Recent Courses
Professor Etchemendy has recently been serving various onerous University appointments.
Links and Online Papers
Personal Web Page
Hyperproof Page


© 1999, 2000 The Board of Trustees of The Leland Stanford Junior University. All Rights Reserved.