Структура доказательства

• Что доказывается

• Чем доказывается выдвинутое положение

• Как оно доказывается

Ответы на эти вопросы раскрывают: Тезис, Аргументы, Демонстрация.

Тезис – это суждение, истинность которого следует доказать.

Аргументы – это истинное суждение, которое служит для обоснования тезиса. Демонстрация – это логическая форма построения доказательства, которое как правило имеет форму дедуктивного умозаключения.

Нарушение этого закона приводит к логической ошибке, названной – подмена понятия.

Закон противоречия – два находящихся в отношении отрицания суждения не могут быть одновременно истинными, одно из них непременно ложно. Признав известные положения в качестве истинных и развивая выводы из этих положений, мы не можем допустить в своём рассуждении или доказательстве никаких утверждений противоречащих тому, что уже было сказано ранее. Согласно закону противоречия не могут быть одновременно истинными 2 высказывания, одно из которых нечто утверждает о предмете, а другое это же самое отрицает. При этом следует иметь в виду, что закон противоречия запрещает считать истинными такие высказывания, в которых нечто утверждается, либо отрицается об одном и том же предмете, в одно и тоже время, и в одном и том же отношении. Предъявляет требование непротиворечивости и последовательности.

Закон исключенного третьего – из 2-х противоречивых друг другу суждений одно и только одно является истинным, 3-го не дано. Закон противоречия действует как для противоположных высказываний, так и для противоречивых. Закон исключенного третьего имеет более узкую сферу, он применим лишь к противоречивым высказываниям. В случае противоположных высказываний истина не всегда принадлежит одному из них, истина может быть и где-то посередине. В случае противоречивых высказываний истина принадлежит одному и только одному из них.

Закон достаточного основания – согласно этому закону, для того, чтобы признать высказывание о предмете истинным, должно быть указано достаточное основание. Всякая истинная мысль должна быть достаточно обоснованна. В настоящее время выделяется достаточное условие (основание, необходимость), которое не является достаточным, но тем не менее не противоречит закону, это что-то ранее доказанное, аксиомы, леммы, данные эксперимента и т.д. В логике логическим законом считается всякая тождественно-истинная формула.