История философии - XX век - Фредерик Коплстон

И так, мы имеем: i) главные принципы, полученные νούς; ii) то, что вытекает с необходимостью из главных принципов, полученное с помощью индукции, и iii) то, что возможно или наоборот и что является предметом мнения. Однако Аристотель видел, что главная посылка силлогизма, например «Все люди смертны», не может быть выведена непосредственно из главных принципов – она также основана на индукции. Это подразумевает реалистскую теорию универсалий, и Аристотель утверждает, что индукция показывает, как общее проявляется в известном нам единичном.

8. В книге, подобной этой, нет возможности подробно изложить логику Аристотеля, однако необходимо отметить, какой огромный вклад внес Аристотель в эту область науки, особенно в учение о силлогизме. Логическим анализом занимались и в Академии, особенно в связи с теорией Форм (стоит только вспомнить дискуссию в диалоге «Софист»), но именно Аристотель констатировал логику как отдельную науку, а также открыл и исследовал фундаментальную форму умозаключения – силлогизм. Его теория силлогизма не потеряла своего значения и поныне, и, даже если бы Аристотель, кроме нее, не создал бы ничего другого, его имя навечно вошло бы в историю. Однако справедливости ради надо признать, что Аристотель подверг исчерпывающему анализу не все дедуктивные процессы, так как классический силлогизм предполагает наличие: i) трех предположений, в субъектной и предикативной форме; ii) трех терминов, из которых предположение берет как субъект, так и предикат и в данном случае определяет, в какой форме два предположения содержит третий: а) только в логической форме либо b) в форме примыкающего экзистенциального утверждения, как в модусе Darapti.

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