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

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

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

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

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

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

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

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

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