need some help: Philosophy Forums

need some help
looking for computer programs

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	#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

Usergroup: Members
Joined: Sep 28, 2007
Location: Poughkeepsie, NY
Total Topics: 7
Total Posts: 60

Posted 04/19/08 - 08:25 AM:	#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

Usergroup: Members
Joined: Dec 18, 2004
Location: Bogota, Colombia
Total Topics: 69
Total Posts: 1882

Posted 04/20/08 - 10:38 AM:	#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

You don't have permission to post.