Skip to content Skip to navigation

The Openproof Project

The Openproof project at Stanford's Center for the Study of Language and Information (CSLI) is concerned with the application of software to problems in logic. Since the early 1980's we have been developing applications in logic education which are both innovative and effective. The development of these courseware packages has in turn informed and influenced our research agenda.

We are currently engaged in a project to understand the difficulties that students encounter when learning logic. Our approach to this task is to use data mining techniques on a large corpus of student work that we have gathered through our Internet-based grading service over the past ten years. The corpus currently consists of over 2.75 million submissions of work from more than 55,000 individual students.

A second project involves the investigation of the logics of diagrammatic and heterogeneous reasoning. Logic has traditionally been concerned with deduction using information expressed as sentences. In this project we are concerned with developing formal and informal systems for logical reasoning with diagrams alone, and in heterogeneous contexts where diagrams and sentences are used together to represent information about a reasoning task.


Barker-Plummer, Dave

Dave Barker-Plummer is an Senior Research Scientist at Stanford University's Center for the Study of Language and Information. He holds a Ph.D. from the Department of Artificial Intelligence atEdinburgh University. Since 1995 he has managed the Openproof project's work on educational software for teaching logic at the undergraduate level.  He is the author of papers on automated reasoning, reasoning with diagrams, and architectures for heterogeneous reasoning.  He co-edited the collection Words, Proofs and Diagrams and was program chair of the Diagrams 2006 conference. Dave has taught computer science and logic at StanfordSwarthmore College and Duke University. In his spare time Dave indulges his rock-star fantasies with PAN!C.

Etchemendy, John

John Etchemendy is provost at Stanford University, a professor of philosophy and symbolic systems at Stanford University and director of The Openproof Project at the Center for the Study of Language and Information.