не можем иметь дела, такая «операция» логически невозможна, так как понятие такой
операции противоречиво.
Установить «невозможность вообще», то есть неосуществимость нигде и никогда –
значит обнаружить логическое противоречие в самой идее, об осуществлении которой идет
речь. Это имеет место тогда и только тогда, когда приписываемые ей определения взаимно
исключают друг друга. Установить практическую или относительную невозможность,
значит: описать мыслимую вещь (событие), построить модель ее детерминант,
проанализировать, имеются ли они в наличии и, если нет, возможно ли их появление и
создание. Результат даст нам искомый ответ: либо «невозможно», либо «возможно» при
таких-то и таких-то-предварительных процессах или действиях.
*9.3.1.Возможность и невозможность чисто интеллигибельных объектов
Поскольку чисто интеллигибельные объекты не существуют континуально и
физически, их мыслимость и существование совпадают. Теоретический объект существует
тогда, когда он правильно мыслится, и если правильно мыслится, то существует. Он не имеет
«предмысленного» существования. Поэтому он никогда не может быть в объективной
возможности-в-себе. Зададимся вопросом: «Возможно ли число большее, чем пять, на
единицу?». Если при этом иметь в виду объективную возможность, то ответ
противосмыслен, так как он предполагал бы, что есть некое другое число, наличное
существование которого и есть возможность «числа большего чем пять». Но наша обыденная
интуиция говорит нам, что число, большее, чем пять, возможно. Конечно. Но рефлексия
должна показать, что это за возможность. Это возможность того, чтобы мы его построили,
вычислили, указали его место ряду натуральных чисел. То есть это субъективная
возможность-для-нас. Но: поставив этот вопрос и назвав это число, мы, фактически уже его
помыслили, и оно (число, большее чем пять на единицу), уже существует в нашем сознании
(где оно только и может быть) благодаря этому названию. Нам осталось только дать ему
более короткое имя, например «шесть» или six, и обозначить его каким-нибудь символом,
например, «6» или «VI». Но мы уже можем иметь с ним дело и без этих обозначений.
Выразив фразу «число большее, чем пять, на единицу», символом (5+1), мы можем с ним
делать все, что вообще можно делать с числами, то есть складывать, вычитать, делить,
умножать, возводить в степень, и т.д.
Не противоречат ли все эти рассуждения показанной раньше объективности
натурального ряда чисел? Ничуть, как раз напротив. Все числа и законы отношений между
ними, объективно существуют ( а не находятся в возможности), и это есть условие
возможности-для-нас их открывать и изучать их свойства. Поэтому в математике есть
теоремы существования, в которых доказывается, что объект существует (а не возможен), и
именно поэтому открывается субъективная возможность его открыть. Конечно,
конструктивизм в математике не признает существования математических объектов до их
фактического построения, и, соответственно, отрицает значимость теорем существования. Но
тут смешивается онтологический и логический аспекты существования. Конечно,
онтологически математические объекты не существуют до их построения. Например, точка
Торичелли не существовала в чьем бы то ни было сознании, пока Торичелли ее не открыл и
не описал. Но логически она существовала (а не была в возможности) в пространстве
плоскости треугольника как теоретического объекта. Если бы она не существовала, ее нельзя
было бы открыть. Торичелли не внес ее в треугольник как еще один элемент его конструкции,
а открыл ее как свойство треугольника, ранее не известное, но уже имевшее место.
Математики не только исследуют свойства имеющихся математических объектов, но и
конструируют новые объекты. Существуют ли в возможности те объекты, которые строятся
фактически? Ясно, что они не могут быть невозможными, в противном случае, они не могли
бы быть построены. Но это значит, не то, что они существуют в возможности, а что