Recommendations for software for symbolic logic

cfr · 2012-04-02 18:07:59

I've been googling quite a bit but have so far not found anything which seems quite right. I thought I would ask here on the off chance that somebody might have experience with this type of software.

I'm looking for software which might be useful in the teaching of symbolic logic e.g. propositional and predicate calculus, symbolisation, truth tables, proofs etc. I don't necessarily need a single piece of software to do all of these things. In fact, right now, something which might help students with any one of these things would be entirely satisfactory. I need something to demonstrate the potential of such software to interested parties rather anything comprehensive.

The software must be such that it can be translated into another language (insofar as it involves English and not just symbols, of course). This is one reason that a simpler piece of software which focused on a particular aspect of logic might be ideal - less to translate!

Ideally, it should be usable through a virtual learning environment but for my current purposes this is somewhat less important.

Right now, it needs to work on Linux and it doesn't much matter whether it works on anything else since I'm only demonstrating. But, of course, if I can say it would work on Windows, that would probably count in its favour.

Does anybody have any suggestions? Any pointers would be very much appreciated.

juna · 2012-04-02 18:47:20

Maybe ProofWeb http://prover.cs.ru.nl/login.php is of interest.

cfr · 2012-04-02 21:33:17

Thanks. That's probably a bit too mathematical for philosophy students - the proofs in the screenshots aren't set out the way they usually appear in the systems of natural deduction philosophy intro students use. Definitely the right sort of thing, though. Might be helpful for a more advanced course (or one aimed specifically at maths or computing students).

I should have specified the students the course is aimed at in my original post - sorry.

EDIT: actually maybe "Fitch" style is close to what I want. I've just never heard it called that before!

Last edited by cfr (2012-04-02 21:42:26)

mackwai · 2015-05-27 20:48:23

Try this web application: http://www.somerby.net/mack/logic/. It can construct truth tables and determine if simple symbolic arguments are valid in monadic predicate logic and S5 modal logic.

WorMzy · 2015-05-28 07:18:13

mackwai, welcome to the Arch forums. Please take a moment to read through the forum etiquette, paying close attention to the section regarding necrobumping.

https://wiki.archlinux.org/index.php/Fo … bumping.22

Closing.

Arch Linux

#1 2012-04-02 18:07:59

Recommendations for software for symbolic logic

#2 2012-04-02 18:47:20

Re: Recommendations for software for symbolic logic

#3 2012-04-02 21:33:17

Re: Recommendations for software for symbolic logic

#4 2015-05-27 20:48:23

Re: Recommendations for software for symbolic logic

#5 2015-05-28 07:18:13

Re: Recommendations for software for symbolic logic

Board footer