Одной из заслуг Тренделенбурга перед логикой является то, что он напомнил ей о ее историческом происхождении и представил его в чрезвычайно подходящем виде в своих «Аристотелевских элементах логики». С этим тесно связан поднятый им вопрос о том, имеет ли право формальная логика называть себя предпочтительно аристотелевской. Этот вопрос имел бы не только историческое значение, если бы формальная логика стояла на таких слабых ногах, что ей действительно нужно было бы «защитить себя великим именем». Но, кроме этого, на этот вопрос, похоже, нельзя даже обоснованно ответить отрицательно. «Формальная логика, – говорит Тренделенбург (3), – предполагает понятие с его характеристиками в готовом виде и выводит из данного; Аристотель в самых трудных частях занят именно тем, как формируется правильное понятие». Формальная логика здесь ошибается. Ибо если она находит в суждении форму происхождения понятия и учит его составлять из своих элементов посредством определения, то тем не менее она занята правильным образованием понятий. Она не перестала бы быть формальной даже, как показал Ф. Лотт (4), если бы, возвращаясь к Аристотелю, захотела начать свое развитие с суждения, а не с понятия. Конечно, он должен рассматривать понятие как данность, и он не может создавать роды, виды и т.д., а только находить их, но разве то же самое не относится к аристотелевской логике? – Когда далее Тренделенбург напоминает (5), что в «Метафизике» Аристотель принимает принцип тождества не просто в логическом смысле, но затем сам же добавляет, что в логических сочинениях ему придается субъективная форма: «одно и то же нельзя утверждать и отрицать в одно и то же время», на что Кант находит ошибку только в определении времени «в одно и то же время», это свидетельствует о том, что Аристотель прилагал усилия, чтобы придать этому принципу формальное выражение в логике, даже если он не считал его исключительным свойством логики. – Наконец, силлогизм Аристотеля имеет явно формальный характер, основанный исключительно на принципе содержания или не содержания терминов друг в друге, т.е. на диктуме de omni et nullo [Предложение обо всех и ни о чем (лат.)], так что здесь современная трактовка (по крайней мере, в категорических аналитических выводах) по существу полностью совпадает с древнейшей. Но если, как замечает Твестен (6), «ясно и признано, что силлогизм является главной частью логических сочинений Аристотеля, а все остальное существует только благодаря ему и связано с ним как основа или применение», то формальная логика была бы оправдана, хотя бы ради своего согласия с основным учением Аристотеля, считая себя тождественной с ним в главном. Правда, Тренделенбург утверждает, что Аристотель ни в коем случае не помещал сущность силлогизма в чисто формальное отношение характеристик, поскольку, согласно ему, основание вещи соответствует среднему понятию истинного силлогизма (7). Мне, однако, представляется, что Аристотель выражает как раз обратное, а именно, что всякая причина есть средний термин умозаключения, благодаря чему, следовательно, реальное значение не прикрепляется к формальному, но реальное прослеживается к формальному. – Даже то, что «у Аристотеля понятие должно включать причину вещи в себе и что его ясность должна быть как бы ясностью творческой природы и должна определяться из тех понятий, которые предшествуют в порядке природы», не проводит непреодолимой перегородки между аристотелевской и формальной логикой, которая не изгоняет из своей сферы генетическое определение, понятийную дедукцию, а лишь до сих пор игнорировала синтетические формальные отношения над аналитическими. – После всего этого я не могу заставить себя поверить, что формальная логика не должна иметь право называть Аристотеля своим родоначальником. Не отрицая, что отделение формального от реального еще не проведено в нем строго, нельзя отрицать стремления к этому отделению. С другой стороны, следует признать, что Кант хотел отделить мышление от познания таким образом, который не может быть последовательно осуществлен. Но отказываясь от этого преувеличенного требования, мы не отказываемся от формальной логики, поскольку она может сохранять себя совершенно отдельно как от смешения с метафизикой, так и от полного отсутствия связи с ней, и в таком своем положении может спокойно оставаться.
