Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science

Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic. In this paper we examine whether and to what extent would including game semantics in the syllabus of an intr...

Full description

Bibliographic Details
Main Author: Glivická Jana
Format: Article
Language:English
Published: EDP Sciences 2018-01-01
Series:MATEC Web of Conferences
Online Access:https://doi.org/10.1051/matecconf/201821004007
id doaj-8c8b95a8cbcb4921a943350939b18882
record_format Article
spelling doaj-8c8b95a8cbcb4921a943350939b188822021-03-02T07:33:18ZengEDP SciencesMATEC Web of Conferences2261-236X2018-01-012100400710.1051/matecconf/201821004007matecconf_cscc2018_04007Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer ScienceGlivická JanaGame-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic. In this paper we examine whether and to what extent would including game semantics in the syllabus of an introductory course of predicate and propositional logic prove to be beneficial to students’ understanding of the subject. To that purpose, we have exposed two groups of undergraduate students of computer science to game semantics as part of recitations for the course Propositional and Predicate Logic. We focus mainly on how this affects students’ mastery of two particular topics – alternating quantification and restricted quantification. Observations were made during the recitations to evaluate any changes in students’ approach to solving relevant problems in classroom. Moreover, before the final test of the recitations one of the groups was given a brief review of game semantics and the other was not. We have measured the difference in performance of these two groups and the results support the hypothesis that game semantics helps students master certain topics of predicate logic. We reference some of the later research in psychology and pedagogy to help us explain this effect.https://doi.org/10.1051/matecconf/201821004007
collection DOAJ
language English
format Article
sources DOAJ
author Glivická Jana
spellingShingle Glivická Jana
Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science
MATEC Web of Conferences
author_facet Glivická Jana
author_sort Glivická Jana
title Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science
title_short Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science
title_full Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science
title_fullStr Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science
title_full_unstemmed Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science
title_sort game semantics in teaching of classical first order predicate logic to stu- dents of computer science
publisher EDP Sciences
series MATEC Web of Conferences
issn 2261-236X
publishDate 2018-01-01
description Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic. In this paper we examine whether and to what extent would including game semantics in the syllabus of an introductory course of predicate and propositional logic prove to be beneficial to students’ understanding of the subject. To that purpose, we have exposed two groups of undergraduate students of computer science to game semantics as part of recitations for the course Propositional and Predicate Logic. We focus mainly on how this affects students’ mastery of two particular topics – alternating quantification and restricted quantification. Observations were made during the recitations to evaluate any changes in students’ approach to solving relevant problems in classroom. Moreover, before the final test of the recitations one of the groups was given a brief review of game semantics and the other was not. We have measured the difference in performance of these two groups and the results support the hypothesis that game semantics helps students master certain topics of predicate logic. We reference some of the later research in psychology and pedagogy to help us explain this effect.
url https://doi.org/10.1051/matecconf/201821004007
work_keys_str_mv AT glivickajana gamesemanticsinteachingofclassicalfirstorderpredicatelogictostudentsofcomputerscience
_version_ 1724241310089478144