Аксиома чистой знаковости I (XIII). Всякий знак нечто значит.

Аксиома чистой обозначенности II (XIV). Все, что является осмысленно обозначенным, есть результат функции смыслового знака.

Аксиома чистого акта обозначения III (XV). Всякий акт обозначения есть акт смыслового обозначения.

Эти три аксиомы обеспечивают для нас существование знака в его чисто знаковой, то есть чисто смысловой, природе. К этому необходимо прибавить еще следующее.

Мы отделили знак от его носителя и знаковость от ее телесности. Это дало нам возможность, отделив знак от всего вне-знакового, сосредоточиться на нем самом. И хотя никакой знак невозможен без носителя знака, без его материи, без его субстанции или без его субстрата (тут возможны самые разнообразные термины, обозначающие внезнаковые окружение языка), тем не менее, и об этом мы тоже достаточно говорили, ни носитель знака не есть сам знак, ни его субстанция не есть сам знак и т. д. Для того чтобы зафиксировать эту нематериальность знака (возможную, как мы еще и еще раз говорим, только в условиях материального носительства знака), приходится и относящиеся сюда принципы тоже выдвинуть как необходимые и очевидные.

К сожалению, существует очень твердая и почти непреодолимая обывательская тенденция все смысловое и все идеальное толковать как материальное и только как физическое. Думают, что если физические вещи являются материальными и физическими, то и все на свете обязательно материально и физично. Но это пошлое предубеждение основано на отсутствии как анализа элементарных фактов сознания, так и учения об отражении. Все смысловое и, следовательно, все идеальное вовсе не отсутствует и вовсе не есть нечто. Если оно есть отражение материального, то это значит, что оно тоже есть, тоже существует и тоже действует, но только при одном условии, при условии своей отраженности из сферы материального, или реального. Отражение предмета вовсе не есть отсутствие предмета, а наоборот, предполагает существование этого предмета, так как иначе чего же именно отражением является само-то отражение?

Здесь имеется в виду только специфическое бытие отражения, а вовсе не полное отсутствие того бытия, которое именно отражается, и вовсе уже не утверждается отсутствие самого отражения. Ведь иначе пришлось бы отменить и всю математику, и прежде всего таблицу умножения, которая ведь не есть карандаши, ни перья, ни ручки, ни яблоки, ни вишни и вообще не есть что-нибудь материальное. Тем не менее таблица умножения отражает собою именно материальное, но только не просто поверхно(86)стно материальное, не просто карандаши или ручки, но нечто такое, что лежит в глубине самого материального, и потому-то для таблицы умножения и безразлично, какие вообще предметы умножаются. Умножается и делится вообще все на свете, и поэтому таблица умножения является чрезвычайно обобщенным отражением всеобщей делимости или нераздельности, всеобщего уменьшения или увеличения. Поэтому, если уж пугаются того, что смысловой знак не есть просто само по себе какое-нибудь тело или субстанция, не есть арбуз или дыня, то уж никак нельзя говорить о нематериальной природе знака. Когда мы говорим об этой последней, мы просто имеем в виду максимальную обобщенность и всеприсутствие знака, подобно тому как суждение 5X5=25 не ограничено никаким временем и никаким пространством. И когда мы долетим до Марса и высадимся на нем, все равно это равенство останется там вполне незыблемым, так что минимальная ошибка, допущенная здесь, будет грозить катастрофами. Поэтому и знак вовсе не связан обязательно с тем физическим предметом, который он обозначает, и хотя фактически знак и эта вещь друг от друга неотделимы, мы все же о знаке можем говорить отдельно, подобно тому как мы говорим в математике о числах или величинах и даже строим и неоспоримо решаем основанные на них уравнения. Отсюда возникает следующая аксиома чистой знаковости.

Аксиома чистой бессубстратности IV (XVI). Всякий знак, всякое обозначенное и всякий акт обозначения возможен только как область чистого смысла, освобожденная от всякой материи и какой бы то ни было субстанции.

Заметим, впрочем, что в истории философии многие мыслители, замечая очевиднейшую нематериальность знака или числа, так же как и вообще идеи вещи и ее отражения, представляли себе отдельный и сверхъестественный мир, наполненный этими чистыми идеями, числами, понятиями и знаками. Такова вся платоновская и аристотелевская философия с ее бесчисленными разновидностями, оттенками и компромиссами. Но построение такого рода сверхматериальной действительности является делом слишком уж необязательным и даже личным, слишком уж произвольным. Такую философию можно оспаривать с бесконечно разных сторон, но то, что смысловая природа знака не есть материя,- это оспаривать нельзя, если не отменить всю арифметику, то есть если не впасть в прямое сумасшествие.

12. Аксиомы конструктивных элементов. Имея в виду все вышеизложенное, необходимо сказать, что до сих пор языковой знак рассматривался как таковой. Чтобы продвинуться на пути специальной информатики, мы теперь должны специфицировать и самый этот языковой знак, то есть исследовать, действительно ли (87) он является чем-то безраздельным, безразличным и бесформенным целым или ему тоже свойственна какая-нибудь своя собственная внутренняя структура.

Аксиома неделимой единичности I (XVII). Всякий знак есть неделимая единичность. Всякий предмет есть нечто, а именно он сам. И всякий знак тоже есть нечто, а именно он сам. Знак есть знак и ничто другое. Можно ли в этом смысле говорить об его делимости, раздельности или структуре? Едва ли. Ведь даже и любое число из натурального ряда чисел, хотя оно и складывается из определенного числа единиц (например, 3 есть сумма трех единиц, 4 есть сумма четырех единиц и т. д.), тем не менее тройка есть нечто целое и совсем никак не делимое; она есть неделимая единичность. Это видно из тех больших чисел, число единиц которых мы не можем даже и перечислить и которые просто называем каким-нибудь общим именем, сразу охватывающим все входящие сюда единицы в одно нераздельное целое. Пусть скажут, что тройка состоит из трех единиц, которые можно тут же перечислить, то есть представить их в отдельности, и тут же их суммировать. Но когда мы говорим "сто", "тысяча", "миллион", то при всех таких обозначениях мы уж во всяком случае не можем тут же перечислить здесь и не можем даже и представить себе все входящие сюда отдельные единицы, и уж тем более не можем их суммировать. И все-таки каждый знает, что такое 1000 и какое отличие этого числа от 999 и от 1001. Следовательно, сама тысяча эмпирически, конечно, составляется из тысячи отдельных единиц, но фактически не только бухгалтер или кассир, но и самый обыкновенный человек, не имеющий никакого дела со счетоводной работой, представляет себе свои цифры как обозначение тех или других вполне самоочевидных, но обязательно единичных данностей. Тысяча есть тысяча, а не просто сумма тысячи единиц. Иначе и не понадобилось бы для этого создавать специальные термины.

В этом смысле и каждый знак тоже есть знак, тоже по своей идее неделим и тоже не имеет внутри себя никаких различий, хотя фактически каждый знак можно изменить, можно составить его из отдельных частей и можно производить внутри него любые числовые операции. Всякую единицу можно дробить на то или другое количество частей, на те или иные дроби, и этих дробей - бесконечное количество.

Отсюда две необходимые аксиомы конструктивных элементов языкового (да и всякого смыслового) знака, не менее необходимые, чем указанная выше аксиома I (XVII).

Аксиома раздельности II (XVIII). Всякий знак обязательно есть та или иная раздельность, то есть обладает разными частями, элементами, моментами, способными дробиться и варьироваться (88) до бесконечности. В банальной форме эта аксиома самоочевидна, но ввиду своей самоочевидности даже как будто бы и бесполезна. Очевидна-то она, действительно, очевидна, поскольку всякую вещь можно бесконечно дробить; если мы какую-нибудь вещь не дробим бесконечно, то вовсе не потому, что такая бесконечная операция для человека физически невозможна. Ведь никакой жизни не хватит на то, чтобы дробить данную вещь бесконечно и получать все более и более малые ее части. Однако это только фактически. Принципиально нет данных утверждать, что из единицы, бесконечно дробимой, нельзя получить бесконечное число дробей.