-


Formal logic is a set of rules for making deductions that seem self evident. Syllogisms like the following occur in every day conversation.

All humans are mortal.
Socrates is a human.
Therefore Socrates is mortal.

Mathematical logic formalizes such deductions with rules precise enough to program a computer to decide if an argument is valid. #

http://www.mtnmath.com/whatth/node20.html



-

But Socrates & Plato were probably the best philosphers & Clement Freud was probably the master of logic albeit away from Einewstein & Newton...us2u  

--Last edited by us2u on 2007-01-12 16:14:26 --

This is a substantial link on the subject

[ Sentential Logic (SL) is also called “propositional logic”. It is a simple and basic system of logic. Here you will find tutorials and exercises on various aspects of SL. In addition there are online programs you can use to test the validity of arguments formalized in SL, and to analyse the properties of well-formed formulas (WFFs).]

http://philosophy.hku.hk/think/sl/

-

http://tellerprimer.ucdavis.edu/