Закон исключенного третьего.

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

В книге «Метафизика» Аристотель так сформулировал этот закон: «Не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать».

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

Какое из двух суждений истинно или ложно показывает практика, а не логика.

Формула этого закона: А  ; А или не-А – V веритас (истина) – терциум нон датум (третьего не дано).

Таблица истинности для этого суждения будет выглядеть так:

А	Не- А	А 
и	Л	И
л	И	И

Таким образом, мы убедились, что закон исключенного третьего также является законом мышления. Действует только в отношениях противоречия: А-О; Е- .

Закон исключенного третьего относится к жестко фиксированным ситуациям, он справедлив и применим там, где возможно четкое решение и недвусмысленный ответ – «да» или «нет».

Например, Н.В.Гоголь в «Мертвых душах» о чиновниках города пишет так: «Один там только и есть порядочный человек – прокурор, да и тот, если правду сказать, свинья».

Анекдот о Ходже Насреддине и богатом соседе…

Закон достаточного основания.

В науке, философии, обыденной жизни мы, как правило, стремимся к тому, чтобы наши мысли были обоснованы. Это требование было сформулировано в виде закона достаточного основания В.Лейбницем: «Всё существующее имеет достаточные основания для своего существования».

Современная трактовка закона: « Всякая истинная мысль должна быть достаточно обоснованной».

Обычно говорят, что формулы для этого закона нет, но иногда приводят такую:  (если есть В, то есть и его основание А).

Достаточным основанием для наших суждений являются факты, опытные факты, общепринятые определения, практика в целом, понимаемая как процесс; для следственных органов – проверенные показания свидетелей.

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

Слабое знание законов логики создает возможность для появления разного рода ошибок в рассуждениях. -

Законы логики можно нарушать по двум основаниям:

А) сознательно ( в результате получаем софизмы);

Б) невольно ( в результате паралогизмы).