Main Page | See live article | Alphabetical index

Formal

Formal - relating to form.

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

If
Socrates is a man
and
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.
If
S is a P
and
all P are M,
then S is M

Other Examples

Compare with