The Formal reference article from the English Wikipedia on 24-Jul-2004
(provided by Fixed Reference: snapshots of Wikipedia from


You can make a difference by sponsoring a child
Formal - relating to form.

For example, formal logic reasons about a logical argument based only on the form and not on the meaning.

Socrates is a man
all men are mortal,
then Socrates is mortal
The conclusion follows from propositional logic. We can see the soundness of this argument by substituting in symbols to make the form clear.
S is a P
all P are M,
then S is M

Other Examples

Compare with