Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments

  • Peter Øhrstrøm
  • Ulrik Sandborg-Petersen
  • Steinar Thorvaldsen
  • Thomas Ploug
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8095)


In this paper the focus is on the construction, use, pedagogical potential, and long-term sustainability of certain web-based tools designed for teaching logic. A series of web-based tools have been implemented as a two-part system, and the tools have been tested and evaluated in a number of practical experiments. The first part of the system is a student-facing Java-Applet running in the student’s browser, implemented using the Prolog programming language as embodied in a Java implementation called Prolog+CG. The second part is a teacher-oriented, server-based backend for logging the progress of students. In the paper, we provide a presentation of the pedagogical and technical ideas of construction that underpin the tools which have been made so far. It is explained how the tools can be developed as web applications using gamified quizzing. We then provide an evaluation of the potential of log data as learning analytics offered by these tools in the context of university courses introducing basic logic and formal aspects of argumentation. We also describe how we have used and evaluated the tools in a real learning context, using both quantitative, log-based data and qualitative interview. The evaluation also includes a discussion of the ethical aspects concerning the logging of student data. We also provide some insights on how the tools can and have been made sustainable.


Modus Tollens Syllogistic Reasoning Modern Logic Logical Validity Strong Statistical Evidence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Parry, W.T., Hacker, E.A.: Aristotelian Logic. State University of New York Press (1991)Google Scholar
  2. 2.
    Aristotle: Prior Analytics. Jenkinson, A.J. (trans.) The Internet Classics Archive (1994-2000),
  3. 3.
    Kabbaj, A., Janta-Polczynski, M.: From PROLOG++ to PROLOG+CG: A CG object-oriented logic programming language. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 540–554. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  4. 4.
    Kabbaj, A., Moulin, B., Gancet, J., Nadeau, D., Rouleau, O.: Uses, improvements, and extensions of Prolog+CG: Case studies. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, pp. 346–359. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  5. 5.
    Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S., Ploug, T.: Classical Syllogisms in Logic Teaching. In: Pfeiffer, H.D., Ignatov, D.I., Poelmans, J., Gadiraju, N. (eds.) ICCS 2013. LNCS, vol. 7735, pp. 31–43. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  6. 6.
    Raymond, E.S.: The Cathedral & the Bazaar: Musings on Linux and Open Source by an Accidental Revolutionary. O’Reilly Media (2001)Google Scholar
  7. 7.
    Dougiamas, M., Taylor, P.C.: Moodle: Using Learning Communities to Create an Open Source Course Management System. In: Proceedings of EDMEDIA 2003 (2003)Google Scholar
  8. 8.
    Biggs, J.: What the Student Does: teaching for enhanced learning. Higher Education Research & Development 18(1) (1999)Google Scholar
  9. 9.
    Hoffman, B., McCrudden, M.T., Schraw, G., Hartley, K.: The Effects of Informational Complexity and Working Memory on Problem-Solving Efficiency. Asia Pacific Education Review 9(4), 464–474 (2008)CrossRefGoogle Scholar
  10. 10.
    Bucciarelli, M., Johnson-Laird, P.N.: Strategies in syllogistic reasoning. Cognitive Science 23(3), 247–303 (1999)CrossRefGoogle Scholar
  11. 11.
    Gilhooly, K.J., Logie, R.H., Wynn, V.: Syllogistic reasoning tasks, working memory, and skill. European Journal of Cognitive Psychology, 11(4), 473–498 (1999)CrossRefGoogle Scholar
  12. 12.
    Johnson-Laird, P.N., Bara, B.G.: Syllogistic inference. Cognition 16, 1–61 (1984)CrossRefGoogle Scholar
  13. 13.
    Schäfer, A., Holz, J., Leonhardt, T., Schroeder, U., Brauner, P., Ziefle, M.: From boring to scoring a collaborative serious game for learning and practicing mathematical logic for computer science education. Computer Science Education 23(2), 87–111 (2013)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Peter Øhrstrøm
    • 1
  • Ulrik Sandborg-Petersen
    • 1
  • Steinar Thorvaldsen
    • 2
  • Thomas Ploug
    • 1
  1. 1.Department of Communication and PsychologyAalborg UniversityAalborgDenmark
  2. 2.Department of EducationUniversity of TromsøTromsøNorway

Personalised recommendations