Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings

by Blackburn, Patrick; Van Ditmarsch, Hans; Manzano, Maria; Soler-toscano, Fernando

• ISBN13: 9783642213496
• ISBN10: 3642213499
• Format: Paperback
• Copyright: 2011-07-14
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, and pedagogy of logic.

Table of Contents

Teaching Argumentation Theory and Practice: The Case of 12 Angry Men	p. 1
E-learning and Semantic Technologies: Tools and Concepts	p. 9
CT2.0: A Collaborative Database of Examples for Teaching Informal Logic	p. 24
Araucaria-PL: Software for Teaching Argumentation Theory	p. 30
Teaching Logic in Philosophy
Organon: Learning Management System for Basic Logic Courses	p. 38
Variables in Mathematics Education
Logic Training through Algorithmic Problem Solving	p. 46
Concrete Epistemic Modal Logic: Flatland	p. 54
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners	p. 62
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students	p. 70
The Question of the Question in Critical Thinking?	p. 77
Adding a Dimension to Logic Diagramming
The Many Rewards of Putting Absolutely Everything into Introductory Logic	p. 109
The SELL Project: A Learning Tool for E-Learning Logic	p. 123
Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned	p. 131
Logic in Action: An Open Logic Courseware Project	p. 141
A Teaching Tool for Proving Equivalences between Logical Formulae	p. 154
Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic	p. 162
Information-Theoretic Perspective for Teaching Logic	p. 170
Teaching Sound Principles about Invalidity	p. 178
Systematic Errors as an Input for Teaching Logic	p. 183
The AProS Project: Teaching Logic to Business and Engineering Students	p. 190
Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing	p. 198
Using an Argument Ontology to Develop Pedagogical Tool suites	p. 207
Visual Tools for Teaching Prepositional Logic	p. 215
Ogicamente: A Virtual Learning Environment for Logic Based on
A Framework for Coping with Logically-Minded Arguments in Philosophy	p. 231
A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms	p. 239
Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning Environment	p. 249
Author Index	p. 257
Table of Contents provided by Ingram. All Rights Reserved.