Philosophy Forums
Forums Links Articles Gallery Chat
Style:

Powered by WSN Forum




Register | Forgot Password

need some help
looking for computer programs

printPrint


need some help
sl3v3n
Initiate

Usergroup: Members
Joined: Apr 18, 2008
Total Topics: 1
Total Posts: 1
Posted 04/18/08 - 07:40 PM:
Subject: need some help
quote post
#1
I'm looking for programs for logic, predicate, modal and basic symbolic but haven't had any luck - does anyone know of something that could be as simple as a word processor with formating capabilities for derivations and proofs?

Thanks for any info.

Sl3v3n
modularsky
Dilettante
Avatar

Usergroup: Members
Joined: Sep 28, 2007
Location: Poughkeepsie, NY
Total Topics: 7
Total Posts: 60
Posted 04/19/08 - 08:25 AM:
quote post
#2
MathType for Microsoft Word has all the symbols necessary for logical formulations, but since it's more geared towards mathematical equations it may be a bit unwieldy for your uses. Other than that though I do not know of anything else.

"Es ist der geist, der sich den Körper baut!"
-Schiller
Timothy
Guerrilla Poster
Avatar

Usergroup: Members
Joined: Dec 18, 2004
Location: Bogota, Colombia
Total Topics: 69
Total Posts: 1882
Posted 04/20/08 - 10:38 AM:
quote post
#3
Check the last two posts on the "Recommended Reading" thread on this same forum. There are some links to some online logic courses, which feature some basic programs for making proofs (oxford's tableaux) and for checking proofs (cmu's logic & proofs).

"I think I'll stop here." -- Andrew Wiles immediately after presenting the proof of Fermat's Last Theorem, Cambridge, 23 June 1993
Download thread as


You don't have permission to post.

Please login or register.

19 total queries
This page was created in 0.64 seconds
Memory used: 6521120 bytes
Server Status: time since last reboot is 159 days, 16:15, load average: 0.56, 0.59, 0.82