О.А. Доманов
122
Ален Бадью между формализмом и интуиционизмом
О.А. Доманов
Анализ формалистских и интуиционистских элементов в теории А. Бадью показывает, что она распадается на две независимые части, одна из которых относится к формализму (онтология), а другая - к интуиционизму (теория субъекта). При этом формалистские элементы служат для концептуализации этических ограничений, накладываемых на интуиционистского субъекта Брауэра. Ключевые слова: формализм, интуиционизм, онтология, субъект, Бадью.
Формализм и интуиционизм - два соперничающих ответа на проблему обоснования математики. Их противостояние длится уже более века. Основатель интуиционизма Брауэр не принял формальный метод, под которым он понимал программу Гильберта и Пеано, включая аксиоматический подход к построению теории множеств. То же касается и других интуиционистов, а также таких «полу-интуиционистов», как Пуанкаре, отвергавших как теорию типов Рассела, так и аксиоматику Цермело. Хотя, по оценке М. Даммета, после крушения двух программ обоснования математики (логицизма - в результате открытия парадоксов, формализма - после доказательства известной теоремы Гёделя) остался, по существу, только интуиционизм [1. С. 2], этот факт, по его же словам, не стал немедленно и неизбежно очевидным, и позиции по сей день далеки от примирения. Тем удивительнее переход, совершённый Аленом Бадью на пути между первым [2] и вторым [3] томом «Бытия и события», от аксиоматической теории множеств к интуиционистской логике и алгебре Гейтинга. Какое место занимают эти, казалось бы, несовместимые позиции в онтологии и теории субъекта Бадью?
Первоначальный подход Бадью базируется на двух положениях. Первое утверждает тождество онтологии и математики. Бадью определяет онтологию вслед за Аристотелем как учение о сущем, поскольку оно сущее, или о том, что представляет собой всякое сущее уже потому, что оно - сущее. Математика оказывается именно таким учением. Математические сущности, такие как число или треугольник, являются не объектами-сущими, а способами бытия объектов - математика описывает не столько числа или треугольники, сколько то, что означает быть числом или треугольником.
Второе основное положение онтологии Бадью гласит: «одно или единое не есть» (l'un n'est pas) [2. С. 31]. Оно появляется в книге в ходе разрешения древнего вопроса о том, каково сущее само по себе, единое или многое. Решение Бадью состоит в том, чтобы положить: «одно или единое не есть», оно всегда является результатом. Сущее же как таковое (сущее, поскольку оно сущее) изначально множественно. Именно здесь появляется у Бадью аксиоматическая теория множеств в версии Цермело - Френкеля (ZF) [2.
С. 54-59]. Она оказывается наиболее подходящей по нескольким причинам. Во-первых, она имеет только одно отношение - принадлежность, которую Бадью интерпретирует как презентацию: «б принадлежит в» означает «б презентировано в множестве в» (как в). Во-вторых, аксиоматика ZF содержит только один тип переменных, и этим типом является множество. Она, таким образом, не даёт определения элемента, который оказывается лишь производным отношения, в которое вступают множества. Таким неявным способом теория показывает, что одно не есть, что всё, что презентировано, является множеством, а всякое множество есть множество множеств [2. С. 56].
Операцию, результатом которой является единое, Бадью называет счётом или принятием за одно (compte-pour-un), а явление сущего прежде счёта - презентацией (prйsentation). Сущее же, или то, что (себя) презентирует, не сводится, строго говоря, ни к единице, ни к множеству, предшествуя им обоим. С другой стороны, Бадью также говорит, что то, к чему применяется операция счёта-за-одно, само не является единым, а потому является многим. Многое-без-единого оказывается формой презентации сущего, что, в частности, означает, что единое не презентируется. В этом рассуждении мы встречаем два смысла множественности:
1) исходное многое-без-единого, к которому применяется счёт-за-одно, и 2) посчитанное многое, составленное из единиц. Бадью называет первое неконсистентным, а второе - консистентным [2. С. 33]. Согласно Бадью, аксиоматика ZF описывает неконсистентную множественность. Бадью описывает его как «многое без единого» из платоновского «Парменида». Это бесконечно делимое образование, в котором всякое единство, при ближайшем рассмотрении распадается на многое. В другом месте Бадью прямо соотносит его с материей из платоновского «Тимея», чуждой всякой структурирующей идее. Эту множественность почти невозможно мыслить, и только математике, согласно Бадью, принадлежит заслуга создания теории этой множественности, известной как теория множеств.
Существенно при этом, что формальный подход не является для Бадью случайным. Он считает аксиоматическое представление единственно возможным в онтологии: формалистский интуиционистский бадью
«Я настаиваю на том, что, имея в виду теорию множеств, аксиоматизация является не приёмом выражения, но внутренней необходимостью. Сущеемногое, если оно предоставляется только естественному языку и интуиции, продуцирует только псевдопрезентацию неразделённых консистентности и неконсистентности, следовательно, сущего и не-сущего, поскольку оно не отстраняется в достаточной степени от предположения о бытии единого. Ибо единое и многое - это не «единство противоположностей», поскольку первое не есть, тогда как второе является самґoй формой всякой презентации сущего. Аксиоматизация требуется для того, чтобы, предоставленное неявному правилу счёта, многое порождалось без понятия, то есть без предположения бытия-одного [2. С. 54-55].
Ни интуиция, ни конструкция здесь не пригодны, и Бадью прямо противопоставляет свой подход конструктивной математике. Однако, прежде чем мы перейдём к рассмотрению этого противопоставления, рассмотрим теорию субъекта Бадью.
В своей теории субъекта Бадью опирается на метод форсинга или вынуждения (forcing), придуманного Полом Коэном [4] для построение моделей теории множеств с заданными свойствами (например, с заданной мощностью определённых множеств). Коэн начинает со стандартной счётной модели ZF. В этой модели существуют подмножества, которые ей не принадлежат. Их присоединение к модели расширяет её, причём оказывается, и в демонстрации этого состоит заслуга Коэна, что надлежащим выбором подмножества возможно добиться нужных свойств расширенной модели. Более конкретно, существует прямая связь между принадлежностью тех или иных элементов присоединяемому множеству и истинностью тех или иных формул в расширенной модели. Для того, чтобы это было возможно, присоединяемое множество должно удовлетворять некоторым условиям, одно из которых, в частности, говорит, что оно не может быть выделено (описано) никакой формулой языка теории множеств. Такое множество (оно всегда бесконечно) Коэн называет генерическим. Коль скоро оно не описывается языком, оно для своего формирования требует субъектаматематика, явным образом указывающего, какие элементы ему принадлежат. Бадью заимствует эту структуру, но использует её по-своему. У него субъект осуществляет набор генерического множества, полагаясь на своё понимание, всегда несовершенное, связи элементов с событием - особым неконсистентным множеством, которое само не может принадлежать модели. Относительно этой связи Бадью практически ничего не говорит, кроме того, что субъект решает относительно неё на свой страх и риск. Таким образом, субъект основывается на решении и верности событию. Мы видим, что Бадью использует метод форсинга в некотором смысле обратным образом по отношению к Коэну. Если Коэн набирает генерическое множество, имея в виду требуемые свойства новой модели, то субъект Бадью набирает его, опираясь на свою оценку связи с событием, и лишь затем делает выводы о свойствах новой ситуации, в которой генерическое множество будет реализовано, т.е. станет элементом. Субъект говорит на языке будущей ситуации, в которой генерическое множество уже реализовано, но оценивает каждый раз конкретный элемент, не имея опоры для этого в знании ситуации, в которой находится.
Именно эта структура, исключительно важная для Бадью, оказывается, несмотря на то, что она возникает в рамках формальной аксиоматики, наиболее близкой интуиционизму. Рассмотрим эту связь подробнее.
Брауэр рассматривал математику, прежде всего, как деятельность. Она не зависит от языка, который требуется лишь для передачи математических истин и способен лишь исказить их. Поэтому математика немыслима без субъекта («идеального математика») и должна пониматься как интеллектуальная деятельность последнего. Брауэр возводит интуиционизм к Канту, называя свою версию нео-интуиционизмом. Его основные интуиции - натуральное число и континуум - сами имеют основание в темпоральности:
Этот нео-интуиционизм рассматривает разделение моментов жизни на качественно различные части, которые могут объединяться только будучи разделены во времени, как фундаментальный феномен человеческого интеллекта, переходя при этом в абстракции от его эмоционального содержания к фундаментальному феномену математического мышления, интуиции чистого дву-единства (two-oneness). Эта интуиция дву-единства, основная интуиция математики, порождает не только числа один и два, но также все конечные порядковые числа, в той мере, в какой один из элементов этого дву-единства может быть мыслим как новое дву-единство, продолжая этот процесс неопределённо долго; таким способом это даёт нам наименьшее бесконечное порядковое число щ. Наконец, эта основная интуиция математики, в которой объединяются связанное и отдельное, непрерывное и дискретное, немедленно порождает интуицию линейного континуума, т.е. того «между», которое не исчерпывается наложением новых единиц и которое, таким образом, никогда нельзя мыслить как простое собрание единиц [5. С. 85-86].
Это интуитивное понимание существенно отличается от классического. Хотя интуиционисты, как и формалисты, принимают диагональный аргумент Кантора, они делают из него иные выводы. Например, те и другие согласны, что для любого счётного бесконечного множества действительных чисел можно указать число, ему не принадлежащее, но если формалист заключает отсюда, что мощность множества действительных чисел промежутка от 0 до 1 больше, чем алеф-ноль - мощности счётного множества, то для интуициониста это утверждение вообще не имеет смысла. То же относится и к вопросу о том, имеются ли мощности, промежуточные между мощностями счётного множества и континуума, т.е. знаменитая континуум-проблема, для решения которой Коэн разработал метод форсинга, столь важный для Бадью. В результате существенная часть проблематики, на которую опирается Бадью, вообще не имеет смысла для интуиционизма.
Но, пожалуй, наиболее ясно различие подходов Бадью и Брауэра проявляется в понимании бесконечности. Интуиционизм прямо отвергает актуальность бесконечности, всякая бесконечность в нём потенциальна. Бесконечность здесь определяется как процесс, который в силу закона своего порождения или разворачивания не может быть закончен, поэтому бессмысленно рассматривать его как нечто завершённое. Для Бадью же именно актуальность бесконечности существенна. Именно она является причиной, по которой аксиоматика является наиболее подходящей формой онтологии. Бесконечность не может быть сконструирована или схвачена интуицией, и в этом Бадью согласен с Брауэром. Но для него именно поэтому её познание может быть основано только на решениях, выраженных в аксиомах математики: «нет никакой внематематической концепции бесконечности, только смутный образ чего-то `очень большого'» [2. С. 164].
Бесконечность, для Бадью, есть предикат сущего, более того, исключительно сущего, поскольку оно сущее [2. С. 164]. Обсуждая актуальную и потенциальную бесконечность в «Бытии и событии», Бадью различает бесконечность чистого множества и трансцендентного Единого. Последнее есть лишь попытка мыслить бесконечное по модели конечного, т.е. неконсистентное по модели консистентного. Мы имеем здесь экзистенциальный разрыв, который не позволяет нам вывести бесконечное из конечного. И если для Брауэра это означает, что следует отказаться от актуальной бесконечности, то Бадью находит здесь место для решения и аксиоматического полагания, т.е. место субъекта.
Существенно при этом, что для него эта бесконечность реально существует (в отличие от воображаемой бесконечности трансцендентного Единого) и требует от человека перестать понимать себя в парадигме конечности и смертности и «опознать себя как во всех отношениях пронизанного и окружённого вездесущностью бесконечности» [2. С. 168]. Хотя субъект не может знать наверняка, актуализируема ли истина, именно ставка на неё основывает субъекта как такового.
Здесь, однако, следует различать индивидуального и родового (генерического) субъекта. Хотя процесс истины бесконечен, индивидуальный субъект является лишь его конечной частью. Хотя генерическое множество бесконечно, индивидуальный субъект принимает лишь конечное число решений о принадлежности ему тех или иных элементов. Может поэтому оказаться, что у этого субъекта есть что-то общее с потенциальной бесконечностью математического процесса у Брауэра. Это, действительно, так, и чтобы это понять, рассмотрим ещё два интуиционистских понятия - последовательности выбора и потока.