только категорию сущности, точнее говоря то, что может быть подведено под категорию сущности.
Силлогизм. Силлогизм - открытие Аристотеля. Он дал определение силлогизму и различил его виды, он определил работающие и не работающие виды силлогизмов (модусы), устаногил три фигуры силлогизма. В 'Первой аналитике', где как раз и излагается аристотелевская теория силлогизма, сказано, что 'силлогизм есть речь, в которой, если нечто предположено, то с необходимостью вытекает нечто отличное от положенного в силу того, что положенное есть' (Первая аналитика I, 1, с. 120). Аристотелевский силлогизм состоит из трех суждений, два из них - посылки, а третье - заключение (в индийском силлогизме пять суждений). Посылки выражены у Аристотеля не так, как у нас, а в форме: 'А присуще В' (у нас 'В есть А' ), т. е. Аристотель ставит предикат суждения (сказуемое) на первое место. Посылки связаны общим для них (средним) термином. В роли такового могут выступать предикат одной посылки и субъект другой, предикаты обеих посылок, субъекты обеих посылок. В зависимости от этого различаются фигуры силлогизма. Самая ценная из них в познавательном отношении - самая совершенная - первая. Там с логической необходимостью из посылок следует заключение: 'Если А сказывается о всяком В и В сказывается о всяком С, то А с необходимостью сказывается о всяком С'. Силлогизмы третьей и второй фигур несовершенны - необходимы дополнительные операции, дабы достичь логической необходимости следования. В первой фигуре (при утвердительных посылках) средний термин выражает причину: Все млекопитающие - теплокровные. Лошади - млекопитающие. Лошади - теплокровные, т. е. лошади теплокровные, потому что они млекопитающие (средний термин). В других фигурах такой ясной онтологической картины нет, поэтому они несовершенны, искусственны. В понятии о совершенном и несовершенном силлогизме мы еще раз видим онтологический характер аристотелевской логики.
Итак, фигура силлогизма определяется местом среднего термина. Модусы определяются характером посылок, которые могут быть общеутвердительны и, общеотрицательными, частноутвердительными и частноотрицательными. Перебрав все варианты, Аристотель установил, что вывод получается только в четырех случаях; это происходит лишь тогда, когда сочетаются общеутвердительная посылка с общеутвердительной, общеотрицательная с общеутвердительной, общеутвердительная с частноутвердительной и общеотрицательная с частноутвердительной, т. е. одна из посылок должна быть общей и одна - утвердительной. Из двух частных посылок ничего не следует. Также ничего не следует из двух отрицательных посылок.
Доказательство. Доказательство рассматривается во 'Второй аналитике'. Доказать что-либо - значит связать необходимой связью то, что связано в самой действительности. Для этого надо, чтобы посылки были истинны и чтобы связь через средний термин была логически правильной. Для истины одной логической правильности мало. Требуется еще истинность посылок, в которых связь субъекта и предиката отражала бы связь, присущую самой действительности. При этом связь субъекта и предиката должна быть необходимой, т. е. выражать не случайные, а существенные связи.
В этом контексте необходимо остановиться на том, как Аристотель понимал истину и ложь вообще. Он отнюдь не считал, что все истинно или тем более, что все ложно. Одно истинно, а другое ложно. Истина и ложь не заключены в самой действительности, они не онтологичны. 'Истинное и ложное есть сочетание мыслей' (О душе III, 8) 1 /Аристотель. Соч., т. 1, с. 449./.
Применительно к суждению это означает, что истина и ложь есть сочетание элементов мыслей, если под мыслью понимать суждение. В 'Метафизике' Аристотель выдвинул материалистическое определение истинности и ложности суждений: 'Прав тот, кто считает разделенное - разделенным и соединенное - соединенным, а в заблуждении тот, мнение которого противоположно действительным обстоятельствам' (IX, 10, с. 162). Истина в суждении - соответствие того, что соединено или разделено в мысли, тому, что соединено и разделено в вещах. Ложь в том, что в мысли соединяется то, что разделено, и разделяется то, что соединено. Если я говорю, что Иванов - студент, тогда как Иванов еще ходит в детский сад, то я высказываю ложное суждение (это не значит, что я лгу, ибо ложность состоит в несоответствии мысли вещам, а ложь - в несоответствии слов мыслям). В ложных суждениях проявляется относительное небытие. Это его третий смысл.
Если посылки истинны, а связь между ними формально правильная, то