Но необходимо подчеркнуть, что логика для Аристотеля - не самостоятельная специальная наука, а инструмент всякой науки. Это и дало веское основание поздним комментаторам Аристотеля назвать всю совокупность его логических работ органоном, т. е. орудием, орудием всякого знания. Напомним, что "Opганон" включает в себя шесть работ - "Категории", "Об истолковании", "Первая аналитика", "Вторая аналитика", "Топика", "О софистических опровержениях" 2 /Все они вошли в цитируемый выше второй том издаваемого у иас четырехтомного собраиия сочинений Аристотеля./. Главными составными частями "Органона" являются "Первая аналитика", где открывается и исследуется силлогистическая форма рассуждения и вывода, и "Вторая аналитика", где говорится о доказательстве и его началах. Особое и весьма важное место в "Органоне" занимает также "Топика".

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

Законы мышления. Из четырех законов мышления традиционной логики Аристотель установил по крайней мере два - законы (запрещения) противоречия и исключенного третьего. Законы же тождества и достаточного основания у Аристотеля тоже намечены в учении о научном знании как знании доказательном (закон достаточного основания) и в тезисе, согласно которому "невозможно ничего мыслить, если не мыслить [каждый раз] что-нибудь одно" (Метаф. IV, 4, с. 64) - закон тождества.

Оо онтологическом аспекте закона [запрещения] противоречия говорилось выше как об основном законе бытия. Напомним, что в краткой экзистенциальиой форме этот закон звучит как "вместе сущесвовать и не сушсствовать нельзя" (там же, с. 63) или: "Не может одно и то же в то жe самое время быть и не быть" (ХI, 5, с. 187), а в полной - как утверждение: "Невозможно, чтобы одно и то же вместе (совместно, одновременно) было и не было присуше одному и тому же в одном и том же смысле" (IV, 3, с. 63). В "Метафизике" сформулирован и логический аспект закона [запрещения] противоречия в словах о том, что "нельзя говорить верно, вместе утверждая и отрицая что-нибудь" (IV, 6, с. 75). Этот аспект более определенно показан в логпческих работах Аристотеля, где не раз утверждается, что невозможно одно и то же одновременно утверждать и отрицать. Этот закон прямо обосновать нельзя, однако можно опровергнуть противоположный ему взгляд, показав его нелепость. Всякий, кто оспаривает закон [запрещения] противоречия, им пользуется. Далее, если не признавать этого закона, все станет неразличимым единством. Сюда же относятся вышеотмеченные соображения Аристотеля против скептика, который, утверждая, что все истинно или что все ложно, что оказывается нелепым с позиций практики, может это делать, лишь отвергая закон [запрещения] противоречия.

Говоря об этом основном законе мышления, Аристотель учитывает те крайности, в которые впадали исследователи, подходившие к его открытию. Например, киник Антисфен считал, что надо говорить "человек есть человек", но нельзя сказать, что "человек есть живое существо" или "белый", или "образованный", потому что это означало бы некое "нарушение". В свете открытого Аристотелем закона можно лучше понять Антисфена. Утверждая, что "человек есть образованный", мы утверждаем, что "а есть не-а", ибо "образованный" - это не то, что "человек". Казалось бы, закон [запрещения] противоречия подтверждает это. Получается, что утверждение "человек есть образованный" означает, что человек есть одновременно и а [человек] и не-а [образованный].