Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!csd4.milw.wisc.edu!dogie.macc.wisc.edu!indri!polyslo!vlsi3b15!lehi3b15!lafcol!slaghtrl
From: slaghtrl@lafcol.UUCP (Slaght Ralph L)
Newsgroups: comp.sources.d
Subject: Re: BERTIE (CAI in Logic) info wanted
Summary: CAI programs for logic instruction
Message-ID: <1267@lafcol.UUCP>
Date: 31 May 89 13:57:24 GMT
References: <2244@uwovax.uwo.ca>
Organization: Academic Computer Center, Lafayette College
Lines: 27

In article <2244@uwovax.uwo.ca>, 2014_5001@uwovax.uwo.ca writes:
> I am looking for information about the BERTIE program for CAI in
> logic.   All I know about it is that it was written by James Moor,
> _et_al_.  If someone knows of another CAI in advanced logic program,
> please tell me.  In particular:  is BERTIE in the public domain?

BERTIE has been superceded by BERTIE-II.  It is a commercial package
sold by Random House and is designed to check deductive proofs in
either propositional or quantificational logic.  The proof style is
that of the text book, The Logic Book, written by James Moor, Jack
Nelson, and Merrie Bergmann.  There are lots of other programs which do
similar things.  Many are written to accompany logic text books.  Here
are three which are not written for texts:

   1.  The LogicWorks, from the Philosophy Documentation Center,
Bowling Green, Ohio;
   2.  Twootie, for truth tree constructions, from Austen Clark, U. of
Tulsa, OK.;
   3. Philo the Logician, a program for propositional logic sentence
transations.

I trust this will get you started.

                      Ralph Slaght
                      Philosophy Department
                      Lafayette College
                      Easton, Pa. 18042