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

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

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

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

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

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

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

но Зл:² взято здесь как Зх² + 5. След., у зависит от Зл:² + 5.

Это наглядно показывает нам, что логическая сущность функции есть умозаключение. Функция есть строгое инобытие числа, и, вернее, не числа, а числовой операции. Само число — непосредственно; числовое, т. е. арифметически–числовое, бытие есть непосредственная числовая значимость. Числовая операция есть также бытие непосредственное. Таков натуральный ряд чисел и все арифметические числа вообще, таковы и все арифметические операции. Когда мы говорим «2» или «10» или «3 + 5» или <?> и пр., мы оперируем с непосредственным бытием, с непосредственной числовой значимостью. Когда же мы переходим к функции, то как раз эта непосредственная числовая значимость и пропадает. Число превращается в то, о чем ровно никакого суждения не высказывается в смысле непосредственной значимости, превращается в то, что может иметь такое <…> непосредственное значение, в х; и все действия, которые над этим ? производятся, суть действия опосредствованные, т. е. без всякого числового результата. Потому и действия эти, будучи сами по себе тоже бытием непосредственным (если их брать самостоятельно), становятся здесь характеристикой опосредствованной значимости бытия, чем–то в глубочайшем смысле инобытийным в отношении числа и числовых операций. Это судьба чисел в инобытии, взятая без всяких чисел; голая фактическая (потому здесь — «ставшее») положенность числа и его операций — без непосредственной данности самих чисел.

Итак, совершенно точно нужно сказать, что функция есть число, взятое как чистое умозаключение вне всякой непосредственной значимости того, что участвует в дан–ном умозаключении. Непосредственная же значимость числа, данная как заполненное определенным содержанием умозаключение, есть уже не функция, а доказанная теорема.

1. С диалектической необходимостью мы приходим наконец и к выразительному числу, к выражению, вернее, к числу как выражению. Если понятию соответствует натуральная структура числа[112], определению—аксиома, суждению—действие и теорема, умозаключению — функция и доказательство^ то что же соответствует последней категории из принятых нами основных — выражению?

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

Выражение потому всегда предполагает категорию внешнего, категорию внутреннего и категорию отождествления того и другого, что, собственно говоря, и есть само выражение. О чистом смысле нельзя сказать, есть ли он что–нибудь внутреннее или внешнее. Сам по себе взятый, он не есть ни то, ни другое. Таково арифметическое число. О тройке или пятерке ничего нельзя сказать на тему о внутреннем или внешнем (внутричисловых категориальных моментов, где, как мы знаем, есть и свое внутреннее, и свое внешнее, мы здесь не касаемся, а берем полностью сформированное число как нечто цельное и самостоятельное). О становлении также нельзя ничего сказать в этом смысле. В области категории наличного бытия уже начинается антитеза внешнего и внутреннего, потому что само по себе наличное бытие, или ставшее, трактуется как факт, т. е. как нечто внешнее, и притом как факт осмысленный, т. е. несущий на себе некое внутреннее смысловое содержание. Но сама категория ставшего, осуществляя чистый смысл, переходит в категорию именно факта, и потому здесь нет полноты смыслового самонроявления. Здесь внутреннее есть смысл, а внешнее есть не смысл, но факт. А полнота диалектики требует, чтобы была такая категория, где и внутренний абстрактный смысл, и внешнее конкретное его воплощение были бы одинаково смысловым [и ], т. е. чтобы внутреннее было смыслом и внешнее тоже было смыслом. Такая категория есть категория выражения. Тут сразу дан и весь внутренний смысл, и отождествление того и другого до полной неразличимости.

2. Категория эта сложная, и тут возможны многочисленные подразделения. Однако для нас достаточно будет только двух видов математического выражения.

Во–первых, в выражении мы можем, напр., выделить выражение чистого смысла, отбрасывая выражение становления или ставшего. Выражение ведь несет на себе все внутреннее, т. е. все наши предыдущие диалектические категории, которые раньше не были ни внутренними, ни внешними, а здесь, в связи со своеобразием данной диалектической сферы, стали все внутренними. Мы можем, следовательно, выдвинуть во всей структуре выражения момент выраженности той или иной [из] предыдущих категорий. Ограничимся выделением выраженности последних двух категорий — ставшего чистого и ставшего заполненного. Конкретнее говоря, поставим вопрос: что даст в своем выражении — умозаключение и доказательство. Или еще конкретнее и ближе к математике: что даст в своем выражении функция и доказываемая теорема. Решим первую часть вопроса.

Надо найти выражение функции. Надо, значит, найти такую категорию, которая бы зависела в своем выражении от функции. Очевидно, такой категорией не может быть величина [>> ], если мы напишем как обычно:

<y = f (x)>

Это будет не выражение функции, а сама функция, т. е. категория, уже выведенная нами. Надо найти такой [у], в котором функция участвовала бы именно как функция со всем своим конкретным содержанием. Подставляя разные величины в х, мы получим разные у, но [113] отношения между ? и у останутся в любых значениях ? теми же самыми, сама–то функция останется совершенно без всякого изменения. Она в диалектическом смысле не будет положена, т. е. будет жить именно не как функция, но только лишь как мертвое вместилище того, что действительно тут живо, т. е. изменяющихся количественных значений х. Следовательно, чтобы была выражена сама функция, нужна величина, которая бы зависела не только от изменения своего аргумента, но и от изменения самого своего вида.

Другими словами, здесь мы получаем то, что в математике называется функционалом, т. е. величину, зависящую в своих изменениях не только от количественных значений х, но и от вида функции этого аргумента. Самое обычное оперирование с таким понятием (если не с термином) мы имеем в