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