Чтение онлайн

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

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

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

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

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

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

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

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

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

Г. Майер обращает внимание на то, что Аристотель нигде не делает попытки вывести закон исключенного третьего из закона противоречия. И было бы ошибкой искать у него такую дедукцию. Обычное выведение закона исключенного третьего из закона противоречия основывается на положении «двойное отрицание утверждает», а для Аристотеля отрицание отрицания есть чисто логическое отношение, законы же логики для него суть прежде всего законы бытия. Закон противоречия и закон исключенного третьего у него касаются сущего как сущего и именно поэтому трактуются в «первой философии». А так как истинное мышление есть адекватное отображение бытия, то законы бытия суть также законы мышления.

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

Для Аристотеля в обосновании логики все сводится к тому, что в самой реальной действительности есть нечто пребывающее, устойчивое и вполне определенное. Если бы в самой действительности все было бы в постоянном изменении, то не было бы никакой истины. И если бы вещи нельзя было твердо отграничить друг от друга и определить каждую в отдельности, то не было бы и мышления. Без неизменности вещей и без их обособленности друг от друга, по мнению Аристотеля, было бы невозможно бытие в собственном смысле, а вместе с тем были бы невозможны познание и истина. Но даже в подлунном мире единичные вещи, подверженные изменению, являются по меньшей мере относительно пребывающими. Не только объекты мышления, но и объекты чувственного восприятия отграничиваются друг от друга (последние, конечно, менее резко, чем первые). Пребываемость и обособленность объектов мышления и объектов восприятия являются у Аристотеля той основой, на которой покоятся законы противоречия и исключенного третьего.

Что касается закона тождества, то он у Аристотеля не играет роли основного закона. Тренделенбург находит у Аристотеля формулировку закона тождества Ф. Ибервег и Г. Майер придерживаются взгляда, что принципа тождества у Аристотеля нет.

К. Прантль в своей «Истории логики» рассматривает законы мышления у Аристотеля как аксиомы. Все науки, независимо от своих специальных принципов, опираются на законы мышления. Первой предпосылкой, на которой покоится все здание науки у Аристотеля, по Прантлю, служит положение, что всякое суждение «твердо стоит в себе», и что невозможно, чтобы «один и тот же по отношению к одному и тому же одновременно принимал и наличие его и отсутствие». К этому общезначимому основоположению как к последнему и самому прочному восходит всякий аподиктический прием. Человеческое мышление с самого начала фиксируется однозначно на эмпирическом материале и выражает это в суждениях, утверждая или отрицая. В этой аксиоме, по Прантлю, дело идет о простой предпосылке, которой должен пользоваться каждый человек, а не о принципе тождества и противоречия, который в его формальном понимании исключает всякое развитие и всякий процесс опосредствования. По мнению Прантля, принцип исключенного третьего у Аристотеля вполне совпадает с принципами тождества и противоречия.

В «Метафизике» (IV, 1012 а 26) Аристотель дает объединенную формулировку законов противоречия и тождества: «Говорить, что сущее не существует или что не сущее существует, – ложно, говорить же, что сущее существует и что не сущее не существует, – истинно». В этой формулировке закон тождества выступает на втором плане как дополнение к закону противоречия и как его обратная сторона.

Тренделенбург формулировку закона тождества усматривает в следующем месте «Первой Аналитики» (1, 32,47 а 8) «Все истинное должно быть согласно само с собой во всех отношениях». Но это не закон тождества, это основа всей формальной логики, основа всех ее законов. Если понимать основной закон как такой, который определяет собой все остальные законы данной науки, то это положение более всего подходит под понятие основного закона формальной логики.