NotesFAQContact Us
Search Tips
PDF pending restoration PDF pending restoration
ERIC Number: ED140843
Record Type: RIE
Publication Date: 1977-Apr
Pages: 10
Abstractor: N/A
Reference Count: 0
Logic and Simulation.
Straumanis, Joan
A major problem in teaching symbolic logic is that of providing individualized and early feedback to students who are learning to do proofs. To overcome this difficulty, a computer program was developed which functions as a line-by-line proof checker in Sentential Calculus. The program, DEMON, first evaluates any statement supplied by the student to see whether it is well-formed; second, it checks each line of the student's proof to determine whether it is a legitimate inference from the premises and earlier lines of the proof. This program, combined with a second which offers drill and feedback on translating English to and from logical symbols, is the key part of an integrated computer assisted curriculum in informal and formal logic. It is argued that these "simulations" of logical processes, in conjunction with the CAI approach, enable college students to acquire an understanding of symbolic logic more quickly and at a higher level than courses using more conventional methods. (Author/BM)
Publication Type: Speeches/Meeting Papers
Education Level: N/A
Audience: N/A
Language: N/A
Sponsor: N/A
Authoring Institution: N/A
Note: Paper presented at the annual meeting of the American Educational Research Association (New York, N.Y. April 4-8, 1977)