The Moodle Implementation page describes the learning resources assembled for the teaching of PHIL 2105. Java applets provide a central feature of these resources. Since proof construction and related aspects of making/evaluating deductive inferences involve complex temporally linked processes, multiple choice quizzes, descriptive/explanatory text, and even videos, do not provide a sufficient foundation for learning in this context.
in respect to proof construction, applets provide a productive environment for exploring and developing one’s ability to think strategically. In particular, students can enter their own proof problems and work to discover a solution without being restricted to problems for which a solution is encoded. Students can also return to a finished proof and find a new path connecting premise(s) with the conclusion.