Teaching Propositional and Syllogistic Logic Using E-learning Tools

Peter Øhrstrøm*, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug

*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationInnovative Technologies and Learning : Second International Conference, ICITL 2019, Tromsø, Norway, December 2–5, 2019, Proceedings
EditorsLisbet Rønningsbakk, Ting-Ting Wu, Frode Eika Sandnes, Yueh-Min Huang
Number of pages11
Publication date1 Jan 2019
ISBN (Print)978-3-030-35342-1
ISBN (Electronic)978-3-030-35343-8
Publication statusPublished - 1 Jan 2019
Event2nd International Conference on Innovative Technologies and Learning, ICITL 2019 - Tromsø, Norway
Duration: 2 Dec 20195 Dec 2019


Conference2nd International Conference on Innovative Technologies and Learning, ICITL 2019
SeriesLecture Notes in Computer Science
Volume11937 LNCS


  • Argumentation
  • Deduction
  • Gamified quizzing
  • Learning analytics
  • Logic teaching
  • Logical proofs
  • Syllogistics


Dive into the research topics of 'Teaching Propositional and Syllogistic Logic Using E-learning Tools'. Together they form a unique fingerprint.

Cite this