Formal logic is the practice of deriving logical conclusions from premises that are known or assumed to be true.There are several types of formal logic that each rely on different systems of translating statements in natural language into a formal representation. Once represented in a formal language, logic can be evaluated for correctness and used to infer conclusions.
No system of logic can represent all the nuances of natural language. As a result, informal logic can evaluate ideas that are out of formal logic's reach. For example, traditional logic is based on an excluded middle such that it can't consider partial truths and grey areas.
Function   Definition  Formal logic is the practice of using inference to deduce conclusions from sets of premises.
 Value   Related Techniques   Next: Excluded Middle
Logic
This is the complete list of articles we have written about logic.
If you enjoyed this page, please consider bookmarking Simplicable.
© 20102024 Simplicable. All Rights Reserved. Reproduction of materials found on this site, in any form, without explicit permission is prohibited.
View credits & copyrights or citation information for this page.
