§ 5. Суждение о сущностях и суждения эйдетической всеобщности
§ 5. Суждение о сущностях и суждения эйдетической всеобщности
«Судить о сущностях и связанных с ними обстоятельствах и судить эйдетически вообще — это при той широте, какую мы вынуждены придавать последнему понятию, — не одно и то же: не во всех своих высказываниях эйдетическое познание обладает в качестве „предметов о которых" сущностями».
Уместен вопрос: возможны ли вообще суждения о сущностях, схватываемых созерцательно? Схватывание не предполагает дискурса. Где дискурс, там представления. Это подтверждает и сам Гуссерль, когда говорит: «Сущности могут интуитивно осознаваться, в известной мере и постигаться, отнюдь не становясь оттого „предметами о которых"». И в самом деле, в суждениях соединяются друг с другом представления, но никак не сущности, которые исчезают из явленного уму вместе с прекращением их умосозерцания. Любые суждения о «сущностях» – это метафизический дискурс, в котором слово сущность соединяется с неким представлением. Тем не менее, Гуссерль допускает суждения о сущностях, отличая их от сходных суждений об индивидуальном в части принадлежности последнего ко всеобщему, или роду:
«Говоря точнее, тут все дело в различии между суждениями о сущностях и такими суждениями, в каковых неопределенно всеобщим образом и не смешиваясь с полаганием чего-либо индивидуального, все же выносятся суждения об индивидуальном, но только исключительно как о единичности сущностного, в модусе того, что вообще. Так, в чистой геометрии мы обыкновенно выносим суждения не об эйдосе “прямое”, „угол”, „треугольник”, „коническое сечение” и т. п., но о прямых и углах вообще или о „как таковых", об индивидуальных треугольниках вообще, о конических сечениях вообще. Подобные всеобщие суждения обладают характером сущностной всеобщности, — „чистой", или, как тоже говорят, „строгой" и вообще „безусловной" всеобщности…».
Бедный, бедный Эдмунд! Ему невдомек, что в геометрии не существует суждений (а точнее предложений) о множестве. В геометрии есть прямой угол, но нет «всех прямых углов». Есть квадрат, но нет множества всех квадратов, и т. д. Так же, как нет «чистой» и «грязной» геометрии. И если мы говорим о треугольниках или конических сечениях во множественном числе, то это не предложения геометрии, а высказывания о геометрии; о теме урока, – когда учитель говорит: сегодня займёмся коническими сечениями. Наверное, учитель имеет здесь в виду бесконечное множество возможных конических сечений, соответственно бесконечному числу возможных секущих плоскостей. Но предложения геометрии будут относиться к коническому сечению, как таковому, как эйдосу, а не ко множеству сечений.
Вообще, суждения о множествах принадлежат теории множеств. А в геометрии суждения выносятся как раз об «эйдосах» – геометрических фигурах и величинах. И поэтому предложения геометрии являются как раз «эйдетическими суждениями», согласно логике Гуссерля. Мы формулируем предложение, или суждение о площади треугольника, как такового, вовсе не образуя родового понятия «треугольника», – ибо нет таких индивидов – треугольников, обладающих родовым признаком – треугольностью. Так же и величина «площадь» не является родовым понятием, абстрагированным от всего множества фигур на плоскости. Величина «площадь» образуется не путём обобщения и абстрагирования, а задаётся логически. Наглядное представление о площади тут вовсе не при чём: оно может как помогать, так и мешать математику. Можно представить себе открытое множество находимых в опыте отношений, которые моделируются треугольником, или даже задать это множество указанным образом, – как множество отношений, моделируемых треугольником; тем не менее, суждение о гипотенузе остаётся суждением о гипотенузе, а не о множестве расстояний, вычисляемых как длина гипотенузы треугольника. Поэтому совершенно излишен вывод Гуссерля о том, что «…чистые сущностные суждения, какой бы логической формой они ни отличались, не полагают индивидуального бытия, даже и тогда, когда выносят суждение об индивидуальном». Если под чистыми сущностными суждениями он понимает положения математики, то беспокоиться не о чем – это не суждения об индивидуальном; так же в части его принадлежности ко всеобщему. То есть, это не классифицирующие суждения. Это логические предложения. Что же до «чистых сущностных суждений», то это не более чем заклинание, или гимническое обращение; выражение пиетизма Гуссерля по отношению к каким-то его представлениям.
В целом, по итогам этого пассажа можно сказать, что Гуссерль, – кроме того, что обнаруживает здесь вульгарное представление о математике, – вводит понятие о суждениях «сущностной всеобщности», или таких суждениях, которые получают всеобщий характер оттого, что судят о сущности индивидуального, и через это оказываются истинными относительно целого рода, поскольку все единичности этого рода суть одной сущности: «…любое суждение о сущностях может быть эквивалентно обращено в безусловно всеобщее суждение о единичностях этих сущностей как таковых».
И все такие суждения образуют у Гуссерля особый класс: они «сопринадлежны», как принадлежащие этому классу:
«чистые сущностные суждения (чисто эйдетические суждения), какой бы логической формой они ни отличались, сопринадлежны. Общее во всех них то, что они не полагают индивидуального бытия, даже и тогда, когда выносят суждение об индивидуальном — а именно, в его чистой сущностной всеобщности».