Я в теории Фрейда и в технике психоанализа (1954/55).

Рассмотрим множество всех слов, которые можно составить из букв: ab, ас сa, ad, abdd, bb и т. д. Я расставляю буквы одни за другими в любом порядке; повторения тоже допускаются. Слова эти я могу образовывать до бесконечности. Выделим в этой совокупности подгруппу WF (wellformed, правильно образованных) — подмножество слов, образованных из этих символов по определенным правилам. Любая математическая теория состоит в том, что дано бывает определенное подмножество (это называется аксиомами) и некоторое множество правил вывода — например, синтаксического характера. Допустим, что если в слове имеется символ ab, я имею право заменить его символом р. В результате я смогу, исходя из слова abсd, образовать слово pcdЭто и называется теоремой — множество всех слов, которые я могу образовать, исходя из аксиом с помощью синтаксических операций. Это подмножество WFи называем мы языком.

Выбор символов а, b, с и d, разумеется, чисто условный. Я мог бы выбрать и другие символы — u, v, x, y — создав с их помощью теорию, изоморфную первой. По сути дела, для математиков понятие языка определяется таким образом, что изоморфизм и, больше того, способ кодирования не имеют для него значения. Так, взяв множество символов, образованных с помощью нуля и единицы, я могу условиться, что а = 00, b = 01, с = 10, d = 11, и перевести затем все аксиомы и все продукты синтаксических операций на язык символов 0 u 1. Осторожность понадобится здесь лишь в том случае, если я захочу перекодировать новую теорию обратно в старую, ибо если какое-то слово закодировано у меня, например, в виде 00010111001, результат декодирования может оказаться двусмысленным. Так, если е = 000, то неясно, начинается ли это слово с а или с е, и т. д.

Мне представляется, что Ваше определение символов с этим определением не совпадает. Для Вас символы связаны с другим языком. У Вас имеется своего рода базовый язык общения, всеобщий язык, а символы, о которых Вы говорите, всегда закодированы, исходя из этого базового языка.

Лакан: — В сказанном Вами, если я Вас правильно понял, — а мне кажется, я вас понял — меня поражает вот что: когда феномен языка иллюстрируют на примере чего-нибудь всецело формализованного, вроде символов математики (и это одна из причин, по которым небезынтересно будет привлечь к нашему вопросу кибернетику), когда глагол, verbum, выступает в математической записи, как на ладони становится ясен тот факт, что язык существует от нас совершенно не зависимо. Число обладает свойствами, которые носят абсолютный характер. Они таковы, независимо от того, есть мы тут или нас тут нет. Число 1729 было и останется суммой двух кубов, наименьшим числом, представляющим собой сумму кубов двух последовательных чисел различной разрядности.