Abstract
This paper is a continuation of earlier studies involving experiments with Communication students using a Java-Applet running in the student’s browser, developed using the Prolog programming language as embodied in a Java implementation called Prolog+CG. This makes it possible to support logic teaching through the use of interactive systems and also to do learning analytics based on the log-data from the use of the systems. The aim of the present paper is to investigate whether the use of gamification and an interactive proof system formulated in terms of controlled natural language can be helpful in logic teaching in order to obtain a better understanding of syllogistic reasoning.
This is a preview of subscription content, log in via an institution.
References
Aristotle: Prior analytics (1994–2000), translated by A.J. Jenkinson. The Internet Classics Archive. http://classics.mit.edu/Aristotle/prior.html
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, vol. 1867, pp. 540–554. Springer, Heidelberg (2000)
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)
Ø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, H.D., Ignatov, D.I., Poelmans, J., Gadiraju, N. (eds.) ICCS 2013. LNCS, vol. 7735, pp. 31–43. Springer, Heidelberg (2013)
Ø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)
Ø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, vol. 8577, pp. 217–230. Springer, Heidelberg (2014)
Parry, W., Hacker, E.: Aristotelian Logic. State University of New York Press, Albany (1991)
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)
Sandborg-Petersen, U., Øhrstrøm, P.: The syllog code, open Source Software. http://syllog.sourceforge.net/
Sandborg-Petersen, U., Øhrstrøm, P., Ploug, T., Thorvaldsen, S.: Two experiments using syllog. http://syllog.emergence.dk/2015/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S., Ploug, T. (2015). Teaching Syllogistics Through Gamification and Interactive Proofs. In: Conole, G., Klobučar, T., Rensing, C., Konert, J., Lavoué, E. (eds) Design for Teaching and Learning in a Networked World. EC-TEL 2015. Lecture Notes in Computer Science(), vol 9307. Springer, Cham. https://doi.org/10.1007/978-3-319-24258-3_70
Download citation
DOI: https://doi.org/10.1007/978-3-319-24258-3_70
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24257-6
Online ISBN: 978-3-319-24258-3
eBook Packages: Computer ScienceComputer Science (R0)