|
Совместимость аксиомы выбора и обобщенной гипотезы континуума с теорией множеств возводит нас на уровень рассуждения по поводу теории, то есть на уровень метатеории (именно таков статус семиотического рассуждения), метатеоремы которой были определены Геделем. (Кристева 1969, с. 189, курсив в оригинале) Здесь Кристева снова пытается произвести на читателя впечатление учеными словами. Она в самом деле цитирует весьма важные (мета)теоремы математической логики, но она не объясняет читателю ни их содержание, ни их значение для лингвистики. Заметим, что естественный язык обладает конечным алфавитом; фраза или даже книга — это конечная последовательность букв. Следовательно, даже множество всех конечных последовательностей букв во всех возможных книгах, независимо от их объема, является бесконечным счетным множеством. В таком случае совершенно непонятно, как гипотеза континуума, относящаяся к бесконечным несчетным множествам, может применяться в лингвистике. Все это не мешает автору продолжать: Там мы как раз обнаруживаем теоремы существования, которые, хотя мы и не собираемся их полностью излагать, интересуют нас в той мере, в какой они дают понятия , позволяющие иным образом, который без них был бы невозможным, задать интересующий нас объект, то есть поэтический язык. Обобщенная теорема постулирует, как известно, что «если ? (X1 … Xn) — это простая пропозициональная функция, которая не содержит никаких свободных переменных кроме X1 … Xn, причем не обязательно, чтобы она содержала их все, существует класс А такой, что каковы бы ни были множества X1 … Xn,? X1 … Xn ? ? А = ? (X1 … Xn).»34 В поэтическом языке эта теорема обозначает различные последовательности в качестве эквивалентных функции, которая всех их объединяет. Отсюда вытекает два следствия: 1) эта теорема постулирует непричинную связанность поэтического языка и расширение буквы в книге; 2) она подчеркивает важность литературы, которая разрабатывает свое послание при помощи самых малых последовательностей: значение (j) содержится в способе связывания слов и фраз […] Лотреамон стал одним из первых, кто сознательно практиковал эту теорему35. Подразумеваемое аксиомой выбора понятие конструируемости вкупе со всем тем, что мы постулировали относительно поэтического языка, объясняет невозможность установления противоречия в его пространстве. Эта констатация близка к констатации Геделя, касающейся невозможности установления противоречивости системы при помощи средств, формализуемых в самой этой системе. (Кристева 1969, с. 189–190, курсив в оригинале) — 31 —
|