ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО

Закон исключенного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. Он утверждает: из двух противоречащих высказываний одно является истинным, а другое ложным, третьего не дано.

Например: "Аристотель умер в 322 г. до н.э. или он не умер в этом году", "Личинки мух имеют голову или не имеют ее" и т.п. Само название закона выражает его смысл: дело обстоит так, как говорится в рассматриваемом высказывании, или так, как говорится в его отрицании, и никакой третьей возможности нет.

Человек говорит прозой или не говорит прозой, кто-то рыдает' или не рыдает, собака выполняет команду или не выполняет ее и т.п. – других вариантов не существует.

Этот закон с иронией обыгрывается в художественной литературе. Причина иронии понятна: сказать "Нечто есть или его нет", значит, ровным счетом ничего не сказать, и смешно, если кто-то этого не знает.

В "Мещанине во дворянстве" Ж.-Б.Мольера есть такой диалог:

Г-н Журден. ...А теперь я должен открыть вам секрет. Я влюблен в одну великосветскую даму, и мне хотелось бы, чтобы вы помогли написать ей записочку, которую я собираюсь уронить к ее ногам.

Учитель философии. Конечно, вы хотите написать ей стихи?

Г-н Журден. Нет, нет, только не стихи.

Учитель философии. Вы предпочитаете прозу?

Г-н Журден. Нет, я не хочу ни прозы, ни стихов.

Учитель философии. Так нельзя: или то, или другое.

Г-н Журден. Почему?

Учитель философии. По той причине, сударь, что мы можем излагать свои мысли не иначе, как прозой или стихами.

Г-н Журден. Не иначе, как прозой или стихами?

Учитель философии. Не иначе, сударь. Все, что не проза, то стихи, а что не стихи, то проза.

Пример ошибки, Все сдали экзамен, не сдал только Юра Задорнов.

4. ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ

Всякая истинная мысль должна быть достаточно обоснована.

В качестве аргументов для подтверждения истинной мысли могут быть использованы другие истинные суждения, цифры, статистика, законы науки, аксиомы, теоремы..

В) ДОКАЗАТЕЛЬСТВО

ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА И ЕГО СТРУКТУРА

Невозможно переоценить значение доказательств в нашей жизни и особенно в науке. И тем не менее доказательства встречаются не так часто, как хотелось бы. К доказательствам прибегают все, но редко кто задумывается над тем, что означает "доказать", почему доказательство "доказывает", всякое ли утверждение можно доказать или опровергнуть, все ли нужно доказывать и т.п.

Под доказательством в логике понимается процедура установления истинности некоторого утверждения путем приведения других утверждений, истинность которых уже известна и из которых с необходимостью вытекает первое.

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

К примеру, нужно доказать тезис "Все металлы проводят электрический ток". Подбираем в качестве аргументов утверждения, которые являются, во-первых, истинными и из которых, во-вторых, логически вытекает тезис. В качестве таких утверждений можно принять, в частности, следующие: "Все вещества, имеющие в своей кристаллической решетке свободные электроны, проводят электрический ток" и "Все металлы имеют в своей кристаллической решетке свободные электроны". Строим умозаключение:

Все вещества, имеющие в своей кристаллической решетке свободные электроны, проводят электрический ток.
Все металлы имеют в своей кристаллической решетке свободные электроны.

Все металлы проводят электрический ток.

Данное умозаключение является правильным (оно представляет собой категорический силлогизм), посылки его истинны; значит, умозаключение является доказательством исходного тезиса.

Доказательство – это правильное умозаключение с истинными посылками. Логическую основу каждого доказательства (его схему) составляет логический закон.

Задача доказательства – исчерпывающе утвердить обоснованность доказываемого тезиса.

Доказательства могут иметь дедуктивный и индуктивный характер.