Ioannis Votsis

Dear Philosophy Grad Students, 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 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: iOS: https://apps.apple.com/gb/app/the-logic-calculator/id1484264087 Android: https://play.google.com/store/apps/details?id=com.ioannisvotsis.thelogiccalculator Windows: https://www.microsoft.com/en-gb/p/the-logic-calculator/9nj6bpckm4mr?activetab=pivot:overviewtab You can also find instructions on how to use the app on my personal website: https://votsis.org/logic.html 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. Feel free to pass on the links to others who may be interested. Best wishes, Ioannis ------------------------------------- Dr. Ioannis Votsis http://www.votsis.org Co-Director of the Diploma Senior Lecturer, Philosophy Faculty New College of the Humanities 19 Bedford Square, London WC1B 3HH ioannis.votsis@nchlondon.ac.uk https://www.nchlondon.ac.uk/faculty/#philosophy