2015/07/14 by Levis Zerpa, Zerpa, Levis
Computer Science · #Computers and Society (cs.CY) #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CY #cs.LO
paper · pdf · doi:10.48550/arxiv.1507.03840
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/19
In the paper I discuss a tool for helping students in their symbolizations of natural language sentences using the formal language of classical first order logic (CFOL). The tool is an extension of Hintikka's concept of (Inquirer's) range of attention in the context of interrogative games. Any given text is reconstructed as the answer to a "big" or principal question obtained through the answers of a series of "small" or operative questions. The tool brings some "narrative flavor" to the symbolization and offers a convenient mold that can be used by students in many different contexts.