Formal

Formal - relating to form.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

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

Related Topics:
Logic - Reason - Logical argument - 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.

Related Topics:
Propositional logic - Soundness

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:If

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:S is a P

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:and

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:all P are M,

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:then S is M

~ ~ ~ ~ ~ ~ ~ ~ ~ ~