Abstract
This paper is a study of the use of e-learning tools and log data in evaluating and further developing a course on basic logic. It is a continuation of earlier studies involving practical experiments with students of communication from Aalborg University. Two tools are involved: Syllog for training syllogistic reasoning and Proplog for training basic propositional logic. The data are logged anonymously during the course, as well as during the individual exam. Using the log data, we have obtained important insights into the effects of the lectures and exercises. We argue that the log data from using the two tools can be transformed into useful learning analytics. Careful studies based on log data can provide useful information on how the quality of the course. On this basis, it can be suggested how the course can be improved using the learning analytics based on the log data. This is evident from studies carried out over seven to eight years using log data from the use of Syllog and recent studies based on log data from the use of Proplog, also show how insight based on the log data may lead us to improvements of the course. During the present study we have developed a method by which we can determine whether the students will handle one kind of symbolic logic test better than another.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Aristotle: Prior analytics, Translated by A.J. Jenkinson. The Internet Classics Archive, http://classics.mit.edu/Aristotle/prior.html. Accessed 16 Sep 2020
Øhrstrøm, P., Ploug, T., Jakobsen, D.: Logisk set, 2nd edn. Metaphysica, Aalborg (2020)
Kabbaj, A., Janta-Polczynski, M.: From PROLOG++ to PROLOG+CG: a CG object-oriented logic programming language. In: Ganter, B., Mineau, Guy W. (eds.) ICCS-ConceptStruct 2000. LNCS (LNAI), vol. 1867, pp. 540–554. Springer, Heidelberg (2000). https://doi.org/10.1007/10722280_37
Kabbaj, A., Moulin, B., Gancef, J., Nadeau, D., Rouleau, O.: Uses, improvements, and extensions of Prolog+ CG: case studies. In: Delugach, H.S., Stumme, G. (eds.) ICCS-ConceptStruct 2001. LNCS (LNAI), vol. 2120, pp. 346–359. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-44583-8_25
Sandborg-Petersen, U., Øhrstrøm, P., Ploug, T., Thorvaldsen, S.: Syllog. https://syllog.emergence.dk. Accessed 16 Sep 2020
Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S., Ploug, T.: Classical syllogisms in logic teaching. In: Pfeiffer, Heather D., Ignatov, Dmitry I., Poelmans, J., Gadiraju, N. (eds.) ICCS-ConceptStruct 2013. LNCS (LNAI), vol. 7735, pp. 31–43. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-35786-2_4
Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S., Ploug, T.: Teaching logic through web-based and gamified quizzing of formal arguments. In: Hernández-Leo, D., Ley, T., Klamma, R., Harrer, A. (eds.) Scaling up Learning for Sustained Impact, EC-TEL 2013. LNCS, vol. 8095, pp. 410–423. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40814-4_32
Parry, W., Hacker, E.: Aristotelian Logic. State University of New York Press, Albany (1991)
Sandborg-Petersen, U., Øhrstrøm, P., Ploug, T., Thorvaldsen, S.: Proplog. https://proplog.emergence.dk. Accessed 16 Sep 2020
King, B.M., Rosopa, P.J., Minium, E.W.: Statistical Reasoning in the Behavioral Sciences, 6th edn. John Wiley & Sons Inc., Hoboken (2011)
Øhrstrøm, P., Thorvaldsen, S., Sandborg-Petersen, U., Ploug, T.: Teaching propositional and syllogistic logic using E-learning tools. In: Rønningsbakk, L., Wu, T.-T., Sandnes, F.E., Huang, Y.-M. (eds.) ICITL 2019. LNCS, vol. 11937, pp. 854–864. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-35343-8_89
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Øhrstrøm, P., Thorvaldsen, S., Sandborg-Petersen, U., Ploug, T., Jakobsen, D. (2020). The Use of E-learning Tools and Log Data in a Course on Basic Logic. In: Huang, TC., Wu, TT., Barroso, J., Sandnes, F.E., Martins, P., Huang, YM. (eds) Innovative Technologies and Learning. ICITL 2020. Lecture Notes in Computer Science(), vol 12555. Springer, Cham. https://doi.org/10.1007/978-3-030-63885-6_66
Download citation
DOI: https://doi.org/10.1007/978-3-030-63885-6_66
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-63884-9
Online ISBN: 978-3-030-63885-6
eBook Packages: Computer ScienceComputer Science (R0)