LINGUIST List 31.1674

Tue May 19 2020

Software: Teaching Logic: A Free App

Editor for this issue: Everett Green <>

Date: 15-Jan-2020
From: Ioannis Votsis <>
Subject: Teaching Logic: A Free App
E-mail this message to a friend

Dear Colleagues,

As we all know, when it comes to teaching technical subjects, practice makes perfect. With this aim in mind, I've developed an app that helps students learning logic to practice their skills. The app is effectively a propositional logic calculator. It's completely free and does not collect any information from its users. It can be installed on the iOS (iPhones and iPads), Android (phones, tablets, etc.) and Windows (desktops, laptops, tablets, xbox ones) platforms. Here are the links to the respective platform versions:




You can also find instructions on how to use the app here:

Although the current version is restricted to propositional logic and, more particularly, to semantic operations, I plan to extend the app's functionality considerably over the next few months, e.g. to add a derivation system, predicate logic, DNF, CNF and automated theorem proving. Thus, the hope is that it will be useful both as a learning tool but also to carry out more advanced work.

Please let me know if you have any suggestions relating to the app (or if you find any bugs) and feel free to pass on the links to others, including graduate students, who may be interested.

Best wishes,

Dr. Ioannis Votsis

Co-Director of the Diploma
Senior Lecturer, Philosophy Faculty
New College of the Humanities
19 Bedford Square, London WC1B 3HH

Linguistic Field(s): Cognitive Science
                            Computational Linguistics
                            Philosophy of Language

Page Updated: 19-May-2020