Formal

Formal - relating to form.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

For example, formal logic reasons about a logical 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

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Logic: Logic (from Classical Greek λόγος (logos), originally meaning the word, or what is spoken, but coming to mean thought or reason) is most often said to be the study of arguments, although the exact definition of logic is a matter of controversy amongst philosophers (see below...

Reason: :For alternate uses see Reason (disambiguation)...

Logical argument: An argument is an attempt to demonstrate the truth of an assertion called a conclusion, based on the truth of a set of assertions called premises. The process of demonstration of deductive and inductive reasoning shapes the argument, and presumes some kind of communication, which could be part of a ...

Formal related Images and Photos (experimental)

Formal Hall	Formal Garden View I	Formal Garden View II	Crackled Formal Garden View I
Crackled Formal Garden View IV	Providence Formal Wedding Dress Prop	Formal Gardens 2011 Wall Calendar	Captain Cook Takes Formal Possession of New South Wales
French Men's Formal Wear for Spring-Summer 1963	The Formal Surrender of Bloemfontein from a Sketch by W.B. Wollen Ri	Indian from Quito in Formal Dress Late 18th Century	Frenchman in a Formal Pin- Striped Suit with a Double- Breasted Jacket with Long Lapels