Hostname: page-component-78c5997874-xbtfd Total loading time: 0 Render date: 2024-11-02T22:17:11.814Z Has data issue: false hasContentIssue false

Heterogeneous Reasoning and Its Logic

Published online by Cambridge University Press:  15 January 2014

Sun-Joo shin*
Affiliation:
Department of Philosophy, Yale University, New haven, Connecticut 06511, USAE-mail: [email protected]

Extract

Let me start by saying that I had the privilege of witnessing the birth of Jon Barwise's new research on heterogeneous logic and its subsequent developments. I entered the Stanford philosophy graduate program in the Fall of 1987, became Barwise and Etchemendy's first research assistant on the project of diagrammatic/heterogeneous reasoning during summer of 1989, and under their guidance completed my thesis, “Valid reasoning and visual representation,” in August, 1991. With this experience I would like to focus on the more personal and informal aspects of Jon's research on heterogeneous logic which may not be conveyed by his articles. (Accordingly, I have written this paper without footnotes or other references except to Jon's work.) The present article can only hint at the depth and the influence of Jon's work in this area.

In the first section, I single out an important feature of the project on heterogeneous logic Jon founded together with John Etchemendy about 15 years ago. I title it “resolving conflicts” since the research, I strongly believe, grew out of Jon's personal attitude toward how to resolve a tension between opposite extremes.

The second section focuses on how teaching logic itself was shaped as part of Barwise and Etchemendy's research agenda. It is worthwhile noting that their textbook Language, Proof, and Logic constitutes part of their research and, hence, the success of the book vindicates the goal of the overall project.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2004

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Articles/Books on Logic with Diagrams by Jon Barwise

[1] Barwise, Jon, Information, infons, and inference (with Etchemendy, John), Situation theory and its applications I (Cooper, R., Mukai, K., and Perry, J., editors), Center for the Study of Language and Information, Stanford, CA, 1989, pp. 3378.Google Scholar
[2] Barwise, Jon, Hyperproof an exercise in situated logic, Proceedings of the North American logic programming conference, 1990.Google Scholar
[3] Barwise, Jon, Visual information and valid reasoning (with Etchemendy, John), Visualization in teaching and learning mathematics (Zimmerman, W. and Cunningham, S., editors), Mathematical Association of America, Washington, DC, 1991, pp. 924. Reprinted in Philosophy and the Computer (L. Burkholder, editor) Westview Press, Boulder (1992) pp. 160–182. Reprinted in Logical Reasoning with Diagrams (G. Allwein and J. Barwise, editors) Oxford University Press, New York (1996) pp. 3–25 [In the text, I refer to the page numbers of this reprint.].Google Scholar
[4] Barwise, Jon, Toward the rigorous use of diagrams in reasoning about hardware (with Johnson, Steve and Allwein, Gerry), Working papers on diagrams and logic (Allwein, Gerard and Barwise, Jon, editors), Indiana University Logic Group Preprint Series, 05 1993, pp. 169212.Google Scholar
[5] Barwise, Jon, Diagrams and the concept of logical system (with Hammer, Eric), What is a logical system? (Gabbay, D. M., editor), Oxford University Press, 1994, pp. 73106.Google Scholar
[6] Barwise, Jon, Heterogeneous reasoning, pp. 64–74, Springer-Verlag, Berlin, 1993, pp. 6474.Google Scholar
[7] Barwise, Jon, Hyperproof (with Etchemendy, John), Center for the Study of Language and Information, Stanford, CA, 1994.Google Scholar
[8] Barwise, Jon, Heterogeneous logic (with Etchemendy, John), Diagrammatic reasoning: cognitive and computational perspective (Chandrasekaran, B., Glasgow, J., and Narayanan, N. H., editors), AAAI Press, Menlo Park, Calif., 1995, MIT Press, Cambridge, Mass., pp. 209232.Google Scholar
[9] Barwise, Jon, Computers, visualization, and the nature of reasoning (with Etchemendy, John), The digital phoenix: How computers are changing philosophy (Bynum, T. W. and Moor, James H., editors), Blackwell, London, 1998, pp. 93116.Google Scholar
[10] Barwise, Jon, Language, proof and logic (with Etchemendy, John), Center for the Study of Language and Information, Stanford, CA, 1999.Google Scholar