Abstract
Today, logic is taught to a much broader academic audience than just the traditional target group of mathematicians and philosophers. Logic in Action provides modern open courseware, in the form of a freely accessible animated e-book, as an extensive teaching tool for this growing student population. The project stresses the methodological merits of logic for a wide range of interdisciplinary sciences.
Logic in Action is a project financed by the Dutch Ministry of Science and Education (the so-called Beta Platform program) and is organized by the Center for Creation, Content and Technology ( http://ccct.uva.nl/content/project/beta ). Many other persons are involved in the project than only the two authors of this paper. The project has been initiated by Johan van Benthem (University of Amsterdam), Jan van Eijck (Center for Mathematics and Computer Sciene Amsterdam) and Hans van Ditmarsch (University of Seville).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van Benthem, J., van Ditmarsch, H., van Eijck, J.: Logica in Actie. Spinoza-reeks Open Universiteit Heerlen. Academic Service, Den Haag (2009)
Doets, K., van Eijck, J.: The Haskell Road to Logic, Maths and Programming. Texts in Computing, vol. 4. King’s College Publications, London (2004)
van Eijck, J.: Demo — a demo of epistemic modelling. In: van Benthem, J., Gabbay, D., Löwe, B. (eds.) Interactive Logic — Procs. of The Seventh Augustus de Morgan Workshop. Texts in Logic and Games, vol. 1, pp. 305–363 (2007)
van Eijck, J., Jaspars, J., Ketting, J., Pauly, M.: Denkende Machines: Computers, Rekenen en Redeneren. Exact in Context, vol. 1. Amsterdam University Press, Amsterdam (2001)
van Eijck, J., Visser, A.: Bewijzen en Inzien. Exact in Context, vol. 2. Amsterdam University Press, Amsterdam (2007)
Jaspars, J.: The dissemination of logic in dutch secondary schools. In: Procs. of The First Conference on Tools for Teaching Logic, Salamanca (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jaspars, J., Velázquez-Quesada, F.R. (2011). Logic in Action. In: Blackburn, P., van Ditmarsch, H., Manzano, M., Soler-Toscano, F. (eds) Tools for Teaching Logic. TICTTL 2011. Lecture Notes in Computer Science(), vol 6680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21350-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-21350-2_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21349-6
Online ISBN: 978-3-642-21350-2
eBook Packages: Computer ScienceComputer Science (R0)