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

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

8 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationScaling up Learning for Sustained Impact : 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings
Number of pages14
PublisherSpringer Publishing Company
Publication date2013
Pages410-423
ISBN (Print)978-3-642-40813-7
ISBN (Electronic)978-3-642-40814-4
DOIs
Publication statusPublished - 2013
EventEuropean Conference, on Technology Enhanced Learning - Paphos, Cyprus
Duration: 17 Sep 201321 Sep 2013
Conference number: 8th

Conference

ConferenceEuropean Conference, on Technology Enhanced Learning
Number8th
CountryCyprus
CityPaphos
Period17/09/201321/09/2013
SeriesLecture Notes in Computer Science
Volume8095
ISSN0302-9743

Cite this

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S., & Ploug, T. (2013). Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. In Scaling up Learning for Sustained Impact: 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings (pp. 410-423). Springer Publishing Company. Lecture Notes in Computer Science, Vol.. 8095 https://doi.org/10.1007/978-3-642-40814-4_32
Øhrstrøm, Peter ; Sandborg-Petersen, Ulrik ; Thorvaldsen, Steinar ; Ploug, Thomas. / Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. Scaling up Learning for Sustained Impact: 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings. Springer Publishing Company, 2013. pp. 410-423 (Lecture Notes in Computer Science, Vol. 8095).
@inbook{5449251b981a42d9919bf2c01f4a13e2,
title = "Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments",
abstract = "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.",
author = "Peter {\O}hrstr{\o}m and Ulrik Sandborg-Petersen and Steinar Thorvaldsen and Thomas Ploug",
year = "2013",
doi = "10.1007/978-3-642-40814-4_32",
language = "English",
isbn = "978-3-642-40813-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = "410--423",
booktitle = "Scaling up Learning for Sustained Impact",
address = "United States",

}

Øhrstrøm, P, Sandborg-Petersen, U, Thorvaldsen, S & Ploug, T 2013, Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. in Scaling up Learning for Sustained Impact: 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings. Springer Publishing Company, Lecture Notes in Computer Science, vol. 8095, pp. 410-423, European Conference, on Technology Enhanced Learning, Paphos, Cyprus, 17/09/2013. https://doi.org/10.1007/978-3-642-40814-4_32

Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. / Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Thorvaldsen, Steinar ; Ploug, Thomas.

Scaling up Learning for Sustained Impact: 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings. Springer Publishing Company, 2013. p. 410-423 (Lecture Notes in Computer Science, Vol. 8095).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

TY - CHAP

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

AU - Øhrstrøm, Peter

AU - Sandborg-Petersen, Ulrik

AU - Thorvaldsen, Steinar

AU - Ploug, Thomas

PY - 2013

Y1 - 2013

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

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

U2 - 10.1007/978-3-642-40814-4_32

DO - 10.1007/978-3-642-40814-4_32

M3 - Book chapter

SN - 978-3-642-40813-7

T3 - Lecture Notes in Computer Science

SP - 410

EP - 423

BT - Scaling up Learning for Sustained Impact

PB - Springer Publishing Company

ER -

Øhrstrøm P, Sandborg-Petersen U, Thorvaldsen S, Ploug T. Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. In Scaling up Learning for Sustained Impact: 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings. Springer Publishing Company. 2013. p. 410-423. (Lecture Notes in Computer Science, Vol. 8095). https://doi.org/10.1007/978-3-642-40814-4_32