Формальная логика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. 1

Обоснование законов формальной логики заключается в том, что они отражают схемы правильных рассуждений, сложившиеся в процессе многовековой практики мышления. 3 Эти законы лежат в основе различных логических операций, умозаключений, доказательств и носят объективный характер, то есть не зависят от сознания и воли людей. 3

Основными законами формальной логики являются:

1. Закон тождества. 4 Гласит, что у любой мысли в процессе рассуждения должно быть устойчивое содержание. 4
2. Закон непротиворечия. 4 Если что-то утверждается о каком-либо предмете, нельзя без противоречия себе отрицать о том же самом предмете то же самое (если предмет взят в то же время и в том же отношении). 4
3. Закон исключённого третьего. 4 Два противоречащих суждения не могут быть одновременно ложными, одно из них обязательно истинно. 4
4. Закон достаточного основания. 4 Выражает требование обоснованности и доказанности мысли: всякую мысль признают истинной, если у неё есть достаточное основание. 4