А.М.Анисов. Логика интерсубъективного цитирования

А.М.Анисов

ЛОГИКА ИНТЕРСУБЪЕКТИВНОГО ЦИТИРОВАНИЯ*

§1. Понятие интерсубъективности

Данная работа посвящена анализу одной из форм интерсубъективности – цитированию. На первый взгляд, сочленение терминов «интерсубъективность» и «цитирование» выглядит странно: первый термин вроде бы указывает на что-то важное и не очень понятное, тогда как значение второго всем известно и просто до тривиальности. Слово «интерсубъективность» со всеми его производными действительно не имеет общепринятого смысла, но смысл слова «цитирование» лишь кажется простым и полностью ясным.

Начнём с предварительного определения понятия интерсубъективности. Буквально «интерсубъективный» означает «меж субъективный» или, лучше сказать, «меж субъектный». Что обычно выдвигается на первый план при встрече двух или более субъектов? – Проблема понимания одного субъекта другим. Возникнет между ними взаимопонимание, или нет? Громадная важность проблемы взаимопонимания не вызывает сомнений. Человечество веками отрабатывало разные способы её решения как на практике, так и на концептуальном уровне, включая философские учения. Интерсубъективность в широком смысле может рассматриваться как механизм достижения адекватного взаимопонимания между субъектами. При этом в аналитических целях следует тщательно избегать присущего естественному языку метафорического отождествления разных по сути понятий. Понимание – не то же самое, что согласие, сочувствие, жалость и т.п. Понимание выступает как предпосылка перечисленных явлений, но может и не заканчиваться ими. Поэтому обороты типа «Я тебя понял, но я с тобой не согласен» или «Я тебя понимаю, но не сочувствую, так как ты сам виноват» – совершенно законные. С другой стороны, согласие или сочувствие возможно и без взаимопонимания.

Проблема интерсубъективности в философском плане наиболее разработана (насколько удачно – другой вопрос) в феноменологии. Согласно основателю феноменологии Э.Гуссерлю, феномен интерсубъективности возникает в до логической сфере Ego в ходе конституирования Alter Ego. Поскольку сознание Другого принципиально закрыто, возникает опасность впадения в крайность солипсизма. Предлагаемое Гуссерлем решение основано на придании смысла чужому сознанию по аналогии с сознанием собственным. При этом Гуссерль отвергает принятую в герменевтике В.Дильтея идею объяснения понимания через «вживание», «вчувствование» и тому подобные механизмы проникновения в другое сознание. В дальнейшем проблема интерсубъективности разрабатывалась не только в феноменологии, но и в других, близких к феноменологии течениях философской мысли (в экзистенциализме, герменевтике, философской антропологии и т.д.).

Несмотря на критическое в ряде случаев отношение к теории Гуссерля, предлагаемые в рамках этих течений решения проблемы интерсубъективности объединяет общая с феноменологией черта – об интерсубъективности рассуждают на до логическом уровне. В результате, если согласиться с тем, что интерсубъективность (чем бы она ни была) в любом случае предполагает возможность достижения адекватного понимания одним субъектом другого субъекта, получается, что сами феноменологические и родственные им теории интерсубъективности интерсубъективными не являются. Проще сказать, они непонятны. Или, что то же самое, понимать их можно и так, и этак. Например, некоторые критики гуссерлевской концепции интерсубъективности считают её противоречивой, тогда как другие так не считают. Между тем, проблема интерсубъективности как возможности достижения адекватного понимания одним субъектом другого субъекта, отнюдь не является внутренним вопросом феноменологии. Это актуальная проблема всей человеческой цивилизации и культуры, особенно на современном этапе их развития, когда взаимодействуют или сталкиваются самые разные эпистемические и ценностные парадигмы. Настройка диалога культур и цивилизаций, налаживание коммуникации между людьми, формирование современных методик усвоения знаний, оптимизация процессов обмена научной информацией, вопросы адекватного понимания человеком компьютерных вычислений – вот далеко не полный перечень областей, где проблема интерсубъективности приобретает важное значение.

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

Это потребует сужения объёма понятия интерсубъективности с целью придания ему более точного исходного смысла. Среди множества аспектов феномена понимания надо выделить тот, который и будет назван интерсубъективным. Нас в наибольшей степени интересует аспект, связанный с обеспечением возможности недеформируемой трансляции того, что понял один субъект, в то, что понятно другому субъекту. Случайно возникшее взаимопонимание, развитая интуиция постижения другого, субъективная уверенность в понимании и т.п. – сюда не относятся. Более того, поскольку речь идёт об обеспечении возможности понимания, неважно, состоялся реально акт взаимопонимания или нет. Интерсубъективность в нашем смысле может быть достигнута, хотя в действительности сообщение одного субъекта другим понято не было. Важно лишь то, была ли у адресата сообщения объективная возможность его понять. Воспользовался ли он этой возможностью – вопрос, к делу не относящийся.

Кроме того, мы намеренно абстрагируемся от конкретного содержания подлежащих пониманию актов, обращаясь исключительно к их логической форме. Исследование логических форм потребует введения соответствующих логических операций. Так как логика относится к классу семиотических дисциплин и занимается изучением символических знаковых систем, естественно потребовать, чтобы эти операции применялись к текстам, что влечёт дальнейшее сужение объёма понятия интерсубъективности. Поэтому интерсубъективными в узком смысле будем называть логические операции, обеспечивающие объективную возможность однозначного понимания текстов. С текстами можно проводить разного рода операции: копирования, сравнения, цитирования, сокращения, пересказа своими словами и т.д. После этих разъяснений словосочетание «интерсубъективное цитирование» уже не должно выглядеть подозрительным. Проблема в другом. Могут ли перечисленные операции быть интерсубъективными, и если могут, то как это достигается? Перейдём к рассмотрению данного вопроса.

С логической точки зрения, текст есть непустое конечное множество знаков-символов. Символы являются самым важным для логики видом знаков, который характеризуется тем, что между знаком как физическим объектом и его денотатом нет вообще никакой объективной связи (как между словом «ёж» и самим этим животным). Отношение обозначения в этом случае есть результат конвенции, соглашения между носителями языка, которому принадлежит данный знак. Сколько бы мы ни изучали символ как физический объект, никаких следов конвенции мы в нём не найдём (например, знаком чего является слово «hedgehog»? – без знания конвенции наверняка не скажешь)[1]. Таким образом, символом мы называем знак, у которого связь с денотатом установлена по конвенции. Стандартными примерами знаков-символов будут имена, понятия (предикаты) и высказывания (утверждения). По определению, имена являются знаками индивидов (объектов рассмотрения), понятия или предикаты – знаками совокупностей индивидов (нередко весьма сложно устроенных совокупностей), а высказывания или утверждения (следуя Г.Фреге) – знаками специфических абстрактных объектов истина и ложь[2].

В реальности даже носители одного и того же языка обладают как групповыми, так и индивидуальными особенностями понимания символов. Результатом этого является объективная невозможность однозначным образом представить каждый текст в виде множества знаков, не говоря уже о признании законности тех или иных операций с этими знаками. В этом смысле тексты сплошь и рядом понимаются именно не интерсубъективным образом. Операция сокращения исходного текста, допустимая для одного субъекта (по причине сохранения сути содержания исходного текста), может оказаться неприемлемой для другого (ввиду утраты сути в его понимании). Тем более это так применительно к операции пересказа текста своими словами. Здесь субъективные моменты явно возобладают. Далее, если субъект s утверждает, что предложение p принадлежит тексту Т, то вовсе не обязательно другой субъект s* согласится с этим. Уже только данное обстоятельство делает процедуру цитирования весьма проблематичной в смысле наличия у неё свойства интерсубъективности.

Проблем с интерсубъективностью среди названных процедур нет только в случае с операциями копирования текста и сравнения текстов. В наше время технически сделать это несложно, причём интерсубъективность операции копирования не вызывает сомнений. Трудно себе представить, что найдутся два рациональных субъекта s и s*, которые разойдутся между собой в ответе на вопрос, был ли скопирован текст T₁, или это был какой-то другой текст T₂. То же самое можно сказать в отношении операции сравнения текстов. Если текст T представлен в электронной форме, его интерсубъективное копирование является рутинной компьютерной операцией. Некоторые компьютерные программы работы с файлами умеют их сравнивать. Например, программа Windows Commander 5 имеет встроенную операцию сравнения документов: если электронные тексты T₁ и T₂ совпадают, на мониторе появится сообщение об идентичности этих текстов; в противном случае, либо будет сформирована таблица различий (при условии, что их число не выходит за определённые границы), либо выдано сообщение, что количество различий слишком велико.

Интерсубъективность процедур копирования и сравнения электронных текстов обеспечивается представлением текстов в виде линейно упорядоченного набора букв или значков (включая так называемые знаки препинания и другие технические значки) из имеющихся компьютерных алфавитов. Часто эти значки называют символами или знаками (как знаки препинания), но они не являются таковыми в нашем смысле, ибо не выступают в функции обозначающих объектов. Лишь их комбинации могут получать значение, которое либо доступно компьютеру, либо находится за пределами имеющихся компьютерных интерпретаций. Правильно построенную и снабжённую данными программу компьютер сможет «понять», но обычные тексты на естественном языке, как правило, останутся за гранью машинного «понимания», несмотря на все усилия, прилагаемые по этому поводу специалистами по искусственному интеллекту. Одна из ключевых проблем в данном пункте – принципиальные трудности с разбиением исходного естественно-языкового текста на содержащиеся в нём знаки.

§2. Проблема разбиения текста на знаки

Продемонстрируем невозможность однозначного представления текстов в виде множества знаков. В целях большей определённости ограничимся текстами, созданными для передачи информации. На первом уровне рассмотрения такие тексты логично представлять как совокупности высказываний (последующие всё более сложные уровни должны будут включать не только высказывания и операции над ними, но и объектно-предикатную структуру высказываний с учётом квантификации, построение денотационной и, если возможно, смысловой семантики текста, и т.д., что находится за рамками данной работы). В качестве иллюстрации отсутствия интерсубъективности при разбиении исходного текста на утверждения для последующего цитирования рассмотрим пример, представляющий к тому же самостоятельный логический интерес.

Пример касается поиска в тексте явных противоречий. Явное противоречие предполагает, что в тексте Т одновременно утверждается некоторое высказывание А и его отрицание не-А. Займёмся таким поиском в следующем знаменитом текстовом фрагменте.

«Как видим, прибавочная стоимость не может возникнуть из обращения; следовательно, для того чтобы она возникла, за спиной обращения должно произойти нечто такое, чего не видно в самом процессе обращения. Но может ли прибавочная стоимость возникнуть откуда-либо еще, кроме процесса обращения? ... Товаропроизводитель не может увеличить стоимость и тем самым превратить деньги или товар в капитал вне сферы обращения, невступая в соприкосновение с другими товаровладельцами.

Итак, капитал не может возникнуть из обращения и так же не может возникнуть вне обращения. Он должен возникнуть в обращении и в то же время не в обращении[3]».

Согласно позиции К.Поппера, гегелевская и марксистская теории диалектики несомненно противоречивы, со всеми вытекающими отсюда неприятными последствиями, ибо в противоречивой теории доказуемы любые утверждения. Уже только поэтому диалектику в таком виде следует отбросить. Однако в статье, где специально рассматривается этот вопрос, нет ни одной цитаты, где бы противоречивость подтверждалась текстуально[4].

Как ни неожиданно, ярый сторонник диалектической логики Э.В.Ильенков оказывается солидарным с К.Поппером в вопросе о противоречивости диалектики. Например, противоречивым, по его мнению, является сформулированное К.Марксом в «Капитале» утверждение «“капитал не может возникнуть из обращения и в то же время вне обращения”»[5] (кавычки “” использованы потому, что здесь имеет место ситуация «цитата в цитате»; отмечу кстати, что точно такой формулировки, как в “...”, я в «Капитале» не нашёл – ср. c приведённым фрагментом). Выражение противоречия и в данном случае, и вообще в диалектике такое же, как и в логике, «абсолютно ничем не отличающееся по своей вербальной форме от так называемого формального противоречия, от конъюнкции А и не-А»[6]. Только вот пользоваться какими бы то ни было правилами логического вывода запрещается: «Нелепо подчинять мышление, занятое исследованием изменяющихся объектов, диктату специальных правил обращения с таким неизменным предметом, каким является (точнее, должен являться) знак-символ в составе искусственной знаковой конструкции»[7]. Получается, что формально противоречивые конъюнкции вида А и не-А в диалектике имеются, но абсурдные последствия этого блокируются запретом на применение формальной логики (как традиционной, так и современной).

В отличие от Поппера и Ильенкова, Ф.Ф.Вяккерев не считает диалектику формально противоречивой, отрицая наличие в ней противоречий вида А и не-А. Например, утверждение «капитал возникает и не возникает в обращении» нельзя представлять в форме А и не-А. Данное высказывание надо обозначить как единое суждение А. И «если истинно суждение «капитал возникает и не возникает в обращении» (А), то ложно его логическое отрицание «неверно, что капитал возникает и не возникает в обращении» (Ā)»[8]. Действительно, это Ā нигде не утверждается, так что ситуация А и Ā при таком понимании текста не возникает, и диалектика с формально-логической точки зрения оказывается непротиворечивой.

Рассмотрим кратко обозначенные позиции в обратном порядке. Обращаясь к исследуемому текстовому фрагменту, мы видим, что утверждение «капитал возникает и не возникает в обращении» вроде бы раскладывается на «прибавочная стоимость не может возникнуть из обращения» (Ā) и «товаропроизводитель не может увеличить стоимость ... вне сферы обращения» (А). И тогда точка зрения Ф.Ф.Вяккерева неверна. Впрочем, могут возразить, что второе высказывание (А) имеет скорее вид не-не-А, и что снятие двойного отрицания («не может возникнуть вне обращения» превращается в «может возникнуть из обращения») проблематично даже в некоторых разделах математики. Более того, чисто синтаксически высказывания, обозначенные здесь как (Ā) и (А), друг другу не противоречат. В первом идёт речь о прибавочной стоимости, во втором – об увеличении стоимости. Есть некоторое А и некоторое В, и всё. Можно ли преобразовать В в Ā – вопрос, явно не относящийся к цитированию. С учётом подобных возражений позиция Ф.Ф.Вяккерева оказывается неопровержимой.

Столь же неопровержима позиция Э.В.Ильенкова. Встретив в тексте конъюнкцию А и не-А, мы можем процитировать «А и не-А», но мы не имеем права заявлять, что автор текста утверждает, например, А, и цитировать «А». Ведь это означало бы, что к А и не-А применено правило удаления конъюнкции, что запрещено. Но если все правила формального вывода запрещены, говорить с формально-логической точки зрения больше не о чем. Между тем, далее будет показано, что некоторые формальные правила вывода в операции цитирования всё же присутствуют (правило удаления конъюнкции, как теперь ясно, сюда не относится). Кроме того, позиция Э.В.Ильенкова сама оказывается противоречивой, и не только в том смысле, что соглашающийся с противоречиями уже сам себе противоречит. Она противоречива и в ином смысле. Утверждая в одном месте, что выражение противоречия в диалектике такое же, как и в логике, «абсолютно ничем не отличающееся по своей вербальной форме от так называемого формального противоречия, от конъюнкции А и не-А», в другом месте автор заявляет: «в составе конъюнкции А и не-А словечко «и» означает попросту еще не понятый вами переход одного в другое», т.е. «переход «А» – в «не-А», или «не-А» – в «А»»[9]. Выясняется, таким образом, что конъюнкция в диалектике не только не является абсолютно такой же, как и в формальной логике – она просто другая, ибо никогда переходы «неживой материи – в живую, немыслящей материи – в материю мыслящую» (примеры Э.В.Ильенкова) и им подобные не назывались в логике «конъюнкцией». С тем же успехом их можно было бы назвать «дизъюнкцией», «импликацией», «эквиваленцией» (последнее даже лучше, поскольку эквиваленция А « не-А утверждает, что А влечёт не-А и наоборот – чем не переход?) Чуть выше на этой же странице рекомендуется пользоваться «максимально «уточненными» терминами».

Может показаться, что предыдущий параграф начинается нашим утверждением о неопровержимости рассматриваемой позиции, а заканчивается её опровержением. Ничуть не бывало! Мы просто показываем, что о противоречиях в ней говорится противоречивым же образом. Но раз противоречия не только допустимы, но и приветствуются, никто не имеет права наложить запрет на соблазнительную возможность и о самих противоречиях рассуждать противоречиво. Какие после этого могут быть опровержения? Тем более, что принципиальные оценки работам, подобным нашей, уже даны. Вот что пишет по этому поводу В.И.Горбач.

«Особое внимание уделяется казуистическому разбору примеров противоречий в трудах классиков марксизма-ленинизма. Рассматривая их с пристрастием, с позиций схоластически истолкованной и метафизически абсолютизируемой формальной логики, фальсификаторы материалистической диалектики не видят (или не желают видеть) противоречивости механического движения, жизни и, в особенности, – общественных явлений. Нередко предпринимаются попытки искусственно «оглупить» такие примеры, чтобы легче было их затем «опровергать»[10].

Где уж мне опровергать, когда после чтения многочисленных работ диалектиков, включая Гегеля и классиков марксизма-ленинизма, я так и не смог понять, что же такое диалектическое противоречие и чем оно отличается (или не отличается?) от формально-логического. Я даже не знаю, как диалектиков цитировать, чтобы, не дай бог, не «оглупить». Сами-то они, как было показано, дают разные трактовки тому, из каких высказываний сотканы одни и те же диалектические тексты.

Зато позиция К.Поппера (которую я долгое время разделял, так что сказанное против этой позиции прямо относится и к моим прежним взглядам) не только опровержима, но просто уязвима для критики. И это несмотря на то, что в ряде отношений она совершенно верна. Но Поппер напрасно слишком серьёзно относится к диалектике как системе философской мысли. Он допускает принципиальную ошибку, считая диалектику в её гегелевском и марксистском варианте теорией. Правда, плохой теорией. Тем не менее, само по себе наделение диалектики статусом теории придаёт ей респектабельность, которой в действительности нет и в помине. Напомним, что в логике теорией называют множество утверждений, либо замкнутое относительно выводимости (синтаксическое определение), либо замкнутое относительно логического следования (семантическое определение). Во-первых, Поппер просто не видит проблемы цитирования диалектического текста, автоматически превращая диалектическое противоречие в логическую конъюнкцию (А & ØA). Но это сомнительная операция. Ведь диалектический текст однозначному разбиению на содержащиеся в нём утверждения, как мы видели, не поддаётся. Результат здесь варьируется от субъекта к субъекту и поэтому оказывается субъективным, а не интерсубъективным. Тем самым не выполнен первый пункт определения теории: она должна быть определённым множеством утверждений. Во-вторых, даже если диалектический текст представлен в виде такого множества и при этом содержит противоречия формы А и не-A, отсюда ничего не выводится и не следует, что мы также видели[11]. Тем самым не выполнен второй пункт определения: теории принадлежат все высказывания, которые из неё выводятся или следуют.

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

В более общем плане причина неудач коренится в особенностях используемого в диалектике языка. Это естественный язык, а для естественных (т.е. возникших стихийно-исторически) языков, продолжающих к тому же своё развитие, не существует точно определённого понятия правильно построенного выражения языка. Отсюда принципиальная возможность разного понимания того, какие конкретно утверждения содержат естественно-языковые тексты. В таких условиях процедура разбиения текстов на знаки не только не является, но и не может стать интерсубъективной, какие бы усилия к этому ни прилагались. Верно ли, что сделанный вывод ставит крест на самой идее интерсубъективного цитирования? И да, и нет. «Да» в том смысле, что однозначно естественно-языковые тексты на знаки не подразделяются. «Нет», потому что после того, как хотя бы один способ разбиения текста на знаки выявлен, можно приступать к цитированию. В действительности каждый, кто прибегает к цитированию утверждений, сознательно или интуитивно проделывает такую работу: сначала определяет, какие высказывания содержит заинтересовавший его текст или фрагмент текста, и только затем выбирает, какие и в каком порядке высказывания цитировать. Первый этап работы существенным образом остаётся за границами интерсубъективности, зато второй может быть сделан интерсубъективным, как будет доказано.

§3. Цитирование как способ достижения интерсубъективности

Речь шла о цитировании содержащихся в тексте утверждений. Но всякая ли содержащая исключительно высказывания структура должна рассматриваться как текст? Теории, например, ничего кроме утверждений не содержат (это по определению; но и по существу неразумно относить к теории предположения, гипотезы, вопросы, проблемы, задачи и т.д. – все эти и им подобные знаковые конструкции могут быть связаны или с разработкой теории, или с её применением). Так можно ли процитировать теорию? К сожалению, в научной и философской литературе понятием «теория» сплошь и рядом злоупотребляют, распространяя его чуть ли не на любые текстовые оформления каких угодно идей. Увы, настоящие теории встречаются гораздо реже. На самом деле есть, как минимум, четыре типа основанных на утверждениях структур: теории, концепции, учения и доктрины. Понятие теории уже было определено. Добавим к сказанному, что теории потенциально опровержимы как в отношении истинности содержащихся в них высказываний (утверждение теории может оказаться ложным), так и в отношении правильности приписываемых теории следствий (например, теория может оказаться противоречивой вопреки первоначальным предположениям о её непротиворечивости). Канонические примеры теорий легко найти в математике и точном естествознании.

Концепция отличается от теории тем, что опровергнуть её, строго говоря, нельзя. Вместо опровержения допускается рациональная критика, под влиянием которой концепция может видоизменяться её основателями или их последователями. Например, философская концепция неопозитивистов была существенным образом изменена (многие утверждают – разрушена) под ударами критики. Тем не менее, настаивать, что индуктивизм и верификационизм опровергнуты окончательно, было бы опрометчиво. Кантовский априоризм был подвергнут критике на основании открытия неэвклидовых геометрий и неклассических логик. Однако значительная часть философов полагает, что эти открытия не затронули ядро кантовского априоризма, по-прежнему считая концепции И.Канта вершиной философской мысли. Так опровергнут ли Кант? Подобные вопросы не возникают в отношении теорий. Например, теория множеств Г.Кантора (которая действительно является теорией) была опровергнута, как только её противоречивость была доказана.

Отсюда ещё одно отличие теории от концепции: в теориях доказывают (эмпирически и логически), в концепциях обосновывают (при помощи аргументов разной степени убедительности). Если бы концепция однозначно раскладывалась на принимаемые и отвергаемые в ней высказывания, а также указывала, какой логикой надо пользоваться для выведения следствий, её обоснования превратились бы в доказательства, а она сама – в теорию. Об изначальной неопределённости разбиения естественно-языковых текстов (а концепции представлены именно такого рода текстами) сказано было уже достаточно. Что касается проблематичности выведения следствий из концепций, то ограничимся только одним примером, снова связанным с философией И.Канта. В обширной (424 страницы) и обстоятельной монографии К.А.Михайлова утверждается, что логика Канта имеет интуиционистские черты, а по сему Кант фактически оказывается предтечей интуиционизма. В частности, в трансцендентальной диалектике не принимается закон исключённого третьего и не соблюдается закон снятия двойного отрицания[12]. И.Кант, наверное, очень удивился бы, узнав, что он интуиционист – ведь он считал логику в её традиционной форме законченной наукой. Вот и делайте после этого логические выводы из концепции Канта! О менее строгих концепциях и говорить нечего.

Оставшиеся два типа структур мы рассмотрим вместе, поскольку их объединяет главное: учения и доктрины насквозь догматичны, их не в состоянии поколебать никакие рациональные доводы, никакие доказательства или аргументы. Разница лишь в том, что последователи учения делают вид, что отвечают на критику, тогда как сторонники доктрины не делают и этого, игнорируя или понося всякую критику в её адрес. Процитированный фрагмент из 359-страничной посвящённой диалектическим противоречиям книги В.И.Горбача – это всё, что удалось найти там по болезненной для диалектики проблеме соотношения диалектического и формально-логического противоречия. Доктринальный характер данной работы вполне очевиден уже по одному этому небольшому фрагменту текста. В любопытном (уже цитировавшемся) сборнике «Диалектическое противоречие» диалектика предстаёт не как доктрина, а в более мягкой форме учения. Сборник содержит мнения десятка участников дискуссии, почти все из которых затем выступают повторно, по замыслу, с учётом высказанных в их адрес возражений. Но это по замыслу. В действительности подлинной дискуссии, т.е. продвижения вперёд под влиянием взаимной критики, не получилось. И это при том, что в споре принимали участие некоторые видные представители тогдашней философии. Проблема заключалась в другом. Никто из оппонентов не мог выступить против диалектического учения в целом, заявить, что оно аморфно, непоследовательно, устарело, ложно, догматично[13] и т.п. Независимо от собственной точки зрения, каждый участник дискуссии обязан был демонстрировать лояльность учению, верил он в него, или нет. А как это сделать, если учение абсурдно? Путь один – скрыть иррационализм диалектики под личиной псевдорациональности. Отсюда загадочность формулировок, нарочито расплывчатый стиль, произвольность толкований, и, как итог, лишь видимость критики при отсутствии взаимопонимания.

Отмеченная шаткость оснований является важнейшей характеристикой не только диалектики, а вообще любых учений и доктрин. Представим себе, что каждый верующий будет по собственному разумению решать религиозные вопросы – возможна ли будет религия как таковая, соответствующая ей церковь, образ жизни и учение? Ответ очевиден. Аналогичных проблем нет в теориях и концепциях. Существование теорий обеспечивается фальсифицируемыми доказательствами, в основаниях концепций лежат критически воспринимаемые аргументы. Ничего подобного в распоряжении учений и доктрин не имеется. Но выход был найден, и при том давно. Место отсутствующих в них доказательств и критических аргументов заняла процедура цитирования канонических текстов. Наличие канонических текстов, возможность их точного копирования и умение их однозначно цитировать – вот, по сути, и всё, что требуется для обеспечения интерсубъективной фиксации учения или доктрины.

В концепциях процедура цитирования всё же играет важную роль, хотя и не первостепенную. В принципе, чужую концепцию можно адекватно изложить своими словами и затем подвергнуть критике. На практике такая возможность не проходит – вас обвинят в искажении концепции и, в конечном счёте, потребуют цитат, обосновывающих ваше понимание. Что касается теорий, то здесь с цитированием возникает проблема. Обратимся к теории множеств Г.Кантора. Как известно, Б.Рассел нашёл в этой теории противоречие – парадокс, названный его именем. Имеем ли мы право сказать, что Рассел процитировал Кантора? Очевидно, нет. Ведь Кантор этого не писал. Рассел цитировал самого себя? Тоже нет, поскольку парадокс возник именно в теории Кантора, а не в построениях Рассела. Отсюда вывод: теории не цитируются. Вместо этого цитируются работы как тексты, которые сами теориями не являются. В этом смысле правомерно сказать, что в работах Кантора нет парадокса Рассела, а в теории Кантора он есть. Так как теории не являются объектами цитирования, вопросы теории теорий выходят за границы нашей темы и более затрагиваться не будут.

Концепции занимают подвижное положение между теориями и учениями. По мере нарастания обоснованности аргументов концепция приближается к теории, по мере убывания обоснованности и усиления догматизма концепция превращается в учение. В последнем случае цитирование постепенно вытесняет критические аргументы, в результате оказываясь единственной, и при том вырожденной, формой интерсубъективного обоснования учения или доктрины. В этих условиях изменить канонический текст или просто отвергнуть какую-то его часть становится необычайно трудно. Приверженцы учений и доктрин обязаны принимать канонические тексты как они есть, целиком, несмотря на содержащиеся в них глупости и бессмыслицы. В противном случае где остановить изменения? Каждый субъект будет иметь своё мнение по этому поводу, и интерсубъективность будет утрачена. Адепты марксизма-ленинизма бесконечно цитировали и на все лады восхваляли мнимую глубину случайно оброненной в не предназначавшемся для посторонних конспекте ленинской мысли по поводу диалектики, логики и теории познания – дескать, «не надо 3-х слов: это одно и то же»[14]. Но в своих текстах неизменно различали эти термины. А что бы было, если бы эти слова были написаны не вождём, а так сказать, рядовым диалектиком?

Согласимся, что на уровне цитирования любой не признанный авторитетным текст обречён на проигрыш. В цитировании действительно нельзя обнаружить никакой принципиальной разницы между одной цитатой и другой. И то, и другое – цитаты, и ничего более. Другой вопрос, что цитата «А» может быть авторитетна, а цитата «В» – не очень. Но применительно к цитированию вопросы об основательности, истинности, непротиворечивости, научности, наконец – все такие и им подобные вопросы приходиться оставить в стороне. Довлеет авторитет цитаты. «И сказал Господь Бог змею: ... И вражду положу между тобою и между женою, и между семенем твоим и между семенем ее; оно будет поражать тебя в голову, а ты будешь жалить его в пяту»[15]. Слава богу, что не вы произнесли эти слова. А то бы вас могла постигнуть участь обвинённого в сумасшествии. Конечно, найдутся интерпретаторы, которые всю эту бессмыслицу как-нибудь разъяснят. Но вот переписать данный фрагмент, заменить его на осмысленный, догматики не согласятся. И по-прежнему, во веки веков, семя «будет поражать тебя в голову, а ты будешь жалить его в пяту». Поистине, в этих словах, учитывая авторитетность источника и понятную игру слов, заключено проклятие цитированию!

На цитирование как на единственную возможность достижения интерсубъективности уповают и в некоторых концепциях. В блестяще написанной книге И.Лакатоса «Доказательства и опровержения» детально обсуждается история злоключений одной теоремы о многогранниках[16]. Описываемый автором виртуальный мир, хотя он относится к сфере математики, не задается точно и строго, а находится в процессе изменений, порождая то одни многогранники, то другие. Иногда мутации оказываются неудачными, и тогда на свет появляются многогранники в обличье монстров и уродов[17], избавиться от которых так же нелегко, как и от чудовищ, живущих в виртуальных пространствах компьютерных игр. Все это делается И.Лакатосом с одной целью – продемонстрировать изменчивость понятий в самой строгой из наук – математике. А раз даже здесь нет надёжной опоры, то искать её больше негде и получается, что «знание не имеет основ»[18]. Своим острием критика И.Лакатоса обращена против формалистской программы обоснования математики Д.Гильберта, представляющей из себя «мрачную альтернативу машинного рационализма»[19]. Первородный грех формализма – скучное стремление к строгости и точности, противное «живой» математике. Поэтому высказывание «Сегодня достигнута абсолютная строгость» вызывает дружный смех «передовых» (я цитирую – А.А.) персонажей книги[20].

О каких персонажах идет речь? Разговор о математических доказательствах и опровержениях (поводом к которому послужил сюжет с многогранниками) ведётся в некоем вымышленном классе, который И.Лакатос действительно считает передовым. Но не являются ли все рассуждения вымышленных героев и их учителя всего лишь фантазиями придумавшего их автора? Здесь мы подошли к самому существенному пункту. Так оно и было бы, если бы И.Лакатос предусмотрительно не раздвоил текст книги. В самом буквальном смысле: суждения и остроумные реплики персонажей сопровождаются на протяжении всего текста ссылками на реальные высказывания математиков и философов, занимающие значительную его часть, иногда более половины (см. изображение стр. 46-47). Тут уже не до шуток – ссылки и цитаты должны быть точны. Допустим теперь, что в действительности Гаусс, Пуанкаре, Гильберт или кто-то другой из многочисленных философов и математиков, которых цитирует И.Лакатос, не говорили и не писали того, что им приписывается. Легко себе представить смущение автора сочинения об истории якобы по сути своей нестрогой и неформальной математики. Его знания лишили бы основ, превратили бы в бездоказательные рассуждения о вымышленных мирах.

Есть ли между репликами вымышленных персонажей и текстуально зафиксированными мыслями реальных исторических лиц удостоверяемое соответствие? Но вопрос о том, насколько «рационально реконструированная» по Лакатосу история правильно воспроизводит «реальную историю»[21], в книге даже не ставится. Ещё бы, ведь тут никакой точности ожидать не приходится, и потому лучше данный вопрос не обсуждать. А то получится, как в диалектике: цитаты точны, но понимают их все по-разному.

Вывод, следовательно, таков. Для того, чтобы показать изменчивость знания, мы нуждаемся в некотором неподвижном фоне, относительно которого только и можно обнаружить движение. Другое дело, где этот фон искать. И.Лакатос нашёл его в цитировании исторических источников. Тем самым его концепция изменчивости и неопределённости математического знания обретает необходимую для поддержания на плаву интерсубъективную устойчивость. Ведь после того, как акт письма состоялся и стал достоянием всех, текст обрёл некую форму вечности: можно комментировать текст, дополнять и исправлять его задним числом, создавая тем самым новые тексты, но изменить написанное однажды, отменив факт создания именно данного текста, никому не под силу. Остаётся цитировать вечное. И.Лакатос, по-видимому, не замечает, что опора на только одну форму интерсубъективности, – цитирование, – роднит его концептуальные построения не с наукой (критикуемая им метаматематика, безусловно, является наукой – в любом смысле этого слова), а с рассуждениями богословов, также вынужденных опираться исключительно на цитаты для достижения интерсубъективного взаимопонимания.

В чем состоит значение канонизации некоторой группы текстов в различных религиях? Ответ очевиден: при отсутствии надежных подтверждений претензии на более глубокое знание, чем дают обыденное познание и наука, остаётся такие подтверждения создать. В условиях разноголосицы различных оттенков верований представителей одной и той же религии интерсубъективное единство достигается объявлением выбранных текстов священными, богодухновенными. После этого изменить в них ни строчки нельзя. Дальнейшему усовершенствованию они не подлежат. В этом часто видят проявление излишней консервативности религиозного сознания, тогда как на самом деле у верующих просто нет другого выхода. Это в науке школьник может указать академику на ошибку, и наука от этого только выиграет. Критическое же отношение к священному тексту гибельно для религиозного чувства. Религия самосохраняется в веках именно за счет опоры на один и тот же, во веки веков неизменный текст.

И.Лакатос всё-таки не сделал последнего шага, окончательно и бесповоротно превращающего его концепцию в учение. Зато это сделал (между прочим, под флагом борьбы с догматизмом и защиты свободы) его коллега по исторической школе в методологии П.Фейерабенд, создав учение (или даже доктрину) методологического анархизма, согласно которому никакой принципиальной разницы между наукой, с одной стороны, и мифологией, идеологией и религией, с другой, – не существует[22]. Но будем справедливы. Чем цитаты из текстов учёных отличаются от цитат из текстов, скажем, богословов, именно в качестве цитат? Возможным наличием математической символики? Но сегодня некоторые богословы также пользуются математикой (например, А.Плантинга использует при обсуждении богословских проблем один из разделов математической логики – модальную логику). В том-то и дело, что если единственно возможной формой интерсубъективного понимания считать цитирование, как фактически получается у И.Лакатоса, П.Фейерабенда, Т.Куна и других представителей исторической школы в методологии, то всё остальное становится субъективным. Любая интерпретация цитаты отныне будет зависеть исключительно от субъекта, который цитирует. А интерпретировать эти свободные от всех эпистемических обязательств, кроме обязанности точно цитировать, субъекты будут, конечно, по-разному.

Например, литературовед может выдвигать самые необычайные интерпретации анализируемого произведения, проявляя буйство фантазии, но становится очень точен и строг, когда дело идет о тексте самого произведения. Не знать или не точно цитировать источник гибельно для специалиста по гражданской истории. Но что ограничит его в выборе трактовок описываемых по источникам исторических событий, если кроме требования точного цитирования других ограничений нет? Станислав Лем создал два замечательных произведения, одно из которых написано в форме рецензий на в действительности не существующие научные трактаты (Абсолютная пустота), а другое состоит из предисловий к несуществующим книгам (Мнимая величина)[23]. Но он же писатель-фантаст! А если допустить, что Лем точно цитировал реальных авторов? Превратился бы он от этого в учёного? Вопрос риторический. Точно так же расплывчатые и крайне субъективные рассуждения И.Лакатоса о математических доказательствах и опровержениях, несмотря на блестящую литературную форму, эрудицию в знании источников и предполагаемую точность цитирования, не делают из него научного философа. В его концепции о науке говорится не научным образом. Не стихами, конечно, но ведь и С.Лем прозаик. Не знаю, насколько удачен термин научно-фантастическая философия, но он хорошо характеризует концепцию И.Лакатоса и ей подобные. В них точны только цитаты. И уж если и математика недостаточно строга, то что же говорить о таких поистине расплывающихся в неопределённостях концепциях?

Может последовать упрёк в том, что выводы о концепции И.Лакатоса делаются без её серьёзного разбора. К сожалению, я не литературовед и не сведущ в секретах стилистики текстов. Что же до остального, то серьёзная критика данной концепции возможна только в отношении правильности цитирования. Ведь кроме цитирования, никаких других механизмов обеспечения интерсубъективного понимания И.Лакатосом не предлагается. В разговорах о математике, – этой цитадели интерсубъективности, – он умудрился обойтись без интерсубъективности. И это в условиях, когда математика математики, т.е. метаматематика, уже продемонстрировала, как надо научно рассуждать о данной науке. Скорее всего, делается это сознательно, поскольку «знание не имеет основ», «абсолютная строгость» смешна, формализация «мрачна» и т.п. Так что же критиковать, на что опираться, если основ нет и ничего строгого, помимо цитат, также нет? «Диалектику рассказа» (как сам И.Лакатос во «Введении» определил жанр своего сочинения[24])?

Вообще, приближающиеся к учениям концепции, сами учения и также доктрины, в отличие от научных концепций и теорий, следует не критиковать, а разоблачать. Как чёрную магию. Особенно если (как в диалектике и в методологическом анархизме) учения и доктрины объявляют себя врагами догматизма и защитницами свободы. Если наука (в лице Г.Галилея, например) прибегает, по заявлению того же П.Фейерабенда, к пропаганде, то ответом таким субъектам может быть только контрпропаганда[25]. То, что они пользуются интерсубъективным цитированием и точными ссылками на источники, ничего по сути не меняет. Стало быть, посредством механизма интерсубъективного цитирования увидеть различие между наукой, идеологией и теологией нельзя. Но и без цитирования наука существовать не может. Процедура интерсубъективного цитирования занимает в науке необходимое, хотя и скромное, отнюдь не самодовлеющее место. Это самый простой способ добиться интерсубъективного понимания, но и он имеет свою неочевидную логику, которую предстоит вскрыть.

А как быть с творческими текстами, в которых ничего или мало что цитируется? – Напрашивается ответ, что в таких текстах автор цитирует самого себя. Ведь автор сначала создал в уме или воображении текст. А затем, для других, его цитирует. И каков же статус этого автоцитирования? – Ясно, что почти всегда ничтожен. Просто говорить не о чем. Мы цитируем создателей теории относительности, квантовой механики, классиков марксизма-ленинизма, изречения Будды и Христа... А кого цитируете вы? Самого себя? Но что ваши автоцитаты могут значить по сравнению с такими первоисточниками? – Если следовать логике подобных вопросов, то индекс цитирования действительно становится определяющим в оценке значимости текстов. И всё же нам представляется, что творческий текст не является результатом автоцитирования, а индекс цитирования сам по себе не определяет его достоинств, особенно если в тексте речь идёт о поиске научной истины. Цитирование, включая автоцитирование, играет лишь вспомогательную роль в создании и бытии текстов в науке и ориентированной на науку философии.

Теперь самое время спросить, к какому из указанных четырёх типов знаковых структур автор относит собственную работу? До сих пор, есть надежда, удавалось удерживаться на уровне концепции. Но концепции не являются интерсубъективными образованиями, и потому рассчитывать на интерсубъективное понимание вышеизложенного не приходится. Если так можно выразиться, пока об интерсубъективном говорилось не интерсубъективным образом. Поэтому крайне важно попытаться сказать об интерсубъективном интерсубъективно. Это осуществлено в 5 параграфе, номер которого помечен значком интерсубъективности ^И. Будет построена интерсубъективная логическая теория цитирования как интерсубъективной процедуры. Но прежде логики цитирования кратко рассмотрим вопрос о методах цитирования. Как цитировали раньше и какие изменения в методах цитирования происходят сейчас?

§4. Кратко о методах цитирования

К сожалению, по этому вопросу найти удалось очень не многое. Цитируют все или почти все исследователи, но специально изучают эту процедуру лишь единицы. Может быть потому, что цитирование представляется чем-то само собой разумеющимся. Но это не так.

Специально техника цитирования на материале поздней античности изучается Е.В.Афонасиным[26]. Основным объектом его исследования в этом плане стали семь книг, объединённых под названием «Строматы», христианского писателя второго века Климента Александрийского. Выясняется, что цитирование в те времена, говоря нашим языком, требованию интерсубъективности далеко не всегда удовлетворяло. Е.В.Афонасин отмечает, что Климент часто цитирует по памяти, особенно Священное писание и Гомера, а часто ограничивается близким к тексту пересказом. И даже если цитаты правильные, не исключено, что в имеющий долгую историю текст «Стромат» вмешивались переписчики и редакторы: «каждый античный копиист был одновременно и редактором, особенно, если он делал копию для себя. Даже современные издатели, и тем более переводчики, имеют тенденцию “исправлять ошибки” античных авторов на основании известных текстов или приводить цитату вместо парафраза.» Цитаты из авторитетные текстов (например, Священного писания, Платона или Гомера) зачастую даются без ссылок – Клименту это кажется даже неприличным: «Образованные люди должны знать своих классиков. Отсюда такие явления, нередкие в Строматах, как небрежное замечание: “Платон сказал где-то”, за которым следует цитата “по памяти” на полстраницы.» Таким образом, фактически «действует общее правило: если источник не указан, значит автор известный». Действует и ещё одно любопытное правило: «В отличие от классиков и союзников... Климент всегда дает точную ссылку на произведения своих противников». Сам Е.В.Афонасин ссылается на работы исследовательницы A. van den Hoek: «Подробный анализ цитат, парафразов и различных аллюзий в Строматах, который проводит A. van den Hoek, очень хорошо показывает особенности техники цитирования, которую применяет Климент».

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

Книга в форме свитка представляет из себя устройство последовательного доступа к содержащейся в ней информации, подобное книге, записанной на магнитной ленте. Привычные нам книги на бумаге – устройства, так сказать, почти прямого доступа. «Почти» потому, что если требуется открыть книгу на странице номер n, то вряд ли это удастся сделать с первой попытки. Однако и пролистывать страницу за страницей никто для решения этой задачи не будет. Соответственно, проблема обратного цитирования исчезла. Другое дело, что выписывание цитат в порядке их появления в тексте также не рекомендуется, если это не конспект исходного текста. В прямом порядке нередко цитируют студенты в плохих рефератах и аспиранты в слабых диссертациях. Мало-мальски «покованный» аспирант для демонстрации высокой степени владения изучаемым текстом будет цитировать вразбивку. При этом не исключено, что для большего эффекта он будет иногда переставлять даже соседние фрагменты цитируемого текста.

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

Электронная форма представления информации породила ещё целый круг вопросов в связи с переходом от текстов к гипертекстам, которые могут содержать, наряду с печатанными текстами, озвученные тексты, музыкальное сопровождение, анимацию, видеоматериалы и т.д. Соответственно, возникает новая проблема цитирования гипертекстов. Поскольку логика осталась прежней наукой и никакой «гиперлогики» на горизонте не видно, оставим эту проблему следующему поколению исследователей, а здесь ограничимся лишь несколькими замечаниями по поводу методов цитирования содержащейся в гипертекстах текстовой информации.

Один из наиболее распространённых форматов гипертекстов – язык HTML (HyperTextMarkupLanguage). На этом языке создаются гипертекстовые документы, которые в последующем воспроизводятся Веб-обозревателями (браузерами), такими, как Internet Explorer, Netscape Navigator и др. HTML-документ логически представляет из себя множество разнородных элементов, связанных между собой отношениями порядка и вложенности, род которых определяется специальными зарезервированными метками – тегами. Каждый элемент имеет начальный и, как правило, конечный тег, между которыми располагается содержимое элемента. Начальный тег имеет формат (опуская подробности, связанные с так называемыми атрибутами) <имя тега>, завершающий тег – формат </имя тега>.

Цитирование в языке HTML представлено двумя разными (что для меня было неожиданностью) элементами: кратким цитированием Q и длинным (его ещё называют блочным) цитированием BLOCKQUOTE. Краткое цитирование Q применяется внутри строки, длинное цитирование BLOCKQUOTE используется для воспроизведения нескольких строк. Например, на языке HTML содержащее краткую цитату предложение

Пифагор изрёк: «числу все вещи подобны».

можно записать следующим образом.

Пифагор изрёк: <Q>числу все вещи подобны</Q>.

По идее, Веб-обозреватели при воспроизведении данного HTML-текста должны слова между тегами <Q> и </Q> автоматически заключить в кавычки, но на практике вы этого, вероятнее всего, не получите. Имеющийся в нашем распоряжении обозреватель Internet Explorer 6.0 и вовсе выдал неизменённый текст, к тому же без левого отступа (отступ не появится, даже если использовать элемент P, служащий для выделения абзаца текста). При использовании мелкого размера шрифтов на экране получилось

Пифагор изрёк: числу все вещи подобны.

Выходом было бы самим поставить кавычки, однако не исключено, что какой-нибудь браузер кавычки всё-таки поставит, и тогда получатся кавычки в кавычках. Поэтому специалисты рекомендуют кавычек всё-таки не ставить, полагаясь в этом отношении на браузер, а для гарантии выделять текст самим, например, при помощи элемента EM. Тогда строка

Пифагор изрёк: <EM><Q>числу все вещи подобны</Q></EM>.

тем же браузером Internet Explorer 6.0 будет распечатана в виде

Пифагор изрёк: числу все вещи подобны.

Использование элемента BLOCKQUOTE вместо Qтакже не решает проблемы, т.к. кавычки вновь не появляются. Зато появляется неуместная в данном случае отбивка, так что в результате исполнения HTML-текста

Пифагор изрёк: <EM><BLOCKQUOTE> числу все вещи подобны </BLOCKQUOTE></EM>.

получается неприглядная картина:

Пифагор изрёк:

числу все вещи подобны

Приведённые примеры показывают, что техника цитирования гипертекстов пока не отработана. Что же касается процедуры ссылок на источники информации, то это особая проблема. В принципе, цитировать можно и без ссылки на первоисточник, как это сделано в примере с изречением Пифагора. Именно с «изречением», поскольку никаких письменных текстов самого Пифагора, по-видимому, не существует. Вполне возможно, что он никаких сочинений и не создавал, ограничиваясь устной передачей своей концепции[27].

В логике к проблеме цитирования специально обращался С.А.Павлов[28]. В рамках развиваемой им формальной аксиоматической теории именования вводится функция цитирования q(x), удовлетворяющая следующим двум аксиомам:. В рамках развиваемой им формальной аксиоматической теории именования вводится функция цитирования

1. "x (q(x) s x),

2. "x Ind(q(x)).

Запись y s x читается как «знак y обозначает денотат x». Поэтому неформальный смысл первой аксиомы в том, что знак q(x) обозначает денотат x. Например, если x есть предложение Снег бел, то q(Снег бел) s Снег бел. Это соответствует традиционной трактовке: цитата «Снег бел» обозначает предложение Снег бел. Выражение Ind(z), по определению, является сокращением для $!y(z s y) – существует, и при том единственный y, для которого выполняется z s y. Следовательно, во второй аксиоме утверждается, что "x$!y(q(x) s y), т.е. утверждается, что для всех x в случае использования функции цитирования q(x) имеется единственный y, для которого выполнено q(x) s y (в силу первой аксиомы этим y будет как раз x). Возвращаясь к примеру, цитата «Снег бел» обозначает предложение Снег бел (первая аксиома), и не обозначает ничего другого (вторая аксиома).

Всё это совершенно естественно, однако справедливости ради отметим, что аксиомы цитирования характеризует не функцию цитирования q как таковую, а отношение обозначения s в связи с q. Что касается функции цитирования q самой по себе, то единственность её значения (при условии непротиворечивости рассматриваемой теории) гарантирована независимо от свойств дескриптивного отношения s. Действительно, если для какого-то x q(x) = y и q(x) = z (равенство в теории имеется) и при этом y ¹ z, то из этого выводится q(x) ¹ q(x), что противоречиво. Отсюда возникает вопрос: нельзя ли средствами логики охарактеризовать свойства операции цитирования как таковые, безотносительно к другим нелогическим (дескриптивным) понятиям? Ответ утвердительный, как показано в следующем параграфе.

§5^И. Логика цитирования

Введём следующие исходные постулаты о текстах.

1. Предполагается, что любой текст состоит из непустого конечного числа предложений, так что тексту Т сопоставляется непустое конечное множество S(T) предложений из Т. Текст назовём вырожденным, если |S(T)| = 1; в противном случае, текст является невырожденным.

2. Постулируется линейность текстов: для каждого текста Т в множестве S(T) имеется единственное первое и единственное последнее его предложение; и, в случае невырожденных текстов, для любого предложения р из S(T), за исключением последнего предложения, имеется единственное следующее за ним предложение р⁺ из S(T). Занумеруем предложения из S(T) в указанном порядке их появления в тексте Т. Получим множество L(T) = {p₁, p₂, ..., p_i, ..., p_m} (ясно, что m = |S(T)|, и что если p_i есть q, то p_i+1 есть q⁺ для всех i, 1 £ i < m).

Соблазнительная возможность отождествления текста Т и множества его предложений S(T), к сожалению, должна быть отклонена ввиду неоднозначности процедуры формирования множества S(T). Неоднозначность вызвана глобальной невозможностью дать точное определение понятию правильно построенного предложения для всех естественных и многих искусственных языков, за исключением так называемых формальных языков. В результате процесс формирования S(T) по исходному тексту T в общем случае нельзя сделать интерсубъективным. Процедуру перехода от Т к S(T) можно назвать первичным пониманием или первичной интерпретацией текста Т. Этот вид понимания, как мы видели, заведомо не интерсубъективен.

Переход от S(T) к L(T) также в общем случае не интерсубъективен. И препятствием к этому служат отнюдь не явные нарушения линейности, связанные с концевыми и страничными сносками. Здесь задача решается элементарным перемещением заключённой в скобки сноски на место указателя сноски в основном тексте. Но если исходный текст представлен разрозненными фрагментами, то разбиение фрагментов на предложения может и не привести к однозначному решению вопроса о том, в каком порядке брать сами эти фрагменты. Назовём переход от S(T) к L(T) линейным пониманием или линейной интерпретацией множества предложений S(T). Данный вид понимания не следует недооценивать на том основании, что в подавляющем большинстве реальных ситуаций порядок следования предложений друг за другом ясен сам собой. В общем случае, повторим, это не так. К примеру, установление порядка разрозненных фрагментов может потребовать тонких исследований и глубокого понимания и самого текста, и связанных с его появлением исторических обстоятельств.

Приняв не интерсубъективным образом некоторые множества S(T) и L(T), дальнейшие процедуры, связанные с цитированием, можно сделать интерсубъективными. Прежде всего, множества S(T) и L(T), коль скоро они сформированы, являются интерсубъективными объектами, в отличие от самого исходного текста Т, поскольку вопрос о принадлежности им той или иной знаковой конфигурации является разрешимым и может быть перепоручен компьютеру. Кроме того, структура L(T) дополнительно наделена алгоритмически определяемым линейным порядком. По сути, операция цитирования основана именно на L(T).

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

Синтаксис.

Язык цитирования.

Алфавит.

1. p₁, p₂, ..., p_m – непустая конечная последовательность пропозициональных констант (семантически, L(T) = {p₁, p₂, ..., p_m}).

2. «, », &, ⁺ – левые и правые кавычки, символ конъюнкции и символ операции ⁺.

Формулы.

1. Каждая константа из p₁, p₂, ..., p_m – атомарная формула.

2. Если p_i – атомарная формула и i < m, то p_i⁺ есть атомарная формула p_i₊₁.

3. Если p_i – атомарная формула и i < m, то p_i p_i⁺ – последовательная формула.

4. Если А p_i – последовательная формула и i < m, то А p_i p_i⁺ – последовательная формула, заканчивающаяся атомарной формулой p_i₊₁.

5. Если А – атомарная или последовательная формула, то «А» – кавычковая формула, называемая цитатой.

6. Если «А» и «B» – цитаты, то «А» & «B» – формула, называемая конъюнкциейцитат.

7. Если А и B конъюнкции цитат, то А & B – формула, тоже называемая конъюнкциейцитат.

8. Ничто другое формулой не является.

Если А есть «А₁» & «А₂» & ... & «А_n», а В есть «В₁» & «В₂» & ... & «В_k», то интуитивный смысл конъюнкции цитат А & B прост: процитированы А₁, и А₂, и ... и А_n, и В₁, и В₂, и ... и В_k.)

Исчисление цитат.

Посылки цитирования.

В качестве посылок в выводах разрешается использовать только атомарные формулы.

Правила цитирования.

Правило атомарного цитирования.

p

«p»

Здесь p – атомарная формула (семантически, p Î L(T)).

Правило последовательного цитирования.

«А p»

«А p p⁺»

Здесь допускается ситуация, когда выражение А пусто. В противном случае предполагается, что А p является последовательной формулой и p⁺ существует (семантически, существует предложение p⁺ Î L(T)).

Правило конъюнктивного цитирования.

А, В

А & В

Здесь А и В – конъюнкции цитат.

На применение правила конъюнктивного цитирования можно наложить следующее ограничение на повторяемость: в посылках этого правила А и В не должны встречаться одинаковые цитаты. Точнее, если А есть «А₁» & «А₂» & ... & «А_i» & ... & «А_n», а В есть «В₁» & «В₂» & ... & «В_j» & ... & «В_k», то А_i ¹ В_j, при всех i, j (1 £ i £ n) и (1 £ j £ k), а также А_i ¹ А_j и В_i ¹ В_j при i ¹ j. Логика с ограничением на повторяемость и логика без такового существенно различны, что будет показано в дальнейшем.

Построенное исчисление цитат может быть дополнено следующим необязательным правилом.

Правило пустого цитирования.

«»

Пустая цитата «» вводится для общности рассмотрения и в содержательном плане не обязательна. В дальнейшем, если не оговорено противное, правило пустого цитирования не используется.

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

Вывод называется доказательством, если его завершает формула, полученная по одному из правил вывода. Последняя формула доказательства называется теоремой. Если А – теорема, то пишем ÷¾ А.

Факт 1. Множество формул бесконечно.

Поскольку в силу непустоты множества пропозициональных констант имеется хотя бы одна атомарная формула p₁, цитата «p₁» тоже формула. Отсюда получаем бесконечный список формул, являющихся конъюнкцией цитат: «p₁» & «p₁», «p₁» & «p₁» & «p₁», и т.д.

Впрочем, ничто не мешает в принятии конечного понятия формулы. Достаточно в пункте 7 определения формулы ввести ограничение на повторяемость.

Факт 2. В каждом выводе имеется хотя бы одна посылка.

Это позволяет любой вывод представить в форме p₁, p₂, ..., p_n ÷¾ А, где каждая посылка p_i (1 £ i £ n) есть некоторое p_j из последовательности p₁, p₂, ..., p_m и А – заключение вывода.

Факт 3. Если ÷¾ А, то А является либо цитатой, либо конъюнкцией цитат.

Доказательство очевидно. Столь же очевидны следующие факты 4 и 5.

Факт 4. Если А – последовательная формула, то А может быть представлена либо в форме p_i p_i⁺ p_i⁺⁺ ... p_i^+...+ (^n раз) (где 1 £ i < m и 1 £ n £ (m – i)), либо в виде (являющемся вариантом предыдущего) p_i p_i₊₁ p_i₊₂ ... p_i₊_n.

Факт 5. Если «А» – цитата, то либо «А» имеет вид «p_i» (1 £ i £ m), либо может быть представлена в форме «p_i p_i⁺ p_i⁺⁺ ... p_i^+...+ (^n раз)» (где 1 £ i < m и 1 £ n £ (m – i)), либо в виде (являющемся вариантом предыдущего) «p_i p_i₊₁ p_i₊₂ ... p_i₊_n».

Семантика.

Определим на формулах языка цитирования функцию интерпретации I.

1. Атомарная формула p_i интерпретируется посредством самой себя: I(p_i) = p_i Î L(T), что позволяет вместо I(p_i) писать просто p_i.

2. Последовательная формула p_i p_i₊₁ p_i₊₂ ... p_i₊_n интерпретируется последовательностью {p_i, p_i+1, p_i+2, ..., p_i+n} Ì L(T): I(p_i p_i+1 p_i+2 ... p_i+n) = {I(p_i), I(p_i+1), I(p_i+2), ..., I(p_i+n)} = {p_i, p_i+1, p_i+2, ..., p_i+n}.

3. Если «А» есть «p_i», то эта цитата интерпретируется синглетоном {p_i} Ì L(T): I(«p_i») = {p_i}.

4. Если «А» есть «p_i p_i₊₁ p_i₊₂ ... p_i₊_n», то эта цитата интерпретируется также, как и последовательная формула А: I(«А») = I(А).

5. Каждая n-членная конъюнкция цитат «А» & «B» & «C» & ... & «D» интерпретируется последовательностью подмножеств А₁, B₂, C₃, ..., D_n из L(T) таких, что любое X_j Ì L(T) (1 £ j £ n) есть результат интерпретации цитаты «X_j» (с использованием пунктов либо 3, либо 4).

Факт 6. Логика без ограничений на повторяемость бесконечна.

Тривиальным образом такая логика оказывается бесконечной уже при наличии в языке лишь одной атомарной формулы p₁: из p₁ по правилу атомарного цитирования получаем теорему ÷¾ «p₁», затем по правилу конъюнктивного цитирования без ограничений на повторяемость последовательно получаем в качестве теорем конъюнкции ÷¾ «p₁» & «p₁», ÷¾ «p₁» & «p₁» & «p₁», и т.д.

Факт 7. Число непустых цитат ц из текста Т равно

m ´ (m + 1)

,

2

где m = |S(T)|.

Правило атомарного цитирования даст m цитат. Применение к этим цитатам правила последовательного цитирования даст ещё (m – 1) цитату. Следующее применение правила последовательного цитирования к полученным (m – 1) цитатам позволит добавить ещё (m – 2) новых цитаты, и т.д., вплоть до последней самой длинной цитаты, которая получится на шаге m описанной процедуры. В результате получится сумма ц = m + (m – 1) + (m – 2) + ... + 1, которая, как известно из комбинаторики, вычисляется по приведённой в утверждении 7 формуле.

Например, пусть S(T) = {p, q, r, s} (т.е. m = 4), а L(T) = {p₁, p₂, p₃, p₄}, где p₁ = р, p₂ = q, p₃ = r и p₁ = s. По правилу атомарного цитирования получим 4 цитаты: «p», «q», «r» и «s». Затем, учитывая, что q = p⁺, r = q⁺ и s = r⁺, последовательно получим сначала 3 цитаты: «pq», «qr», «rs», затем ещё две: «pqr» и «qrs», и наконец, последнюю цитату «pqrs». Таким образом, при m = 4, как и утверждалось, ц = 10.

Как обычно, для натурального n ³ 0 обозначим через n! (читается «n факториал») число n! = n ´ (n – 1) ´ (n – 2) ´ ... ´ 2 ´ 1, положив 0! =_Df 1. Получим бесконечный ряд чисел 0! = 1, 1! = 1, 2! = 2 ´ 1 = 2, 3! = (3 ´ 2 ´ 1) = 6, 4! = (4 ´ 3 ´ 2 ´ 1) = 24, ..., который растёт быстрее (начиная с n = 4), чем тоже быстрорастущий ряд 2ⁿ чисел, соответствующих числу множества всех подмножеств n-элементных множеств. Действительно, 2⁴ = 16 < 24 = 4!. Допустим, 2^n–1 < (n – 1)!. Тогда имеем 2ⁿ = 2 ´ 2^n–1 < n ´ (n – 1)! = n! Таким образом, индукция по n ³ 4 даёт 2ⁿ < n!.

Факт 8. Число всевозможных конъюнкций цитат из Т, полученных по правилу конъюнктивного цитирования с ограничением на повторяемость, определяется формулой [ц ´ (ц – 1)] + [ц ´ (ц – 1) ´ (ц – 2)] + [ц ´ (ц – 1) ´ (ц – 2) ´ (ц – 3)] + ... + ц! .

Действительно, число бинарных конъюнкций вида А & B без повторяющихся членов определяется числом [ц ´ (ц – 1)]. Тернарные конъюнкции вида А & B & С добавят к этому числу число [ц ´ (ц – 1) ´ (ц – 2)] и т.д. В конце концов, конъюнкции длины (ц – 1) дадут число [ц ´ (ц – 1) ´ (ц – 2) ´ (ц – 3) ´ ... ´ 3 ´ 2] = ц! и конъюнкции максимальной длины с ц членами без повторений также дадут число [ц ´ (ц – 1) ´ (ц – 2) ´ (ц – 3) ´ ... ´ 3 ´ 2 ´ 1] = ц!. Поскольку число исходных для построения конъюнкций цитат равно ц, конъюнкции длины ц + 1 и более уже будут содержать неизбежные повторения конъюнктивных членов.

Как известно из комбинаторики, число k-членных конъюнкций определяется по формуле

ц!

.

(ц – k)!

Применение правила пустого цитирования потребует вместо ц подставить число (ц + 1). В остальном указанные формулы останутся без изменений.

Рассмотрим в качестве примера текст из тех же 4 предложений. Имеем m = 4, откуда ц = 10. Для вычисления количества всевозможных конъюнкций цитат применим формулу: [10 ´ 9] + [10 ´ 9 ´ 8] + [10 ´ 9 ´ 8 ´ 7] + [10 ´ 9 ´ 8 ´ 7 ´ 6] + [10 ´ 9 ´ 8 ´ 7 ´ 6 ´ 5] + [10 ´ 9 ´ 8 ´ 7 ´ 6 ´ 5 ´ 4] + [10 ´ 9 ´ 8 ´ 7 ´ 6 ´ 5 ´ 4 ´ 3] + [10 ´ 9 ´ 8 ´ 7 ´ 6 ´ 5 ´ 4 ´ 3 ´ 2] + 10! = 90 + 720 + 5040 + 30240 + 151200 + 604800 + 1814400 + 3628800 + 3628800 = 9864090.

Следствие 1. Число всевозможных цитат и конъюнкций цитат (полученных по правилу конъюнктивного цитирования с ограничением на повторяемость) из текста Т определяется формулой ц + [ц ´ (ц – 1)] + [ц ´ (ц – 1) ´ (ц – 2)] + [ц ´ (ц – 1) ´ (ц – 2) ´ (ц – 3)] + ... + ц! .

Вытекает из Факта 7 и Факта 8. Вновь каждое слагаемое k (1 £ k £ ц) можно вычислить по формуле

ц!

.

(ц – k)!

Например, при ц = 10, итоговое число будет равно 9864100.

Следствие 2. Логика цитирования с ограниченным правилом конъюнктивного цитирования является конечной.

Очевидное следствие Факта 7 и Факта 8. Таким образом, в зависимости от принятия или отбрасывания ограничений на повторяемость в правиле конъюнктивного цитирования, логика цитирования будет либо конечной, либо бесконечной (Факт 6).

Выше приведённые рассуждения показывают, что семантика цитирования проста до тривиальности и потому бесполезно искать в этой операции глубокий смысл. Смысл может вкладываться субъектом цитирования в цитату, но это будет внешний субъективный смысл, с которым можно соглашаться или не соглашаться. Интерсубъективной будет лишь сама цитата. При тривиальной семантике процедура цитирования зато оказывается синтаксически достаточно богатой. Даже в случае очень коротких текстов при конечной логике счёт вариантов цитирования идёт на миллионы. А увеличив всего лишь вдвое текст из рассматриваемого примера (положив m = 8), получим ц = 36, что выведет вычисления за границы 32-разрядных целых чисел, используемых в калькуляторах системы Windows. Но представляющие реальный интерес тексты книг, как правило, содержат сотни и тысячи предложений. В результате реализация всех способов цитирования таких текстов в принципе выходит за пределы физических возможностей вычислительной техники, не говоря уже о том, чтобы осуществить эту реализацию вручную. Так что, не опасаясь повторений, можно интерсубъективно цитировать, цитировать, цитировать...

* Работа выполнена при поддержке РГНФ, проект № 06-03-00306а .

[1] Этот вопрос рассматривается в связи с философией Х.Патнэма в работе: Маркова Л.А. Контекст и слово.

[2] Подробнее см.: Анисов А.М. Современная логика. М., 2002.

[3] Маркс К. Капитал. Т. 1. // К.Маркс, Ф.Энгельс. Соч. Т. 23. С. 176.

[4] Поппер К. Что такое диалектика? «Вопросы философии». 1995. №1. С. 118–138.

[5] Ильенков Э.В. О материальности сознания и о трансцендентальных кошках // Диалектическое противоречие. М., 1979. С. 253.

[6] Ильенков Э.В. Проблема противоречия в логике // Диалектическое противоречие. С. 129.

[7] Там же. С. 137.

[8] Вяккерев Ф.Ф. Предметное противоречие и его теоретический «образ» // Диалектическое противоречие. С. 74.

[9] Ильенков Э.В. О материальности сознания... С. 260.

[10] Горбач В.И. Проблемы диалектических противоречий. М., 1972. С. 57.

[11] Дело не только в понимании диалектической «конъюнкции», о чём шла речь. Есть ещё особое диалектическое «отрицание». См., напр.: Горский Д.П. Применение диалектической логики к изучению процессов мышления // Диалектика и логика. Формы мышления. М., 1962. С. 18-20.

[12] Михайлов К.А. Логический анализ теоретической философии Иммануила Канта: опыт нового прочтения «Критики чистого разума». М., 2002. С. 183.

[13] Поппер не без оснований использует более жесткий термин reinforced dogmatism, который в цитировавшейся статье переведён как «железобетонный догматизм», а в более раннем переводе как «форсированный догматизм» (см.: Поппер К. Что такое диалектика? // Диалектика и ее критики. М., 1986.).

[14] Ленин В.И. Философские тетради. П.С.С. Т. 29. С.301.

[15] Бытие. Гл.3, 14-15.

[16] Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М., 1967.

[17] В книге действительно используются эти термины.

[18] Там же. С.65.

[19] Там же. С.9.

[20] Там же. С.74.

[21] Там же. С.11.

[22] Фейерабенд П. Избр. тр. по методологии науки. М., 1986.

[23] Лем С. Абсолютная пустота. Мнимая величина. Собр. Соч. Т.10. М., 1995.

[24] Лакатос И. Цит. соч. С. 11.

[25] Фейерабенд П. Цит. Соч. С. 216.

[26] Афонасин Е.В. Век энциклопедистов: процесс накопления и сохранения знаний и методы цитирования в поздней античности. Новосибирск, 2003. 196 с.; Афонасин Е.В. К вопросу о методах цитирования в поздней античности: литературный стиль "Стромат" Климента Александрийского. // Гуманитарные науки в Сибири. 2001. N 1 . с. 38-43. В нашем распоряжении была Интернет-версия только последней работы, причём без указания страниц. Приводимые далее цитаты берутся из неё. Я признателен А.П.Огурцову, обратившему моё внимание на работы Е.В.Афонасина.

[27] См. подборку древних текстов о Пифагоре в кн.: Фрагменты ранних греческих философов. Ч. I. М., 1989. С. 138-149.

[28 Павлов С.А. Функция цитирования в аксиоматической теории именования // Современная логика: проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции. Санкт-Петербург, 2004. С.524-526.