Onscreen Philosophy

Building on centuries of links between philosophical and mathematical logic, philosophy professor James Moor and his former colleague, Jack Nelson, designed "Bertie," the first proof-checking computer program for natural deduction.

Besides Bertie named for philosopher Bertrand Russell Moor has also written the first-ever philosophy software for Macintosh computers: a program chat allows students to set up Venn diagrams for logical problem-solving. Subsequent versions, which Moor co-designed with former Dartmouth philosophy professor Mark Bedau, have been translated into French.