Мы предпочитаем подойти к этому вопросу иначе. Различение знаков подразумевает возможность вынесения определенного суждения о тождестве или различии тех или иных элементарных графических конструкций. Знак или комбинация знаков становится субъектом метаматематического суждения, тогда как тождество или различие выступает его предикатом. Причем этот предикат присоединяется в суждении к субъекту в зависимости от того, как именно построена (начерчена) данная конфигурация. Например, суждение о том, что графические конфигурации 'n' и 'n', находящиеся в двух различных позициях формулы xn=2n, тождественны, основано на том, что оба знака построены сообразно одной и той же графической схеме. Таким образом, вопрос о тождестве или различии конструктивных элементов математического рассуждения решается с помощью суждения, которое, впрочем, находится в жесткой корреляции с процедурой построения наглядно представимого, зримого предмета. Тот факт, что отождествляя или различая знаки, мы как правило не делаем никаких суждений, не меняет ситуацию в принципе. Возможность такого суждения всегда присутствует. Акт различения или отождествления знаков не является некоторым первичным, неразложимым актом. Он действительно выражается на логическом уровне. Первичной интуицией является здесь пространство, поскольку именно в качестве определенной пространственной конфигурации всякий знак может быть узнан и отличен от другого.
      Похожее рассмотрение можно провести и относительно математического рассуждения (вывода, доказательства), поскольку оно является объектом метаматематики. Рассуждение, будучи конструкцией, появляющейся в результате комбинирования знаков, представляет собой чувственно воспринимаемый объект. Он предстает в виде определенной пространственной конфигурации, определяемой как способом сочетания составляющих его знаков, так и способом начертания самих этих знаков. Как чувственно воспринимаемый объект рассуждение выступает в качестве субъекта метаматематического суждения. Задачей метаматематики оказывается установление ряда предикатов (например, предиката непротиворечивости) для названного субъекта. Но такого рода предицирование есть не что иное как выражение определенных пространственных свойств созерцаемого (точнее создаваемого на бумаге или на доске) объекта. (См. примечание 5) Рассуждение или система аксиом обнаруживает себя как непротиворечивое (обладающее предикатом непротиворечивости) в ходе его пространственного (строго говоря, пространственно-временного) конструирования. Суждение о непротиворечивости оказывается таким образом априорным и синтетическим, в самом строгом кантовском смысле. Гильбертовская метаматематика содержит в себе все установленные Кантом элементы знания: данный в созерцании объект, являющийся в пространстве и времени, синтетическое суждение об этом объекте и, наконец, синтез продуктивной способности воображения, в результате которого этот объект конструируется.
      Таким образом две соперничающие математические школы имеют один и тот же философский корень. Можно сказать, что каждая из них сделала больший акцент на одной из двух выделенных Кантом интуиций. Если Брауэр, как мы видели, считал исходной интуицию времени, явно утверждая вторичность и производность пространства, то Гильберт, вообще ничего не говоря о времени, явно рассматривал пространство и пространственное конструирование как основу математики. Очевидная кантианская родословная двух влиятельных математических традиций несомненно требует более внимательного анализа кантовского текста. Именно к рассмотрению проблемы существования в математики с позиций философии Канта мы перейдем в следующей главе.
      Примечания к Главе 2
      1. Хотя Кантор и пытается выстроить иерархию математических понятий, подобную родо-видовой иерархии, и рассмотреть все построенные так объекты как некие субстантивированные универсалии, предлагаемая им процедура выделения общих свойств имеет мало общего с тем абстрагированием, которое описывает, например, Боэций (см. Введение). Как мощность, так и порядковый тип бесконечного множества невозможно определить как его собственное свойство. Оно не обладает этим свойством как субстанция своим атрибутом. Мощность бесконечного множества определяется как свойство отношения множеств. Сущности можно приписывать признак, рассматривая ее саму по себе, независимо от других сущностей. Мощность множества (равно как его порядковый тип) устанавливается только для класса множеств. Поэтому подвести канторовское представление о существовании под аристотелевское учение о сущности невозможно без серьезных натяжек, хотя сам Кантор, по-видимому, хотел именно этого. вернуться в текст
      2. Цитата приводится по книге [55], с. 245. вернуться в текст
      3. В разных местах Брауэр говорит о качественно различимых частях или различимых вещах. В любом случае речь идет о дискретной последовательности событий, характеризующих когнитивную деятельность. Ряд лежащих на прямой (последовательно, друг за другом) отрезков является естественной математической моделью такой деятельности. вернуться в текст
      4. Математическое развитие этих идей содержится в брауэровской теории континуума как среды становления для свободно становящихся последовательностей. Дискретные последовательности точек, выбираемых из среды сообразно некоторому закону или согласно свободному выбору, разбивают континуум на все более мелкие части, устанавливая определенную структуру отношений между этими частями. Подробно об этом см. в [34]. вернуться в текст
      5. Близкий подход к математике разрабатывается в [60] под названием "пангеометризм". вернуться в текст
      ГЛАВА 3 Существование в геометрии. Анализ категорий модальности
      Мы видели, что две влиятельные математические школы XX века, которые справедливо рассматриваются как соперничающие между собой, исходят, в конечном счете, из общего философского основания. Этим основанием явилась для них философия Канта. Поэтому мы имеем право говорить о кантианской (или, возможно, трансценденталистской) традиции в основаниях математики. Обсуждая проблему существования и математической онтологии, мы будем иметь в виду именно эту традицию. Совершенно очевидно, что она не является единственно возможной. Ей явно противостоит иная традиция, связанная с именами Фреге и Рассела и обосновывающая математическое рассуждения средствами логического позитивизма (или аналитической философии). Мы не будем касаться этой традиции в рамках настоящей работы. Наиболее естественным для нас сейчас будет подробное рассмотрение той интерпретации существования математических объектов, которая предлагается самим Кантом.
        1 Возможное и действительное в математике
      Обсуждать проблему существования, оставаясь в рамках "Критики чистого разума", довольно удобно, поскольку определение существования дано в этой книге явно. "Существование" - одна из трех категорий модальности и Кант весьма подробно описывает каким способом рассудок определяет предмет как существующий. С другой стороны, однако, определение существования (действительности) дается здесь в совокупности с определением двух других категорий модальности и может быть правильно понято лишь при сопоставлении с ними. Обратимся к непосредственному описанию обсуждаемых категорий: возможности, действительности и необходимости. Такое описание приведено в главе "Система всех основоположений чистого рассудка" и названо "Постулаты эмпирического мышления вообще".
      "1. Что согласно с формальными условиями опыта (что касается наглядных представлений и понятий), то возможно.
      2. Что связано с материальными условиями опыта (ощущения), то действительно.
      3. То, связь чего с действительностью определяется согласно общим условиям опыта, существует необходимо." (B266, курсив Канта).
      В какой мере категория действительности (т.е. существования в собственном смысле этого слова) (См. примечание 1) может быть условием знания о предметах математики? Чтобы установить это, обратимся к краткому разъяснению Канта по поводу соответствующего постулата.
      "Постулат действительности вещей требует восприятия, т.е. ощущения и сознания, если не непосредственно самого предмета, существование которого должно быть познано, то, по крайней мере связи его с каким-либо действительным восприятием согласно аналогиям опыта.." (B272 - курсив Канта).
      Едва ли рассуждение о математическом предмете может основываться на аналогиях опыта, призванных установить "реальные связи" (т.е. связь согласно законам причинности и взаимодействия). Следовательно постулат действительности требует непосредственного восприятия предмета для познания его существования. Поэтому как о действительном можно говорить, прежде всего, только о единичном предмете, представленном благодаря ощущению. Есть ли вообще в математике такие предметы? Несомненно есть, поскольку всякое математическое рассуждение так или иначе оставляет след на бумаге или на доске. Действительным является изображенный и непосредственно воспринимаемый математический символ, выписанная формула (конечная последовательность символов), начерченная геометрическая фигура. Но эти ли предметы представляют для математики основной интерес? Разве, например, в теореме о сумме внутренних углов треугольника говорится о неровном карандашном следе, о трех попарно пересекающихся на листе бумаги отнюдь не прямых линиях, которые непосредственно воспринимаются нами? Конечно же нет. Речь идет о треугольнике "вообще", который нигде и никак не нарисован. Но в таком случае он и не действителен.
      Может ли предмет знания не быть действительным (т.е. существующим) предметом? Ответ на этот вопрос легко угадывается, благодаря присутствию в таблице категорий другой категории модальности. Предмет знания может быть возможным предметом. Сказанного здесь уже достаточно, чтобы предполагать, что именно о возможных предметах и говорит, прежде всего, математика. Математическая онтология есть по преимуществу онтология возможного. Впрочем, по этому поводу нужны дополнительные разъяснения.
      Вот что пишет Кант о первой из категорий модальности: "Постулат возможности вещей требует, следовательно, чтобы понятия их согласовывались с формальными условиями опыта вообще. Но опыт вообще, т.е. объективная форма его, содержит в себе весь синтез, необходимый для познания объектов" (B267 - курсив Канта).
      Итак, вещь возможна, когда знание о ней содержит весь необходимый синтез. Следовательно лишь осуществив этот синтез, т.е. получив полное знание о вещи мы только и можем удостовериться в ее возможности.
      Нашей дальнейшей задачей будет выяснение того, что означает для математики такая полнота синтеза. Но прежде обратим внимание на одно важное различение. В "Критике чистого разума" имеется ряд пассажей, в которых указывается на иной смысл слова "возможность". Под возможностью понимается отсутствие противоречия в понятии о вещи. Это, очевидно, не то же самое, что согласие с формальными условиями опыта. Поэтому Кант различает логическую и реальную (или трансцендентальную) возможность. Очевидно, что нас сейчас будет интересовать последняя. Интересно однако вспомнить, что пытаясь установить критерий существования для математических объектов, Пуанкаре, а за ним и Гильберт указывали в качестве такового именно свободу от противоречия. Верно ли то, что они сводили действительность к логической возможности, совершая таким образом своеобразную подмену категорий? Проведенный выше анализ гильбертовской интерпретации непротиворечивости показывает, что это не так, поскольку сама по себе непротиворечивость оказывается результатом синтеза.
      Синтез по Канту состоит, прежде всего, в том, что к понятию, выступающему как субъект суждения, присоединяется признак (предикат), не содержащийся в понятии. Акт синтеза, таким образом, приводит к образованию нового понятия, содержание которого богаче, чем понятие первоначального субъекта суждения. Следовательно, говоря о реальной возможности, мы должны говорить, прежде всего, о возможности понятия. Оно возможно тогда, когда осуществлен его синтез. Однако присоединение предиката к субъекту в синтетическом суждении невозможно как чисто рассудочное действие. Ему должен соответствовать синтез многообразия наглядного представления, производимый способностью воображения. Произнесение суждения, описывающего некоторое реальное (См. примечание 2) положение дел, необходимо сопровождается конструированием этого положения дел в пространстве и времени. Последнее производится сообразно схеме понятия и необходимо представлено созерцанию в виде (по крайней мере) воображаемого предмета. Эта процедура подробно описана Кантом в главе о трансцендентальной дедукции категорий. Следовательно, "весь синтез", требуемый для познания реальной возможности вещи, включает в себя как интеллектуальный синтез, так и синтез способности воображения. Здесь уместно уточнить, что может стоять за словом "вещь". Возможность чего, собственно, устанавливается. Мы видели уже, что устанавливается возможность понятия. Но конструирование, производимое воображением, согласно условиям чувственности, не может происходить без того, чтобы представить образ, воображаемый результат конструирования. Очевидно, что образ, наряду с понятием, также должен фигурировать в качестве возможного.
      Итак есть смысл говорить о возможности понятия и возможности образа. В самом деле и то и другое во-первых соответствует формальным условиям опыта, а во-вторых противопоставлено действительному, т.е. представленной в восприятии единичности. Иными словами и понятие, и образ возможны поскольку могут быть осуществлены (актуализированы). Впрочем, они возможны в разном смысле. Можно представить себе невозможное понятие (Кант приводит пример плоской фигуры, ограниченной двумя прямыми). Но образ возможен всегда, поскольку является результатом завершенного синтеза. Разберем теперь все сказанное на примере геометрии. Тот факт, что евклидова геометрия является основным источником для философии математики Канта, принимается многими исследователями. В частности это объяснено в [72], [74], [79], [83], [62]. Поэтому рассмотрение кантовских категорий на материале "Начал" Евклида можно считать модельным. Это, однако, поможет нам увидеть некоторые моменты применения указанных чистых понятий рассудка, которые оказываются существенны и для других областей математики, а возможно и для всякого знания вообще.
      Пять постулатов Евклида представляют собой пять первоначальных синтетических суждений, в которых конструируются начальные понятия геометрии. Важно то, что четыре из этих пяти постулатов (несколько отличается от прочих четвертый постулат, утверждающий равенство всех прямых углов) суть не сколько утверждения, сколько предписания. Они описывают некоторые операции, которые, будучи произведены, приведут к созданию первоначальных геометрических объектов: прямой, окружности, пары параллельных (или пары пересекающихся) прямых. Постулаты сформулированы, естественно, как общие суждения и речь в них идет об общих понятиях (прямая вообще или окружность вообще). Важно однако, что самая суть постулатов заключается в обнаружении возможности этих понятий. Они предполагают наличие схемы прямой или схемы окружности, сообразно которым могут быть построены соответствующие этим понятиям объекты. В частности, согласно двум первым постулатам, прямую в принципе можно построить. Как построить? Карандашом на бумаге или мелом на доске.
      Последнее утверждение представляется, по-видимому, слишком категоричным. Прямую или окружность можно провести и в воображении. Заметим однако, что несмотря на такую возможность почти всегда, даже при рассмотрении элементарных понятий предпочитают пользоваться чертежами. Это обстоятельство представляется нам важным, вытекающим из сути математического дискурса, а отнюдь не из слабости нашей памяти. Мы вернемся к этой проблеме позже, а сейчас заметим лишь, что синтетическое суждение, высказываемое в постулате, подразумевает не только возможность, но и действительность обсуждаемого объекта. Нам предстает не только понятие и образ, но также и чувственно воспринимаемый единичный предмет, который согласуется не только с формальными, но и с материальными условиями опыта.
      Мы будем придерживаться той интерпретации "Начал" Евклида, о которой упоминает, например, Фридман ([72], c. 88-89). Согласно этой интерпретации постулаты вводят ряд элементарных операций (построений), которые рассматриваются как заведомо выполнимые. Любое другое построение будет выполнимым, если оно представляет собой последовательность этих элементарных операций. (Естественно, что при дальнейшем изложении геометрии вместо элементарных операций могут фигурировать и более сложные построения, выполнимость которых показана ранее.) К развертыванию такой последовательность выполнимых операций сводится не только решение задач на построение, но и доказательство теорем. Всякое геометрическое предложение формулируется как некоторое общее утверждение. Это значит, что в нем предполагается возможность какого-либо понятия. Важно увидеть, что в любом предложении (т.е. в синтетическом суждении) речь идет именно об одном понятии. Добавляя к субъекту новый предикат, мы не устанавливаем отношение двух понятий, а создаем одно новое. Например, когда мы утверждаем, что сумма внутренних углов треугольника равна двум прямым, то предполагаем реальную возможность треугольника, обладающего названным признаком, т.е. мы говорим, что понятие "треугольник, сумма внутренних углов которого равна двум прямым" возможно. Выражение в кавычках неудачно в том смысле, что создает впечатление будто равенство суммы углов указанной величине есть некий различительный признак, выделяющий определенный вид в роде треугольников. Последнее, конечно же, неверно. Синтетическое суждение, являющееся содержанием приведенной теоремы, создает новое понятие, которое мы попытались назвать с помощью приведенного здесь несколько неуклюжего выражения. Это понятие нетождественно понятию треугольника, т.к. предикат не выводится из понятия субъекта. Он присоединяется к нему в процессе синтеза.
      Проводимое далее доказательство, призванное показать реальность возможности обсуждаемого понятия, как раз и заключается в развертывании синтеза. Нам необходимо предъявить какую-либо построенную по правилам конструкцию, соответствующую понятию, реальная возможность которого доказывается. Конструкция должна быть сооружена в результате ряда действий, предписанных постулатами. Последовательность применения постулатов составляет схему рассматриваемого понятия, а возможность понятия будет установлена, когда будет завершено построение конструкции. Иными словами, возможность понятия будет установлена, когда мы предъявим соответствующий этому понятию единичный предмет, воспринимаемый чувствами. Чтобы более точно рассмотреть взаимодействие возможного и действительного при доказательстве, нам представляется уместным развернуть процедуру доказательства подробнее, описав ее в тех терминах, которые использовались еще в античности.
        2 Структура доказательства у Евклида в связи с категориями модальности
      Сейчас при изложении требующих доказательства предложений в математической литературе явно выделяются две части: формулировка предложения и его доказательство. Для античных авторов дело обстояло иначе. В изложении теоремы выделялось пять или шесть частей.(См. примечание 3)Этот способ структурирования процедуры доказательства оказывается очень уместным для правильного понимания соотношения возможного и действительного, а также общего и единичного в математическом рассуждении. Хинтикка [74] утверждает, что структура доказательства у Евклида явилась парадигмой для Канта.
      Охарактеризуем кратко эти шесть частей изложения теоремы, используя в качестве примера упомянутую выше теорему о внутренних углах треугольника.
      1. Утверждение (protasis) дает общую формулировку теоремы. В нашем случае эта первая часть теоремы выглядит так: сумма внутренних углов треугольника равна двум прямым.
      2. Экспозиция (ekqesis) указывает на единичный предмет, общее понятие которого дано в утверждении. Для геометрии естественно в этой части теоремы дать чертеж.
      Пусть ABC - произвольный треугольник.
      3. Ограничение или детерминация (diorismos) состоит в переформулировании общего утверждения для представленного в экспозиции единичного предмета: сумма углов 1, 2 и 3 равняется двум прямым.
      4. Построение (kataskeuh) - это то, что сейчас обычно называют дополнительным построением. В нашем случае оно выглядит так:
      проведем через вершину B прямую, параллельную основанию AC. 5. Доказательство (apodeixis) представляет собой последовательность логических выводов об элементах конструкции, представленной в предыдущей части. Эта последовательность должна завершиться утверждением, представленном в части 3. Для рассматриваемой нами теоремы имеет место следующий ряд заключений.
      Угол 1 равен углу 4, а угол 3 равен углу 5 как накрест лежащие при пересечении пары параллельных прямых третьей.
      Углы 4, 2, 5 в сумме составляют один развернутый, а потому их сумма равна двум прямым.
      Из двух этих утверждений следует, что сумма углов 1, 2 и 3 также равна двум прямым.
      6. Заключение (sumperasma) обобщает вывод, полученный в доказательстве, повторяя формулировку первой части:
      итак, сумма внутренних углов треугольника равна двум прямым. В предыдущем параграфе мы уже обсудили смысл утверждения теоремы. Оно содержит общее синтетическое суждение. Впрочем, назвать его в полном смысле синтетическим еще нельзя. Хотя оно и присоединяет предикат к субъекту, создавая тем самым новое понятие, синтез еще не проведен. У нас нет пока уверенности в том, что названное в protasis понятие соответствует формальным условиям опыта. Иными словами мы пока только предполагаем возможность понятия.
      Ekqesis совершает переход от общего понятия к единичному объекту. С него начинается процедура конструирования. Вместо возможного треугольника (т.е. треугольника вообще) нам предстает действительный треугольник. Согласно Канту, такое выделение единичности составляет необходимый момент математического рассуждения. "..Математика ничего не может достигнуть посредством одних лишь понятий и тотчас спешит перейти к наглядному представлению, рассматривая понятие in concreto, однако не в эмпирическом наглядном представлении, а в таком, которое a priori установлено ею, т.е. конструировано, и в котором то, что следует из общих условий конструирования, должно иметь общее значение также и в отношении к объекту конструируемого понятия" (B744). Следует обратить внимание на точность кантовского выражения: "тотчас спешит перейти к наглядному представлению". В самом деле, сразу после формулировки общего утверждения начинается конструирование чувственно созерцаемого предмета. Иными словами происходит актуализация того, что в protasis фигурировало только как возможное. В ekqesis она (актуализация) в известном смысле беспроблемна, т.к. конструируется то понятие, возможность которого уже установлена. Здесь лишь воспроизводится синтез, проведенный ранее, поэтому мы имеем в распоряжении регулярный способ предъявления единичного предмета, соответствующего данному понятию (в нашем случае - понятию треугольника).
      Детерминация выделяет в структуре единичной конструкции, предъявленной в экспозиции, определенные конструктивные элементы - те, о которых пойдет речь в последующем рассуждении. Эта часть теоремы как бы повторяет protasis. Она также носит гипотетический характер. Но предполагается в ней не возможность понятия, а действительность конструкции. Теперь мы говорим только о единичном предмете, который уже начали конструировать. Важно, что, формулируя интересующее нас свойство, мы уже имеем перед глазами часть создаваемой конструкции. Говоря, "сумма углов 1, 2 и 3 равняется двум прямым," мы видим то, о чем говорим. Здесь мы имеем в виду непосредственно представленный, данный в восприятии, т.е. действительный объект. Этот объект - след действия, произведенного нами ранее (в экспозиции).
      Построение есть прямое продолжение экспозиции. К уже существующему (нами созданному) объекту мы добавляем новые конструктивные элементы. Каждый новый элемент добавляется в соответствии с уже известной теоремой или постулатом. (Последние, напомним, можно рассматривать как элементарные выполнимые операции или правила построения.) В нашем случае, впрочем, построение сводится к единственному акту - проведению через вершину B прямой, параллельной основанию. Но сколь проста ни была бы проводимая нами операция, она имеет ключевое значение для всей процедуры доказательства теоремы. Именно сейчас мы произвели конструкцию, полностью коррелятивную понятию, возможность которого требуется установить. Единичный объект, полученный в ходе построения и представленный на рисунке (в тексте настоящего параграфа), есть актуализация этого понятия. На этом рисунке сумма внутренних углов треугольника изображена так, что ее равенство двум прямым становится непосредственно видимым.
      Есть один очень важный момент, отличающий дополнительное построение от экспозиции. Построение треугольника в соответствии со схемой понятия треугольника означало подведение единичного объекта под общее правило. Если это общее правило (понятие треугольника) задано рассудком, то подведение подразумевает действие определяющей способности суждения. Но для той конструкции, которая была создана при дополнительном построении, у нас еще не было соответствующего понятия. То понятие, возможность которого предполагается в утверждении теоремы, не имеет еще под собой никакой схемы, никакого конкретного правила построения. Это правило необходимо изобрести, причем изобрести так, чтобы из него выводилось утверждение теоремы. Иными словами, дополнительное построение требует действия рефлектирующей способности суждения. Создаваемая конструкция (равно как и правило, по которому она создается) есть обобщающая догадка, есть та общая структура, в рамках которой становятся ясными интересующие нас отношения ранее построенных объектов. Все они находят свое место в объединяющей их конфигурации и конструирование каждого отдельного элемента становится целесообразным. Следовательно, только благодаря рефлектирующей способности суждения возможен синтез понятия в теореме.
      Если построение есть непосредственное продолжение экспозиции, то доказательство как бы продолжает детерминацию. Оно представляет собой речь по поводу проведенного построения, описывая полученную в ходе его конструкцию. Доказательство, как и детерминация, имеет дело со следом. Хинтикка утверждает, что эта часть теоремы чисто аналитическая, поскольку, в отличии от экспозиции и построения, не вводит никаких новых единичных предметов. Все доказательство можно развернуть в виде цепочки силлогизмов.
      1. Накрест лежащие углы равны. Углы 1 и 4 - накрест лежащие. ____________________________________ углы 1 и 4 - равны.
      2. Накрест лежащие углы равны. Углы 2 и 5 - накрест лежащие. ___________________________________________ Углы 2 и 5 - равны.
      3. Смежные углы в сумме равны двум прямым. Углы 1 и 3+5 - смежные. ___________________________________________
      Углы 1 и 3+5 - в сумме равны двум прямым
      4. Если слагаемые равны между собой, то их суммы равны . Слагаемые в суммах 4+5+2 и 1+3+2 равны между собой. ______________________________________________________
      4+5+2 и 1+3+2 равны между собой.
      5. Если две величины порознь равны третьей, то они равны между собой. 1+2+3 и p порознь равны 4+5+2 ___________________________________________ 1+2+3 и p равны между собой.
      Обратим внимание на то, что меньшими посылками этих силлогизмов являются единичные синтетические суждения. (Поэтому и заключение каждого силлогизма - единичное суждение.) Этим они (меньшие посылки) существенно отличаются, например, от больших посылок или от утверждения теоремы. В них не содержится никакого синтеза понятий. Следовательно они не устанавливают (и не предполагают) возможности. Их роль совершенно иная. Они фиксируют действительность предмета, описывая актуальный, уже созданный единичный объект. Все, что говорится по ходу доказательства относится к имеющемуся в наличии предмету. Это присутствие в наличии (которое, вообще, и есть действительность) представляет собой необходимое условие доказательства. Последнее всегда относится к следу проведенного построения. Если при разговоре об аксиомах или постулатах требование наличия следа (на доске или бумаге) казалось излишним, то теперь именно этот след и является изучаемым объектом. Заключительная фраза доказательства в точности повторяет детерминацию. Но если тогда она произносилась гипотетически, то сейчас является описанием уже построенного объекта, т.е. констатацией факта. Суть этой констатации состоит в том, что она указывает на актуализацию того понятия, возможность которого предполагалась в protasis. Коль скоро нами построена конструкция, сообразная схеме этого понятия, то оно (понятие) реально. Возможен его реальный синтез согласно формальным условиям опыта. Точнее не только возможен, но уже произведен. Поэтому можно вернуться к первоначальному утверждению теоремы, произнеся его уже в качестве заключения. Заключение представляет собой общее суждение, указывающее на реальную возможность понятия, как на установленную. В переходе от доказательства к заключению можно усматривать логическую трудность. С точки зрения формальной логики такой переход незаконен, т.к. является заключением от единичного к общему, т.е. переходом от более слабого утверждения к более сильному. Проведенное рассмотрение позволяет, однако, взглянуть на дело иначе. В доказательстве мы говорили о действительном объекте. Заключение касается лишь возможности того же объекта вообще. То, что действительно, естественно также и возможно. Обоснование законности заключения, таким образом, состоит в рассмотрении не количества суждений, а их модальности. Мы совершаем переход от более сильной модальности к более слабой, чем и удостоверяем истинность утверждения теоремы.
        3 Необходимость и случайность
      Пока что мы не касались третьей из категорий модальности - необходимости. Обращение к ней требует от нас дополнительных разъяснений, ибо возникает подозрение, что все предыдущее рассуждение содержит какую-то путаницу с категориями. В самом деле, разве доказательство теоремы устанавливает возможность суждения? Не лучше ли сказать, что она устанавливает его необходимость? Совершенно естественно и неоспоримо, в частности, что сумма внутренних углов треугольника необходимо равняется двум прямым.