IV. ФУНКЦИЯ И СОСЕДНИЕ КАТЕГОРИИ (ЧИСЛО КАК СУЖДЕНИЕ, УМОЗАКЛЮЧЕНИЕ, ДОКАЗАТЕЛbСТВО И ВЫРАЖЕНИЕ)

§ 75. |Суждение и определение].

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

[1 ]. Здесь, однако, полезно вспомнить первые общедиалектические категории, которые являлись и еще много раз будут являться для нас руководящей нитью для нашей системы. Именно, припомним, что бытие, истекающее из перво–бытия и противостоящее инобытию, синтезируется с ним в становление, а становление, противополагаясь и синтезируясь со своим собственным инобытием, порождает ставшее или наличное бытие, факт и в дальнейшем — выражение, энергийно–смысловое выражение. Эта элементарная диалектическая структура должна быть проведена и в отношении всего понятия числа еще до перехода к конкретно–математическим наукам. До сих пор, как сказано, мы разбирали только три первых момента этой структуры— перво–принцип, понятие, и суждение. Что же такое тут будет умозаключение, если его понимать как переход от смыслового становления к смысловому ставшему? Здесь нужны, однако, предварительные разъяснения и условия.

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

Именно, суждение есть, как мы знаем, положенное понятие. Положить, или утвердить, — это значит обвести границей, определить. Строго говоря, в том, что мы до сих пор называли суждением, самым важным был именно этот момент определения. Аксиома, строго говоря, и есть не столько суждение вообще, сколько именно определение. Ведь бытие и инобытие, синтезируясь в становление, дают еще более ранний синтез, т. е. предшествующий становлению и являющийся его предусловием, это сама граница, определенность, определенное бытие. Мы знаем, что тот и другой синтез могут выдвигаться по мере надобности. Так вот, говоря о суждении, дедуцируя аксиоматику, мы еще не имели нужды в том расчленении и могли говорить о суждении, не обращая особенного внимания на то, есть ли это действительно суждение вообще или это специально определение.

Суждение отличается от определения так, как становление отличается от определенного бытия. В определении суждение есть положенное понятие плюс его исчерпывающее раскрытие; т. е. иоложенность не вообще понятия, но понятия во всем его смысловом содержании. Определить что–нибудь — это и значит исчерпать все его «признаки». Для суждения же этого вовсе не требуется. Суждение дает только голую положенность понятия — независимо от раскрытия и исчерпания всего его содержания. Содержание остается нераскрытым; содержание мыслится — каким угодно становящимся, и акт нолагания нонятия[108]скользит но этому полю инобытия — как угодно далеко. Если говорится: «Иван спит», то ведь таких предицирова–ний может быть сколько угодно, и тут не ставится никаких целей исчерпания того смыслового содержания, которое зафиксировано в слове «Иван».

Итак, если иметь в виду определенность положенного понятия, то мы получаем не суждение вообще, но определение. А если иметь в виду главным образом чистую положенность понятия, то мы получаем суждение.

2. Однако и тут вполне позволительна и даже совершенно необходима еще одна дистинкция. Кроме поло–женности, адекватно исчерпывающей полагаемое, и положенное как простого факта полагания, как пустой и голой положенности, возможна еще та или другая степень наполнения[109]положенности. Положенность может давать и не голый факт полагания, и [не] все полагаемое содержание целиком, а только некоторое содержание, частичное содержание. В таком случае необходимо расчленить и соответствующие математические понятия. Голая положенность понятия (т. е. в нашем случае числа) даст, очевидно, некую модификацию числа, а так как полагание в данном диалектическом месте есть полагание становления, становящееся полагание, то голая положенность числа приведет к становлению из прежнего, полагаемого числа в новое, модифицированное число. Такой непосредственный переход от одного непосредственно значимого числа к другому непосредственно значимому числу есть действие, операция (напр., сложение, умножение, дифференцирование и пр.). Та или другая степень наполнения этих операций и новое осмысление их через операционно выставленное понятие даст уже не просто самые операции, но их предназначенность для какой–нибудь специальной числовой установки. Это и будет теорема. Таким образом, математическая операх\ия есть число, данное в своем чистом становлении из одного числа другим, или просто чистое становление одного числа другим; другими словами — это числовое понятие (число), данное как чистое становление. Математическая же теорема есть число, данное в своем заполненном становлении из одного другим, или, проще, заполненное становление одного числа другим; это числовое понятие (число), данное как заполненное[110]становление. Тогда аксиома—это число, данное [кшс] самоадекватная определенность; это числовое понятие (число), данное как определенность числа.

Ясно, что выставленные в предыдущем исследовании аксиомы суть именно определения, а не суждения вообще. Суждение более ослабленно, чем определение; оно — час–тичнее и неопределеннее. Суждению в математике соответствуют не аксиомы, а более частные положения, менее общие. Сюда относятся все математические операции со всеми соответствующими теоремами — все то, что выводится из аксиом как их более частный случай.

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

§ 76. Понятие функции [111].

1. Как суждение относится к определению, так умозаключение относится к суждению. Все же это есть повторение того, как суждение относится к понятию и как, наконец, понятие — к своему перво–принципу. Везде тут главным условием появления новой категории является акт полагания предыдущей категории. Перво–принцип полагает себя — образуется понятие, поскольку последнее есть совокупность признаков (т. е. некая определенность, т. е. ограниченность, т. е. положенность) и исчерпание, различение того, что само по себе неразличимо. Понятие полагает себя — образуется определение, в котором подчеркнута эта его исчерпанность. Определение полагает себя — образуется переход к становящемуся перечислению признаков, или суждение. Суждение образует себя — образуется умозаключение.

2. Когда высказывается: «Все идеалисты — контрреволюционеры», то это значит, что на общем фоне контрреволюции полагается понятие идеализма; отсюда это суждение об идеалистах. Сначала было положено понятие контрреволюции, и из этого получилось отграничение· контрреволюции ото всего другого, и тем самым в проведенных границах образовалась возможность появления отдельных видов контрреволюции. Тут могли быть архиереи, проститутки, кантианцы, фабриканты, содержатели притонов и пр. и пр. Мы совершаем некий определенный акт полагания в этой общей, но строго отграниченной области и получаем специальный вид контрреволюции — идеализм. Но пусть теперь мы положим не понятие, а некое содержание, — напр. суждение «все идеалисты — контрреволюционеры». Это значит, что мы очертили, отграничили новую область* которая благодаря именно своей огграни–ченности оказывается склонной к дроблению, к дальнейшему выявлению деталей. Среди идеалистов могут оказаться Деборины, Лупполы, Лосевы и т. д. Если мы совершим какой–нибудь акт полагания уже в этой только что отграниченной области, то это сейчас же приведет нас не к суждению (которое мы уже имели), но к совершенно иному логическому построению, к умозаключению. И мы получим:

Все идеалисты — контрреволюционеры.

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

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

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

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

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

[y = f (x)] —

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

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

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

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

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

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

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

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

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

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

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

Поиск по сайту: