Euler diagrams as an introduction to set-theoretical models

Abstract

Understanding the notion of a model is not always easy in logic courses. Hence, tools such as Euler diagrams are frequently applied as informal illustrations of set-theoretical models. We formally investigate Euler diagrams as an introduction to set-theoretical models. We show that the model-theoretic notions of validity and invalidity are characterized by Euler diagrams, and, in particular, that model construction can be described as a manipulation of Euler diagrams.

Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, João Marcos, María Manzano, Sophie Pinchinat, François Schwarzentruber