Математическая логика

В некоторых текстах Лакан не так насилует математику. Например, в следующем тексте он упоминает две фундаментальных проблемы философии математики: природу математических объектов, в частности, натуральных чисел (1, 2, 3…), и надежность рассуждений посредством «математической индукции» (если некоторое свойство истинно для числа 1, и если можно показать, что факт его истинности для числа и влечет истинность для числа n +1, тогда из этого можно вывести, что данное свойство истинно для всех натуральных чисел).

После четырнадцати лет я научил своих учеников считать самое больше до пяти, что сложно (четыре проще), и они поняли по крайней мере это. Но в этот вечер позвольте мне остановиться на двух. Очевидно, мы сейчас занимаемся вопросом целых чисел, этот вопрос, как многие из вас знают, непрост. Необходимо только иметь, например, определенное количество множеств и однозначное соответствие. Например, верно, что в этой аудитории имеется в точности столько же сидящих людей, сколько и стульев. Но для того, чтобы задать целое число или то, что называют натуральным числом, необходимо иметь собрание множеств. Натуральное число в каком-то смысле, конечно, натурально, но лишь потому, что мы не знаем, почему оно существует. Счет — это не эмпирический факт; невозможно вывести акт подсчитывания из одних эмпирических данных. Юм попытался сделать это, но Фреге показал безнадежность этой попытки. Действительное затруднение проистекает из того, что каждое целое число является единицей. Если я беру двойку как единицу, все просто, например, мужчина и женщина — любовь плюс единица! Но через некоторое время это заканчивается, после этих двух никого не остается, разве что ребенок, но это уже другой уровень, а порождение — это совсем иное дело. Когда вы попробуете читать теории математиков, рассматривающие числа, вы обнаружите формулу «n плюс 1» (n +1), находящуюся в основании всех теорий. (Лакан 1970, с. 190–191)

До этого момента не обнаруживается ничего серьезного: тот, кто уже знаком с темой, может узнать туманные намеки на классические споры (Юм/Фреге, математическая индукция) и отделить их от более спорных утверждений (например, что значит фраза «действительное затруднение проистекает из того, что каждое целое число является единицей»?). Но начиная с этого места в тексте, рассуждение становится все более и более темным:

Именно эта проблема «n плюс один» оказывается ключевой для генезиса чисел, и вместо этой объединяющей единицы, которая задает двойку в первом случае, я предлагаю вам рассмотреть двойку в настоящем числовом генезисе двух.

Необходимо, чтобы эта двойка образовывала настоящее целое число, которое еще не рождено до того, как появится двойка. Вы смогли это понять, поскольку двойка появляется здесь для того, чтобы наделить существованием первую единицу: поставьте двойку на место единицы и, соответственно, на месте двойки вы увидите, как появится тройка. Так мы получаем то, что я называют метой. У вас уже есть что-то отмеченное и что-то неотмеченное. Только с первой метой мы получаем статус вещи. Точно таким образом Фреге объясняет генезис числа; класс, характеризующийся отсутствием элемента, является первым; вы получаете единицу на месте нуля, а затем легко понять, как место единицы становится вторым местом, которое создает место для двойки, тройки и так далее²⁵. (Лакан 1970, с. 191, курсив в оригинале)

В этот момент полной неясности Лакан безо всяких объяснений вводит предполагаемую связь с психоанализом:

Вопрос двойки для нас — это вопрос субъекта, в этом пункте мы приходим к факту, относящемуся к психоаналитическому опыту, поскольку двойка не дополняет единицу для того, чтобы создать двойку, а обязательно повторяет единицу, чтобы позволить ей существовать. Это первое повторение является единственным необходимым для объяснения генезиса числа, и одно единственное повторение необходимо для задания статуса субъекта. Бессознательный субъект — это нечто, стремящееся повторить самого себя, но необходимо единственное повторение для его задания. Однако, посмотрим внимательнее на то, что необходимо для того, чтобы второе повторяло первое, дабы у нас получилось повторение. Не следует отвечать на этот вопрос поспешно. Если вы ответите поспешно, вы скажите, что необходимо, чтобы они были одинаковыми. В этом случае принципом двойки был бы принцип двойняшек — но почему не принцип тройни или пятерни? В мои времена детей учили тому, что нельзя складывать, например, словари с микрофонами; но это ведь совершенно абсурдно, поскольку у нас не будет никакого сложения, если мы не будем способны складывать микрофоны и словари или, как говорит Льюис Кэрролл, королей и капусту. Тождественность [sameness] заключена не в вещах, а в мете, которая делает возможным сложение вещей без рассмотрения их различий. Действие меты проявляется в стирании различия, и в этом-то и состоит ключ к тому, что происходит с субъектом, бессознательным субъектом повторения; ведь вы знаете, что этот субъект повторяет нечто особо значимое, субъект, к примеру, оказывается внутри той непрозрачной вещи, которую мы в некоторых случаях называем травмой или пронзительным удовольствием. (Лакан 1970, с. 191–192, курсив в оригинале)

Затем Лакан пытается связать математическую логику с лингвистикой:

Я рассмотрел лишь начало ряда целых чисел, поскольку, это пункт перемычки между языком и реальностью. Язык образован при помощи тех же самых объединяющих черт, которые я использовал для объяснения единицы и «плюс единицы». Но в языке эта черта не тождественна объединяющей черте, поскольку в языке мы имеем собрание различительных черт. Иначе говоря, мы можем сказать, что язык образован собранием означающих — например, 6а, та, па и т. д. — то есть конечным множеством. Каждое означающее способно поддерживать тот же самый процесс по отношению к субъекту; весьма вероятно, что процесс целых чисел является лишь частным случаем этого отношения между означающими. Определение этого собрания означающих заключается в том, что они задают то, что я называю Другим. Различие, предложенное существованием языка, заключено в том, что каждое означающее (в противоположность объединяющей черте целых чисел) в большинстве случаев не тождественно самому себе — именно потому, что мы имеем собрание означающих, в котором каждое отдельное означающее может обозначать, а может и не обозначать само себя. Это хорошо известно, и в этом состоит принцип парадокса Рассела. Если вы возьмете множество всех элементов, которые не являются членами самих себя,