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