A-Z Popular Blog Fallacies Search »

What is Formal Logic?

 , updated on July 19, 2023
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.
Overview: Formal Logic
Formal logic is the practice of using inference to deduce conclusions from sets of premises.
Determining the validity of an argument and deducing conclusions from what you know.
Related Techniques
Next: Excluded Middle


This is the complete list of articles we have written about logic.
Catch 22
Cold Logic
Common Sense
Educated Guess
Formal Logic
Fuzzy Logic
Informal Logic
Limits Of Logic
Meta Examples
True Opposite
Types of Logic
If you enjoyed this page, please consider bookmarking Simplicable.


A few logic terms explained.

I Think Therefore I Am

The four meanings of the phrase -- I think therefore I am.


The definition of meaning with examples.

Argument Examples

An overview of common types of argument with examples of each.


An overview of practical thinking and behavior with examples.

Real World

An overview of the real world with examples.

Theory Examples

A list of well known theories.

Human Factors

A list of human factors in design.

Human Factors In Project Management

A list of human factors that play a role in projects.

Human Perspective

The definition of human perspective with examples.

Design Characteristics

A list of common design characteristics.
The most popular articles on Simplicable in the past day.

New Articles

Recent posts or updates on Simplicable.
Site Map