§ 4. Закон виключеного третього

Закон виключеного третього формується так: b двох заперечувальних суджень про один і той же предмет, в один і той же час і в одному й тому ж відношенні одне неодмінно істинне, друге хибне, третього бути не може.

Наприклад, із двох суджень “Фірма «Прометей» у червні сплатила податки" та "Фірма «Прометей» у червні не сплатила податки" — одне неодмінно істинне, а друге хибне. Якщо буде встановлено, що істинним є перше судження, то друге буде обов'язково хибним, а якщо істинним визнане друге судження, то перше буде неодмінно хибним.

У вигляді формули закон виключеного третього записується так: А або не-А.

Як можна бачити, цей закон має сенс і діє за умов дихотомії (у двозначній логіці).

Із закону виключеного третього випливає така вимога: у процесі міркування не можна вважати одночасно хибними два суперечні судження і визнавати істинним якесь трете судження.

Згідно з законом виключеного третього, із хибності одногЛ суперечного судження неодмінно випливає істинність другого. Істинним за| законом виключеного третього може бути тільки одне з двох суперечно суджень: або А, або не-А, третього не дано. Третє судження об'єктивно не існує, воно виключене (тому цей закон і називається законом виключеного третього).

Закон виключеного третього не вказує, яка з двох суперечних думок істинна, це установлюється конкретним дослідженням, він тільки стверджує, що дві суперечні думки не можуть бути одночасно хибними, одна з них має бути обов'язково істинною.

Треба вказати, що закон виключеного третього діє в наступних парах суджень, що знаходяться у відношенні заперечення стосовно одне одного:

- одиничні стверджувальні і одиничні заперечу вальні;

- загальностверджувальні і частковозаперечувальні;

- загальнозаперечувальні і частковостверджувальні.

У випадку, коли істинним з двох заперечувальних суджень може бути тільки варіант часткового судження, цей закон не діє.

Наприклад: “Деякі депутати Верховної Ради мільйонери" і “Деякі депутати Верховної Ради не мільйонери” - обидва судження, будучи протилежними, вірні. Також з суджень “Всі сільськогосподарські підприємство України є прибутковими" і “Жодне сільськогосподарське підприємство України не є прибутковим" обидва не вірні - бо лише деякі сільськогосподарські підприємства України є прибутковими.

Закон виключеного третього має схожість на закон суперечності. Він, як і закон суперечності, забезпечує несуперечливість і послідовність мислення. При порушенні вимоги закону виключеного третього мислення стає, як і при порушенні вимог закону суперечності, суперечним і непослідовним. Але закон суперечності діє тоді, коли обсяги двох суджень знаходяться в стані. протилежності один до одного, наприклад, “Торговельна фірма продає! промислові товари ” і "Торговельна фірма продає продовольчі товари ”,

а закон виключеного третього передбачає, що два судження знаходяться між собою у відношенні заперечення і повністю вичерпують родову ситуацію.

Закон виключеного третього вимагає бути послідовним у мисленні, забороняє виляти, ухилятися від вибору одного з двох суперечливих рішень і шукати середнє рішення, вимагає давати зрозумілі, певні відповіді на поставлені питання.