Что такое формальная логика, обоснование законов формальной логики?

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

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

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

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