Skip to main content
SpringerLink
Log in

Tools for Teaching Logic

Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Patrick Blackburn

    1. INRIA Nancy Grand-Est, Nancy Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hans Ditmarsch

    1. Dpto. Filosofía y Lógica, Universidad de Sevilla, Sevilla, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. María Manzano

    1. Dpto. de Filosofia, Universidad de Salamanca, Salamanca, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Fernando Soler-Toscano

    1. Dpto. de Filosofia y Lógica, Universidad de Sevilla, Sevilla, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6680)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: TICTTL 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 papers)

  1. Front Matter

    Download chapter PDF

  2. Teaching Argumentation Theory and Practice: The Case of 12 Angry Men

    • Jesús Alcolea-Banegas
    Pages 1-8

  3. E-learning and Semantic Technologies: Tools and Concepts

    • Enrique Alonso
    Pages 9-23

  4. CT2.0: A Collaborative Database of Examples for Teaching Informal Logic

    • Peter Bradley
    Pages 24-29

  5. Araucaria-PL: Software for Teaching Argumentation Theory

    • Katarzyna Budzynska
    Pages 30-37

  6. Teaching Logic in Philosophy

    • Begoña Carrascal
    Pages 38-45

  7. ORGANON: Learning Management System for Basic Logic Courses

    • Ludmila Dostalova, Jaroslav Lang
    Pages 46-53

  8. Variables in Mathematics Education

    • Susanna S. Epp
    Pages 54-61

  9. Logic Training through Algorithmic Problem Solving

    • João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo Silva, L. S. Barbosa et al.
    Pages 62-69

  10. Concrete Epistemic Modal Logic: Flatland

    • Olivier Gasquet, François Schwarzentruber
    Pages 70-76

  11. Satoulouse: The Computational Power of Propositional Logic Shown to Beginners

    • Olivier Gasquet, François Schwarzentruber, Martin Strecker
    Pages 77-84

  12. Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students

    • Olivier Gasquet, François Schwarzentruber, Martin Strecker
    Pages 85-92

  13. The Question of the Question in Critical Thinking?

    • Roderic A. Girle
    Pages 93-100

  14. Adding a Dimension to Logic Diagramming

    • Laurence Goldstein
    Pages 101-108

  15. The Many Rewards of Putting Absolutely Everything into Introductory Logic

    • James M. Henle
    Pages 109-122

  16. The SELL Project: A Learning Tool for E-Learning Logic

    • Antonia Huertas, Josep M. Humet, Laura López, Enric Mor
    Pages 123-130

  17. Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned

    • Antonia Huertas
    Pages 131-140

  18. Logic in Action

    • Jan Jaspars, Fernando R. Velázquez-Quesada
    Pages 141-153

  19. A Teaching Tool for Proving Equivalences between Logical Formulae

    • Josje Lodder, Bastiaan Heeren
    Pages 154-161

  20. Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic

    • Xóchitl Martínez Nava
    Pages 162-169
Back to top

Other volumes

  1. Tools for Teaching Logic

Keywords

About this book

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.

Editors and Affiliations

  • INRIA Nancy Grand-Est, Nancy Cedex, France

    Patrick Blackburn

  • Dpto. Filosofía y Lógica, Universidad de Sevilla, Sevilla, Spain

    Hans Ditmarsch

  • Dpto. de Filosofia, Universidad de Salamanca, Salamanca, Spain

    María Manzano

  • Dpto. de Filosofia y Lógica, Universidad de Sevilla, Sevilla, Spain

    Fernando Soler-Toscano

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation