Share this site with del.icio.us Share this site with digg Share this site with reddit Share this site with technorati Share this site with furl Share this site with stumbleupon Share this site with google Add this site to Yahoo Bookmarks Click here to add us to your favorites Subscribe to our Feed





formal logic

Definition

Classical or traditional system of determining the validity or invalidity of a conclusion (inference) deduced from two or more statements (premises). Based on the theory of syllogism of the Greek philosopher Aristotle (384-322 BC) systematized in his book 'Organon,' its focus is not on what is stated (the content) but on the structure (form) of the argument and the validity of the inference drawn from the premises of the argument-if the premises are true then the inference (also called logical consequence) must also be true. The basic principles of formal logic are (1) Principle of identity: if a statement is true then it is true. (2) Principle of excluded middle: a statement is either true or false. (3) Principle of contradiction: no statement can be both true and false at the same time. Also called Aristotelian logic. See also fuzzy logic and symbolic logic.

Browse by Letter: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z