PhilosophyDay

Основные формально-логические законы

Другая философия / Основные законы мышления / Основные формально-логические законы

Страница 1

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

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

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

С законом противоречия, в свою очередь, тесно связан закон исключенного третьего.

Закон противоречия гласит, что утверждение и отрицание одного и того же не могут быть вместе истинными: одно из них непременно ложно. Но могут ли они быть одновременно ложными? Об этом закон противоречия ничего не говорит.

На этот вопрос отвечает закон исключенного третьего. В этом смысле его можно считать дополнением к закону противоречия (а следовательно, и к закону тождества). Его действием также обусловлена так или иначе определенность мышления, его последовательность, непротиворечивость. Но он обладает относительной самостоятельностью, имеет свою сферу действия и свое предназначение в мышлении.

Объективный источник и существо закона исключенного третьего. Подобно законам тождества и противоречия, этот закон имеет объективный источник. В нем отражается та же качественная определенность предметов и явлений действительного мира, сохраняющаяся до поры до времени в процессе их изменения и развития. А это означает, что нечто существует или не существует, входит в какой-то класс предметов или не входит, ему что-то присуще или не присуще и т.д.

Поэтому в той мере, в какой мир альтернативен, раздвоен на «наличие – отсутствие», мышление, если оно верно отражает его. не может не быть тоже альтернативным. В нем неизбежно действует закон исключенного третьего.

Открытый Аристотелем, этот закон гласит: «Не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать» '. И в другом месте: «О чем бы то ни было истинно или утверждение, или отрицание…»2

Обосновывая неизбежность действия этого закона и невозможность его отрицания, Аристотель приводил ряд (семь!) доводов в его пользу. В более позднее время он получил название закона исключенного третьего, хотя формулировки ему давались самые различные. Наиболее обшей из них является следующая: два противоречащих высказывания об одном и том же предмете не могут быть вместе ложными: одно из них по необходимости истинно. Формула этого закона: «А или не-А».

Чтобы понять действие закона, приведем две пары несовместимых высказываний:

1) «Байкал глубокий» – «Байкал мелкий»;

2) «Байкал глубокий» – «Байкал неглубокий».

Обратим внимание, что в первой паре предикатами выступают противоположные понятия («глубокий» – «мелкий»), а во второй – противоречащие понятия («глубокий» – «неглубокий»). Между ними, как мы помним, имеется не только сходство, но и различие. Противоположные отрицают друг друга, но не исчерпывают объема родового понятия. Спрашивается: могут ли два высказывания с противоположными предикатами быть одновременно истинными? Нет. Об этом говорит закон противоречия. Но могут ли они быть одновременно ложными? Да, потому что не исчерпывают всех возможных вариантов. Может статься, что «Байкал средней глубины». Закон исключенного третьего здесь не действует.