John Etchemendy (etchemendy-j)

Cited in the following articles

Contributions to Philosophie.ch

Bibliography

Barwise, Jon K. and Etchemendy, John. 1987. The Liar: An Essay on Truth and Circularity. Oxford: Oxford University Press.
Barwise, Jon K. and Etchemendy, John. 1989. “Model-Theoretic Semantics.” in Foundations of Cognitive Science, edited by Michael L. Posner, pp. 207–243. Cambridge, Massachusetts: The MIT Press.
Barwise, Jon K. and Etchemendy, John. 1990. The Language of First-Order Logic. Stanford, California: CSLI Publications.
Barwise, Jon K. and Etchemendy, John. 1991a. “Visual Information and Valid Reasoning.” in Visualisation in Mathematics, edited by Walter Zimmermann and Stephen Cunningham, pp. 9–24. Washington, D.C.: Mathematical Association of America. Reprinted in Allwein and Barwise (1996, 3–26).
Barwise, Jon K. and Etchemendy, John. 1991b. “Hyperproof: The Beta Manual.” Unpublished manuscript, CSLI, Stanford University, Stanford, California.
Barwise, Jon K. and Etchemendy, John. 1995a. Turing’s World 3.0 (Windows Version). Cambridge: Cambridge University Press.
Barwise, Jon K. and Etchemendy, John. 1995b. Hyperproof. Cambridge: Cambridge University Press.
Barwise, Jon K. and Etchemendy, John. 1996. “Heterogeneous Logic.” in Logical Reasoning with Diagrams, edited by Gerard Allwein and Jon K. Barwise, pp. 179–200. Oxford: Oxford University Press. Reprinted in Glasgow, Narayanan and Chandrasekaran (1995, 211–234).
Barwise, Jon K. and Etchemendy, John. 1998. “A Computational Architecture for Heterogeneous Reasoning.” in TARK 1997. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference, edited by Itzhak Gilboa, pp. 1–14. San Francisco, California: Morgan Kaufmann Publishers.
Barwise, Jon K. and Etchemendy, John. 1999. Language, Proof, and Logic. Stanford, California: CSLI Publications.
Etchemendy, John. 1981. “The Cartesian Circle: Circulus ex tempore.” Studia Cartesiana 2: 5–42.
Etchemendy, John. 1983. “The Doctrine of Logic as Form.” Linguistics and Philosophy 6(3): 319–334.
Etchemendy, John. 1988a. “Tarski on Truth and Logical Consequence.” The Journal of Symbolic Logic 53: 51–79. Reprinted in Jacquette (2002).
Etchemendy, John. 1988b. “Models, Semantics and Logical Truth.” Linguistics and Philosophy 11(1): 91–106.
Etchemendy, John. 1990. The Concept of Logical Consequence. Cambridge, Massachusetts: Harvard University Press.
Etchemendy, John. 1999. “Reflections on Consequence.” Unpublished manuscript, November 1, 1999.
Etchemendy, John. 2008. “Reflections on Consequence.” in New Essays on Tarski and Philosophy, edited by Douglas Eden Patterson, pp. 262–299. Oxford: Oxford University Press. Widely cited earlier version: Etchemendy (1999), doi:10.1093/acprof:oso/9780199296309.001.0001.
Westerståhl, Dag, Engdahl, Elisabeth, Etchemendy, John, Seligman, Jerry and Sirai, Hidetosi, eds. 1994. Proceedings of the Conference on Information-Oriented Approaches to Language, Logic and Computation. Moraga, California: CSLI/University of Chicago Press.

Further References

Allwein, Gerard and Barwise, Jon K., eds. 1996. Logical Reasoning with Diagrams. Oxford: Oxford University Press.
Glasgow, Janice, Narayanan, N. Hari and Chandrasekaran, B., eds. 1995. Diagrammatic Reasoning. Cambridge, Massachusetts: The MIT Press.
Jacquette, Dale, ed. 2002. Philosophy of Logic: An Anthology. Blackwell Philosophy Anthologies. Oxford: Blackwell Publishers.