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
~ ~ ~ ~ ~ ~ ~ ~ ~ ~
~ Table of Content ~
| ► | Introduction |
| ► | Other examples |
| ► | Compare with |
~ What's Hot ~
The Boondock Saints Ii All Saints Day, Stan Helsing, I Love You Beth Cooper, The Men Who Stare At Goats, The Time Traveler S Wife, The Ugly Truth, Twilight, Drag Me To Hell, Alvin And The Chipmunks The Squeakquel, Hannah Montana The Movie, Couples Retreat, The Princess And The Frog, Where The Wild Things Are, Transformers Revenge Of The Fallen, 2012, The Mummy 4 Rise Of The Aztec, Cirque Du Freak The Vampire S Assistant, 500 Days Of Summer, New Moon, The Box,
~ Community ~
| ► | History Forum Come and discuss about History, Civilizations, Historical Events and Figures |
| ► | History Web-Ring A community of sites, blogs and forums dedicated to History. Do not hesitate to submit your site. |
and are licensed under the GNU Free Documentation License.
Lexicon - Privacy Policy - Spiritus-Temporis.com ©2005.