История логики

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

Таким образом, Аристотель доказывает значимость закона противоречия и для мышления в понятиях и для чувственного восприятия.

Переходим к учению Аристотеля о законе исключенного третьего. Основная формулировка его у Аристотеля такова: «Равным образом не может быть ничего посредине между двумя противоречащими друг другу суждениями, но об одном одно необходимо либо утверждать, либо отрицать» («Метафизика», IV, 7, 1011 в 23).

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

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

Отношение между этими двумя законами – законом противоречия и законом исключенного третьего, – по Аристотелю, таково: отрицание закона противоречия имеет своим необходимым следствием отрицание закона исключенного третьего. Закон противоречия есть необходимая предпосылка закона исключенного третьего. Из отрицания первого с необходимостью вытекает следствие, что есть среднее между утверждением и отрицанием, между бытием и небытием. Однако это не говорит, что из закона противоречия можно вывести закон исключенного третьего. Последний имеет самостоятельное значение.

У Аристотеля закон исключенного третьего, так же как и закон противоречия, имеет не только логическое значение, но и онтологическое. Логический закон исключенного третьего имеет своим основанием закон самой объективной реальности. Даже более того, закон исключенного третьего мыслится Аристотелем прежде всего как закон бытия и лишь затем как закон мышления. Или бытие, или небытие, все или есть, или не есть, между бытием и небытием нет ничего среднего. В соответствии с этим законом бытия у Аристотеля дается учение об истине. Истина и ложь находятся в контрадикторной противоположности. По самому определению этих понятий ложность есть отрицание истины, а истинность – утверждение истины. Положение о контрадикторной противоположности истины и лжи служит у Аристотеля предпосылкой доказательства закона исключенного третьего.

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

Другое доказательство исходит из того психологического факта, что дискурсивное мышление имеет лишь две формы своего проявления: оно или утверждает, или отрицает. Функция мышления в его конкретно-психологическом проявлении – это утверждение или отрицание. Что-либо среднее между ними психологически невозможно. Это психологический факт.

Следующее доказательство у Аристотеля исходит из понятия изменения. Доказывается, что оспаривание закона исключенного третьего делает необъяснимым факт изменения в мире. Если принимать среднее между бытием и небытием, то это среднее может мыслиться двояко: или как положительное среднее (например, серое – среднее между черным и белым), или как отрицательное среднее (например, то, что не есть ни лошадь, ни человек).