Вначале стали рефлектировать способы получения знаний, отделять ошибочные рассуждения от верных, вести критику неверных рассуждений. Уже Сократ показывает, что если рассуждающий принимает некоторое знание о предмете (определенное выражение типа «А есть В»), то на основе этого исходного знания можно получить другое вполне определенное знание, причем получить с необходимостью (т. е. новое знание усматривается в выражении «А есть В»). Как отмечает А. Ахманов, греческие мыслители не могли не обратить внимание на наличие в речи особой принудительности, которая коренится в связях мысли: раз признано одно, то следует сказать и другое. Другое важное знание о мышлении состояло в том, что не любые связи между знаниями в рассуждении оправданы: одни ведут к парадоксам, а другие нет. Постепенно складывается представление, что ошибочность или истинность рассуждений зависит от того, как ум человека соединяет, связывает между собой в рассуждении отдельные знания. Поскольку знания относятся к подлежащему (сказывают что-то о нем), в одних случаях соединение знаний соответствует тому, как устроен объект (подлежащее), а в других – не соответствует его устройству (именно второй случай ведет к парадоксам). Выйти к этим представлениям, по сути – особой модели рассуждения, помогли полученные Платоном и Аристотелем знания об объекте высказываний, т. е. о том, что существует на самом деле.

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

Но как, спрашивается, узнать строение действительности? Как ни парадоксально, Платон и Аристотель думали, что именно правильное мышление выводит мудрого к знанию действительности. Получается замкнутый круг: чтобы узнать правила мышления, нужно знать устройство действительности, для этого, в свою очередь, необходимо правильно мыслить. В конце концов ответ был найден: мудрый (философ) получает знание о действительности, т. е. знания об идеях или сущности, прямо из первоисточника, т. е. от бога (Демиурга, Разума).

От начал типа «вода» или «огонь» понятия «идея» и «сущность» отличаются кардинально: идея и сущность – это не только то, что есть на самом деле, но одновременно и исходный пункт («начало») рассуждения. Поиски Сократом общих определений (например, что есть мужество или справедливость) представляют собой одну из первых попыток осознать, какие, собственно, характеристики выражения типа «А есть В» использует человек в исходном пункте рассуждения, получая затем на их основе новые знания. Совмещение в одном понятии (идее, сущности) представлений о началах рассуждения и объекте знания позволило выйти к постановке вопроса о том, каковы различия правильных и неправильных рассуждений. Решение состояло в установлении связи истины и лжи с тем, соответствует или нет знание своему объекту. «Кто о сущем говорит, что оно есть, тот говорит истину, – пишет Платон, – а кто утверждает, что его нет, тот лгун» (9, с. 65). Прав тот, вторит ему Аристотель, «кто считает разделенное разделенным и соединенное соединенным, а в заблуждении тот, мнение которого противоположно действительным обстоятельствам…» (6, c. 162). На первый взгляд, эти определения истины и лжи тавтологичны, ведь каждый, даже тот, кто лжет, утверждает, что он говорит о том, что есть. Но смысл этих критериев в другом: не в проверке конкретного рассуждения на истину или ложь, а в утверждении самого принципа нормирования рассуждения, в требовании строить правильные рассуждения, исходя из некоторых твердых оснований.

В диалоге «Федон» Платон пытается поставить связь знаний в рассуждении в зависимость от связи идей. Он доказывает, что поскольку идея четного противоположна идее нечетного, а число три причастно идее нечетного, то идея этого числа также противоположна идее четного (в современном языке формальной логики это платоновское рассуждение соответствует второй фигуре силлогизма). («Изложенные схемы силлогистических выводов, – пишет Ахманов, – Платон привел для доказательства бессмертия души, которая, будучи причастна идее жизни, при приближении того, что противно жизни, т. е. при приближении смерти, не погибает, а, оставаясь бессмертной, удаляется в царство Аида».) (9, с. 68).

С нашей точки зрения, силлогизма здесь нет. Платон строит не схему силлогистического вывода, а моделирует рассуждение, чтобы его нормировать, обосновать как правильное (истинное). Вот этот момент нормирования и моделирования рассуждения является еще одним кардинальным шагом в усилиях ряда греческих мыслителей. Уже пифагорейцы, подчинив вещи и мироздание числовым отношениям, подготовили почву для этого поворота; Платон сделал первый шаг, Аристотель же превратил нормирование и моделирование рассуждения в регулярный прием. Какими идеями он при этом руководствовался?

Во-первых, вслед за Платоном Аристотель запрещает получение парадоксов, т. е. приписывает мышлению определенную структуру. Всякий парадокс, по убеждению Аристотеля, свидетельствует об ошибке в рассуждении; эта ошибка должна быть вскрыта и исправлена, т. е. рассуждение должно быть построено правильно. Во-вторых, в правильности или ошибочности рассуждений можно убедиться, с одной стороны, наблюдая их результат (получаются противоречия или нет, устанавливаются связи или нет, происходит объяснение или, наоборот, возникает путаница); с другой стороны, соотнося рассуждение с правилами (и началами самого мышления). В свою очередь, правила мышления (рассуждения) устанавливаются на особых моделях. Ими являются представления о «суждении», «силлогизме», «доказательстве», «знании», «начале», «науке». Что такое, например, суждение? Это модель высказывания типа «А есть В». («Всякое суждение есть или суждение о том, что присуще, или о том, что необходимо присуще, или о том, что возможно присуще; из этих суждений, в зависимости от того, приписывается ли «что-либо в них или не приписывается, одни бывают утвердительными, другие – отрицательными; далее одни утвердительные и отрицательные бывают общими, другие – частными, третьи – неопределенными». (7, с. 11)). При этом высказывание – не просто модель, но и одновременно, как видно из цитаты Аристотеля, классификация высказываний типа «А есть В». Силлогизм – это, по сути, модель элементарного рассуждения, когда, исходя из двух высказываний типа «А есть В», не обращаясь к опыту и объекту получают третье новое высказывание («силлогизм же есть высказывание, в котором при утверждении чего-либо из него необходимо вытекает нечто отличное от утвержденного» (7, с. 10)). Если силлогизм – модель элементарного рассуждения, то доказательство – модель верного, истинного рассуждения; элементами этой модели являются знания и начала. Сама же наука представляет собой модель, как бы сегодня сказали, системы истинных знаний, задающих определенный научный предмет.

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