[Лосев ] — идеалист.

[Лосев ] — контрреволюционер.

В умозаключении (так же, как и относительно суждения) возможна большая расчлененность. Суждение может быть взято как исчерпанность всего смыслового содержания полагаемого понятия; тогда это не суждение, а определение. В первоначальной диалектической конструкции этому соответствует не становление вместе с тем, что именно участвует в становлении, но чистое становление, чистые акты полагания (независимо от полноты или неполноты полагаемого содержания). Точно так же и умозаключение. Оно может быть взято вместе со всем своим конкретным содержанием и может быть взято чисто инобытийно, просто как формальная объединен–ность двух или ряда суждений, просто как вообще положенность суждения. Этому будет соответствовать в первом случае ставшее вместе с тем, что именно тут «стало»; и во втором — чисто ставшее, чистый факт перехода от одного суждения к другому (независимо от того, каково именно смысловое содержание фиксируемой ставшести).

Если перво–принципу соответствует числовой перво–принцип, неразличимое перво–число, принципу (или понятию)— категориальная структура числа, определению — аксиоматика, суждению — отдельная математическая операция, определенному умозаключению — теорема вместе со своим доказательством, то чистому, голому умозаключению, из которого исключено все смысловое содержание и в котором оставлена только формальная последовательность суждений или актов полагания, этому умозаключению соответствует в математике понятие функции.

3. Когда мы пишем в математике

[y = f (x)] —

что мы имеем в виду? Мы просто имеем в виду, что с χ производится ряд действий. Пусть у = 3х2 + 5. Это значит, что мы возводим χ в квадрат, умножаем его на 3 и к этому прибавляем еще 5. Совокупность всех этих действий с χ и есть функция х. Но нужно ли для этого знать количественное значение χΊ Это совершенно не необходимо. Когда мы говорим, что у есть функция χ, то этим мы как раз хотим сказать, что независимо от количественного значения χ [величина] у именно вот таким, а не иным образом зависит от х. Функция и есть эта зависимость между у их, рассматриваемая совершенно без всякого учета их количественного содержания.

Ясно, что это та же картина, что и в чистом умозаключении. Беря чистое умозаключение, мы оперируем только с формальной последовательностью суждений; и так как в диалектическом смысле суждение есть становящееся полагание, то умозаключение как объединенность разных становлений есть, очевидно, не само становление, но его результат, т. е. не становление, а ставшее или, как еще иначе называют в диалектике эту категорию, наличное бытие. Это акт полагания как ставшее. Если бы мы имели в виду все смысловое содержание данного акта полагания, то нам пришлось бы выставить много разных суждений и, точно соблюдая их последовательность, дать такой вывод, который в точности бы соответствовал исходному акту полагания. Тогда это было бы доказательством исходного положения. Таково доказательство любой математической теоремы. Но мы тут отвлекаемся от смыслового содержания данного положения, и его законченное доказательство рассыпается на ряд отдельных умозаключений.' Это и суть не [что] иное, как отдельные функции.

В функции д> = Зх2 + 5 мы задачей имеем такие умозаключения:

1) у зависит от χ,

но χ тут взят как х2. След., у зависит от х2,

2) у зависит от л:2,

но х2 взят тут как Зл:2. След., у зависит от Зл:2;

3) у зависит от Зл:2,