Logic App

[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

[maxhgns]

Thanks, I'll be checking it out! Could be of use to my students. 

I hope you've written to Justin to promote it on DN!

[Duns Eith]

This is amazing! I literally wanted to make this years ago but had neither the software chops nor the time. You are amazing. Thanks for sharing and making this available!!