Наука логики

Если более тщательно сравнить между собой положения какой-нибудь синтетической науки, и в особенности геометрии, то обнаружится следующее различие: одни теоремы этой науки содержат лишь отдельные отношения предмета, другие же - такие отношения, в которых выражена исчерпывающая определенность предмета. Весьма поверхностно рассматривать все положения как равноценные на том основании, что-де вообще каждое из них содержит некоторую истину и что они в формальной процедуре, в ходе доказательства одинаково существенны. Различие, касающееся содержания теорем, самым тесным образом связано с самой этой процедурой; некоторые дальнейшие замечания о ней послужат к тому, чтобы больше выяснить указанное различие, равно как и природу синтетического познания. Прежде всего [необходимо отметить следующее]: Евклидова геометрия, которая должна служить здесь примером как представительница синтетического метода, будучи его наиболее совершенным образцом, издавна превозносится за порядок расположения в ней теорем каждой теореме предпосылаются как уже ранее доказанные те положения, которые требуются для ее построения доказательства. Это обстоятельство касается формальной последовательности; как ни важна такая последовательность, она все же больше касается внешнего упорядочения сообразно цели и сама по себе не имеет никакого отношения к существенному различию между понятием и идеей, в котором заключается более высокий принцип необходимости движения вперед. А именно, в дефинициях, с которых начинают [в геометрии], постигается чувственный предмет как непосредственно данный и определяют его по его ближайшему роду и видовому отличию, которые также суть простые, непосредственные определенности понятия - всеобщность и особенность, отношение между которыми не развертывается дальше. Начальные теоремы сами не могут опираться ни на что другое, кроме таких непосредственных определений, как те, чтб содержатся в дефинициях; а равно и их взаимная зависимость может иметь прежде всего лишь то общее, что одно определение вообще определено другим. Так, первые теоремы Евклида о треугольниках касаются лишь конгруэнтности, т. е. вопроса о том, сколько частей должно быть определено в треугольнике, чтобы были вообще определены и остальные части того же треугольника, иначе говоря, весь треугольник в целом. То, что сравниваются друг с другом два треугольника и конгруэнтность усматривают в наложении [одного треугольника на другой ], - это уловка, в которой нуждается метод, долженствующий пользоваться физическим наложением вместо мысленного - быть определенным (Bestimmtsein). Помимо этого, рассматриваемые отдельно, эти теоремы сами содержат две части, из которых одну можно считать понятием, а другую-реальностью, тем, чтб завершает понятие, сообщая ему реальность. А именно, то, чтб полностью определяет [треугольник] (например, две стороны и заключенный между ними угол), есть для рассудка уже весь треугольник; для исчерпывающей определенности треугольника ничего больше не требуется; остальные два угла и третья сторона - это уже избыток реальности над определенностью понятия. Поэтому результат указанных теорем, собственно говоря, таков: они сводят чувственный треугольник, во всяком случае нуждающийся в трех сторонах и трех углах, к [его] простейшим условиям;