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.
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. http://classics.mit.edu/Aristotle/prior.html. Accessed 31 June 2019
Ebbinghaus, H.: Memory: A Contribution to Experimental Psychology. Dover, New York (1885, 1913)
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
Øhrstrøm, P., Sandborg-Petersen, U., Ploug, T.: Syllog – a tool for logic teaching. In: Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010), pp. 42–55. Mimos Berhad (2010)
Ø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.) EC-TEL 2013. LNCS, vol. 8095, pp. 410–423. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40814-4_32
Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S., Ploug, T.: Teaching syllogistics using conceptual graphs. In: Hernandez, N., Jäschke, R., Croitoru, M. (eds.) ICCS 2014. LNCS (LNAI), vol. 8577, pp. 217–230. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08389-6_18
Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S., Ploug, T.: Teaching syllogistics through gamification and interactive proofs. In: Conole, G., Klobučar, T., Rensing, C., Konert, J., Lavoué, É. (eds.) EC-TEL 2015. LNCS, vol. 9307, pp. 609–612. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24258-3_70
Parry, W., Hacker, E.: Aristotelian Logic. State University of New York Press, Albany (1991)
Petersen, U., Schärfe, H., Øhrstrøm, P.: Online course in knowledge representation using conceptual graphs (2001–2005), Aalborg University. http://cg.huminf.aau.dk/. Accessed 31 June 2019
Petersen, U.: Prolog + CG: a maintainer’s perspective. In: de Moor, A., Polovina, S., Delugach, H. (eds.) First Conceptual Structures Interoperability Workshop (CS-TIW 2006). Proceedings. Aalborg University Press (2006)
The syllog code (2013–2015). http://syllog.sourceforge.net/
Sandborg-Petersen, U., Øhrstrøm, P., Ploug, T., Thorvaldsen, S.: Two systems. https://syllog.emergence.dk/, https://proplog.emergence.dk. Accessed 31 June 2019
King, B.M., Rosopa, P.J., Minium, E.W.: Statistical Reasoning in the Behavioral Sciences (Vol. 6th ed.). Wiley, New York (2011)
Knuth, D.E.: The Art of Computer Programming, Volume 1: Fundamental Algorithms. 3rd edn. Addison-Wesley (1997)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Øhrstrøm, P., Thorvaldsen, S., Sandborg-Petersen, U., Ploug, T. (2019). Teaching Propositional and Syllogistic Logic Using E-learning Tools. In: Rønningsbakk, L., Wu, TT., Sandnes, F., Huang, YM. (eds) Innovative Technologies and Learning. ICITL 2019. Lecture Notes in Computer Science(), vol 11937. Springer, Cham. https://doi.org/10.1007/978-3-030-35343-8_89
Download citation
DOI: https://doi.org/10.1007/978-3-030-35343-8_89
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-35342-1
Online ISBN: 978-3-030-35343-8
eBook Packages: Computer ScienceComputer Science (R0)