Skip to main content

The Use of E-learning Tools and Log Data in a Course on Basic Logic

  • Conference paper
  • First Online:
Innovative Technologies and Learning (ICITL 2020)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 12555))

Included in the following conference series:

  • 2306 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Aristotle: Prior analytics, Translated by A.J. Jenkinson. The Internet Classics Archive, http://classics.mit.edu/Aristotle/prior.html. Accessed 16 Sep 2020

  2. Øhrstrøm, P., Ploug, T., Jakobsen, D.: Logisk set, 2nd edn. Metaphysica, Aalborg (2020)

    Google Scholar 

  3. 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

    Chapter  Google Scholar 

  4. 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

    Chapter  Google Scholar 

  5. Sandborg-Petersen, U., Øhrstrøm, P., Ploug, T., Thorvaldsen, S.: Syllog. https://syllog.emergence.dk. Accessed 16 Sep 2020

  6. Ø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

    Chapter  Google Scholar 

  7. Ø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

    Chapter  Google Scholar 

  8. Parry, W., Hacker, E.: Aristotelian Logic. State University of New York Press, Albany (1991)

    MATH  Google Scholar 

  9. Sandborg-Petersen, U., Øhrstrøm, P., Ploug, T., Thorvaldsen, S.: Proplog. https://proplog.emergence.dk. Accessed 16 Sep 2020

  10. King, B.M., Rosopa, P.J., Minium, E.W.: Statistical Reasoning in the Behavioral Sciences, 6th edn. John Wiley & Sons Inc., Hoboken (2011)

    Google Scholar 

  11. Ø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

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Peter Øhrstrøm .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics