Eric Hammer
Curriculum Vitae

Education

• M.S., computer science, Indiana University, 1997.
• Ph.D., logic, Indiana University, 1995.
• B.A., mathematics and philosophy, Willamette University, 1989.

Publications

• ‘Reasoning with Sentences and Diagrams’. Notre Dame Journal of Formal Logic, 35 (1994): 73-87.
• Logic and Visual Information. Stanford: Center for the Study of Language and Information and European Association for Logic, Language, and Information. 1995.
• ‘Diagrams and the Concept of Logical System’ (with Jon Barwise). In Dov Gabbay, (ed.), What is a Logical System?, Oxford, 1995.
• ‘The Calculations of Peirce's 4.453’. Transactions of the Charles S. Peirce Society, 31 (1995).
• ‘Peirce on Logical Diagrams’. Transactions of the Charles S. Peirce Society, 31 (1995).
• Review of Sun-Joo Shin's The Logical Status of Diagrams. Journal of Symbolic Logic, 61 (1996).
• ‘The Truths of Logic’. Synthese, 109 (1996).
• ‘Towards a Model Theory of Diagrams’ (with Norman Danner). Journal of Philosophical Logic, 25 (1996).
• ‘Semantics for Existential Graphs’. Journal of Philosophical Logic, 27 (1998).
• ‘Symmetry as a Method of Proof’. Journal of Philosophical Logic, 27 (1998).
• ‘Euler's Visual Logic’ (with Sun-Joo Shin). History and Philosophy of Logic, 19 (1998): 1-29.
• ‘A Solution to the Problem of Updating Encyclopedias’ (with Edward Zalta). Computers and the Humanities (1997).
• ‘Diagrammatic Logic’. In D.M. Gabbay and F. Guenthner, (eds.), Handbook of Philosophical Logic, 2nd Edition, Vol. 4, Kluwer (2002).

Professional Experience