"Логика. Курс лекций" - читать интересную книгу автора (Тымцяс В.Г.)

Закон исключенного третьего применяется только: ;

• К двум единичным противоречащим суждениям. Например, к таким:

Нил является крупнейшей рекой Африки.
Нил не является крупнейшей рекой Африки.

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

• К двум суждениям, одно из которых общеутвердительное, а другое
частноотрицательное:

Все рыбы дышат жабрами.
Некоторые рыбы не дышат жабрами.

• К двум суждениям, одно из которых общеотрицательное, а другое
частноутвердительное:

Ни одно синтетическое вещество не электропроводно.
Некоторые синтетические вещества электропроводны. _
Символическое выражение закона исключенного третьего: AvA.

4. Закон достаточного основания: всякая мысль, чтобы быть истинной, |
должна быть доказанной, т. е. должны существовать достаточные аргумен- '
ты в пользу ее истинности. Иными словами, относительно всякого утвер-
ждения мы имеем право требовать достаточных доказательств, в против-
ном случае мы можем не принимать его в расчет. Данный закон уже выхо-
дит за рамки формально-логического закона, так как требует соотнесения
мысли с действительностью. На этом основании некоторые авторы вооб-
ще не считают его логическим: «закон достаточного основания не есть
логический закон, — писал один автор. — Он является скорее пережит-
ком вольфианской метафизики XVIII века»'.

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

Символическое выражение закона достаточного основания: В -> А.
Это основные законы логики. Существует, конечно, и множество дру-
гих. Среди них можно назвать следующие:

Законы ассоциативности. Это ряд законов, позволяющих по-разному
группировать знаки, соединенные союзами «и» и «или». Эти законы ана-
логичны соответствующим законам в арифметике для сложения и умно-
жения:

(а + b) + с = а + (b + с); (а • Ь) • с = а • (Ь • с)