Logic and logical thinking are central to all disciplines and are critical in the mathematical and computer sciences. This symposium will explore the teaching of introductory logic and logical thinking, with a primary focus on the college level and a secondary focus on the high school level. The symposium will be interdisciplinary, emphasizing and contrasting approaches used in mathematics, computer science, natural sciences, and engineering.

The symposium seeks a sharing of ideas, rather than consensus, on how to teach logic, so that all participants gain an appreciation for the fundamental issues and ultimately are better able to motivate the importance of logic and to convey the foundations of logical reasoning to students. Topics of interest include, but are not limited to: pedagogical approaches, cognitive models of logical reasoning, empirical studies, exemplary course material, innovative approaches, courseware for teaching logic.

Papers were due 1 April 1996. Accepted papers will be published in a locally available proceedings and on the World Wide Web.

Organizers: Susanna Epp (DePaul University), epp@condor.depaul.edu; David Gries (Cornell University), gries@cs.cornell.edu; Peter Henderson (SUNY Stony Brook), pbh@cs.sunysb.edu; Ann Yasuhara (Rutgers University), yasuhara@cs.rutgers.edu.

For further information, contact Peter Henderson, Department of Computer Science, SUNY Stony Brook, Stony Brook, N.Y. 11794-4400 USA. (516) 632-8463, pbh@cs.sunysb.edu; or see the workshop web page.