Teaching Propositional and Syllogistic Logic Using E-learning Tools

Abstract

This paper is a study of the use of E-learning tools in a course on basic logic. It is a continuation of earlier studies involving practical experiments with students of communication using the Syllog system for syllogistic reasoning. In the present study, we also discuss the use of the Proplog system which we developed to support a part of the course dealing with basic propositional logic. Both systems make it possible to do learning analytics based on logged data. The aim of the present paper is to investigate whether various log-data from the use of the two E-learning tools can be helpful in order to improve the quality of the logic teaching. Furthermore, it is discussed how the use of the tools can be integrated in the logic course including the exam.