John W. Etchemendy (born 1952) is an American logician and philosopher who served as Stanford University's twelfth Provost. He succeeded John L. Hennessy...

Etchemendy is a surname of Basque origin meaning 'the mountain with a house(s) on it'. Notable people with the surname include: John Etchemendy (born...

are ungrounded, and therefore have no truth value. Jon Barwise and John Etchemendy propose that the liar sentence (which they interpret as synonymous...

computer-based introduction to first-order logic written by Jon Barwise and John Etchemendy. It is named after the mathematical logician Alfred Tarski. The package...

John Leroy Hennessy (born September 22, 1952) is an American computer scientist who is chairman of Alphabet Inc. (Google). Hennessy is one of the founders...

deduction Barwise, Jon; Etchemendy, John Etchemendy (1999). Language, Proof and Logic (1st ed.). Seven Bridges Press and CSLI. Harrison, John (December 2008)...

executive officer, Saudi Basic Industries Corporation, Saudi Arabia John Etchemendy: provost of Stanford University, California, U.S. Hugo F. Sonnenschein:...

Sikka (executive vice chairman and director), and Jeffrey Lehman and John Etchemendy (directors) resigned from their posts. Nilekani left Infosys in July...

million in initial funding and advisors that included Indra Nooyi, John Etchemendy, Divesh Makan, Sebastian Thrun, and Alan Kay. During a platform demo...

of reasoning. Barwise, along with his former colleague at Stanford John Etchemendy, was the author of the popular logic textbook Language, Proof and Logic...

Corcoran, John, and Weber, Leonardo, 2015. "Tarski's convention T: condition beta", South American Journal of Logic. 1, 3–32. Etchemendy, John, 1999. The...

Wadsworth Publishing. ISBN 9780534145156. pg. 347. Jon Barwise and John Etchemendy, Language proof and logic Second Ed., CSLI Publications, 2008. Willard...

11 June 2022. Nestor Maslej, Loredana Fattorini, Erik Brynjolfsson, John Etchemendy, Katrina Ligett, Terah Lyons, James Manyika, Helen Ngo, Juan Carlos...

initiative - the Human-Centered AI Institute, along with co-director Dr. John Etchemendy, former provost of Stanford University. On her sabbatical from Stanford...

Orioles, California Angels and Milwaukee Brewers John Etchemendy, former Provost of Stanford University John Garamendi, U.S. Congressman and former Lieutenant...

César Chesneau Dumarsais Michael Dummett David Efird S. Morris Engel John Etchemendy Gareth Evans Kit Fine Dagfinn Føllesdal Gottlob Frege Marilyn Frye...

Eilenberg (Poland, 1913–1998) Alexander Esenin-Volpin (Russia, 1924–2016) John Etchemendy (US, born 1952) Leonhard Euler (Switzerland, 1707–1783) Solomon Feferman...

at Ohio State. At Stanford, under the influence of Jon Barwise and John Etchemendy, her interests shifted to logic, and by 1991 she had completed her...

business school, apparently with the knowledge of Stanford's provost, John Etchemendy. The matter led to resignation of Saloner in 2015 and was covered by...

nonstandard analysis. The hypersets were extensively used by Jon Barwise and John Etchemendy in their 1987 book The Liar, on the liar's paradox. The book's proposals...

Dewey John Dewey Society John Dumbleton John Duns Scotus John Dupré John E. Hare John E. Thomas John Earman John Elof Boodin John Etchemendy John F. X...

school year, but the band successfully appealed the decision to Provost John Etchemendy. The appeal placed the band on a "provisional status" through the end...

Anu Aga, and eminent academicians of all fields of study including John Etchemendy, Vishakha Desai  Dr Tara Thiagarajan and Nobel Prize laureate Esther...

Vision Program. Jon Barwise 1983–1985 John Perry 1985–1986, 1993–1999 Thomas Wasow 1986–1987, 2006–2007 John Etchemendy 1990–1993 David Israel c. 1999–2000...

pop singer Joxe Azurmendi (born 1941) Alain Etchegoyen (1951–2007) John Etchemendy (born 1952) Ángel Gabilondo (born 1949) Juan Huarte de San Juan (1530–1588)...

University. Her 1990 dissertation, Logicism Reconsidered, was supervised by John Etchemendy. She became an assistant professor at Yale University in 1990, and...

Science Academy; Time Magazine "Hero for the Planet" 1999 Robert Sapolsky, John A. and Cynthia Fry Gunn Professor in Biological Sciences, Neurology & Neurological...

pp. 51–52. ISBN 978-0-7637-3784-9. OCLC 62093042. Barwise, Jon, and John Etchemendy. Language, Proof and Logic. Stanford: CSLI (Center for the Study of...

(logic) J. L. Austin Jacques Bouveresse James F. Conant Jody Azzouni John Etchemendy John McDowell Jonathan Bennett (philosopher) Journal of Logic, Language...

educational software package, devised and written by Jon Barwise and John Etchemendy, geared to teaching formal logic through the use of a tight integration...