Syntax versus Semantics

2015/07/14 by Reinhard Kahle, Kahle, Reinhard, Wilfried Keller +1
Computer Science · Mathematics · #F.4.1 #F.4.m #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Logic in Computer Science (cs.LO) #cs.LO #math.HO

paper · pdf · doi:10.48550/arxiv.1507.04678

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

arxiv created 2015/07/14 · arxiv updated 2015/07/17

Abstract

We report on the idea to use colours to distinguish syntax and semantics as an educational tool in logic classes. This distinction gives also reason to reflect on some philosophical issues concerning semantics.

Related

• Why Bother With Syntax?
• On Teaching Logic and Algebraic Specification
• Logical Semantics and Commonsense Knowledge: Where Did we Go Wrong, and How to Go Forward, Again
• Set theory and tableaux for teaching propositional logic
• Teaching Logics through Their Philosophical Commitments: "Logical Worldviews"