CC BY
45
ЛОГИКА ИНТЕРСУБЪЕКТИВНОГО ЦИТИРОВАНИЯ*
1. Понятие интерсубъективности
Данная работа посвящена анализу одной из форм интерсубъективности — цитированию. На первый взгляд, сочленение терминов «интерсубъективность» и «цитирование» выглядит странно: первый термин вроде бы указывает на что-то важное и не очень понятное, тогда как значение второго всем известно и просто до тривиальности. Слово «интерсубъективность» со всеми его производными действительно не имеет общепринятого смысла, но смысл слова «цитирование» лишь кажется простым и полностью ясным.
Начнем с предварительного определения понятия интерсубъективности. Буквально «интерсубъективный» означает «межсубъективный» или, лучше сказать, «межсубъектный». Что обычно выдвигается на первый план при встрече двух или более субъектов? Проблема понимания одного субъекта другим. Возникнет между ними взаимопонимание или нет? Громадная важность проблемы взаимопонимания не вызывает сомнений. Человечество веками отрабатывало разные способы ее решения как на практике, так и на концептуальном уровне, включая философские учения. Интерсубъективность в широком смысле может рассматриваться как механизм достижения адекватного взаимопонимания между субъектами. При этом в аналитических целях следует тщательно избегать присущего естественному языку метафорического отождествления разных по сути понятий. Понимание — не то же самое, что согласие, сочувствие, жалость и т.п. Понимание выступает как предпосылка перечисленных явлений, но может и не заканчиваться ими. Поэтому обороты типа «я тебя понял, но я с тобой не согласен» или «я тебя понимаю, но не сочувствую, так как ты сам виноват» — совершенно законные. С другой стороны, согласие или сочувствие возможно и без взаимопонимания.
Проблема интерсубъективности в философском плане наиболее разработана (насколько удачно — другой вопрос) в феноменологии. Согласно основателю феноменологии Э.Гуссерлю, феномен интерсубъективности возникает в до-логической сфере Ego в ходе конституирования Alter Ego. Поскольку сознание Другого принципиально закрыто, возникает опасность впадения в крайность солипсизма. Предлагаемое Гуссерлем решение основано на придании смысла чужому сознанию по аналогии с сознанием собственным. При этом Гуссерль отвергает принятую в герменевтике В.Диль-тея идею объяснения понимания через «вживание», «вчувствование» и тому подобные механизмы проникновения в другое сознание. В дальнейшем проблема интерсубъективности разрабатывалась не только в феноменологии, но и в других, близких к феноменологии течениях философской мысли (в экзистенциализме, герменевтике, философской антропологии и т.д.).
Несмотря на критическое в ряде случаев отношение к теории Гуссерля, предлагаемые в рамках этих течений решения проблемы интерсубъективности объединяет общая с феноменологией черта — об интерсубъективно-
* Работа выполнена при поддержке РГНФ, проект № 06-03-00306а.
сти рассуждают на до-логическом уровне. В результате, если согласиться с тем, что интерсубъективность (чем бы она ни была) в любом случае предполагает возможность достижения адекватного понимания одним субъектом другого субъекта, получается, что сами феноменологические и родственные им теории интерсубъективности интерсубъективными не являются. Проще сказать, они непонятны. Или, что то же самое, понимать их можно и так, и этак. Например, некоторые критики гуссерлевской концепции интерсубъективности считают ее противоречивой, тогда как другие так не считают. Между тем проблема интерсубъективности как возможности достижения адекватного понимания одним субъектом другого субъекта отнюдь не является внутренним вопросом феноменологии. Это актуальная проблема всей человеческой цивилизации и культуры, особенно на современном этапе их развития, когда взаимодействуют или сталкиваются самые разные эпистемические и ценностные парадигмы. Настройка диалога культур и цивилизаций, налаживание коммуникации между людьми, формирование современных методик усвоения знаний, оптимизация процессов обмена научной информацией, вопросы адекватного понимания человеком компьютерных вычислений — вот далеко не полный перечень областей, где проблема интерсубъективности приобретает важное значение.
Неудача, постигшая феноменологию в отношении интерсубъективности, своим источником имеет те же самые причины, по которым Э.Гуссер-лю не удалось реализовать замысел построения феноменологии как строгой науки. Поэтому приходится искать альтернативные подходы к проблеме интерсубъективности. Одним из таких подходов является анализ интерсубъективности с помощью понятийного аппарата и инструментальных средств современной логики.
Это потребует сужения объема понятия интерсубъективности с целью придания ему более точного исходного смысла. Среди множества аспектов феномена понимания надо выделить тот, который и будет назван интерсубъективным. Нас в наибольшей степени интересует аспект, связанный с обеспечением возможности недеформируемой трансляции того, что понял один субъект, в то, что понятно другому субъекту. Случайно возникшее взаимопонимание, развитая интуиция постижения другого, субъективная уверенность в понимании и т.п. сюда не относятся. Более того, поскольку речь идет об обеспечении возможности понимания, неважно, состоялся реально акт взаимопонимания или нет. Интерсубъективность в нашем смысле может быть достигнута, хотя в действительности сообщение одного субъекта другим понято не было. Важно лишь то, была ли у адресата сообщения объективная возможность его понять. Воспользовался ли он этой возможностью — вопрос, к делу не относящийся.
Кроме того, мы намеренно абстрагируемся от конкретного содержания подлежащих пониманию актов, обращаясь исключительно к их логической форме. Исследование логических форм потребует введения соответствующих логических операций. Так как логика относится к классу семиотических дисциплин и занимается изучением символических знаковых систем, естественно потребовать, чтобы эти операции применялись к текстам, что влечет дальнейшее сужение объема понятия интерсубъективности. Поэтому интерсубъективными в узком смысле будем называть логические операции, обеспечивающие объективную возможность однозначного понимания текстов. С текстами можно проводить разного рода операции: копирования, сравнения, цитирования, сокращения, пересказа своими сло-
вами и т.д. После этих разъяснений словосочетание «интерсубъективное цитирование» уже не должно выглядеть подозрительным. Проблема в другом. Могут ли перечисленные операции быть интерсубъективными, и если могут, то как это достигается? Перейдем к рассмотрению данного вопроса.
С логической точки зрения текст есть непустое конечное множество знаков-символов. Символы являются самым важным для логики видом знаков, который характеризуется тем, что между знаком как физическим объектом и его денотатом нет вообще никакой объективной связи (как между словом «еж» и самим этим животным). Отношение обозначения в этом случае есть результат конвенции, соглашения между носителями языка, которому принадлежит данный знак. Сколько бы мы ни изучали символ как физический объект, никаких следов конвенции мы в нем не найдем (например, знаком чего является слово «hedgehog»? — без знания конвенции наверняка не скажешь). Таким образом, символом мы называем знак, у которого связь с денотатом установлена по конвенции. Стандартными примерами знаков-символов будут имена, понятия (предикаты) и высказывания (утверждения). По определению, имена являются знаками индивидов (объектов рассмотрения), понятия или предикаты — знаками совокупностей индивидов (нередко весьма сложно устроенных совокупностей), а высказывания или утверждения (следуя Г.Фреге) — знаками специфических абстрактных объектов истина и ложь1.
В реальности даже носители одного и того же языка обладают как групповыми, так и индивидуальными особенностями понимания символов. Результатом этого является объективная невозможность однозначным образом представить каждый текст в виде множества знаков, не говоря уже о признании законности тех или иных операций с этими знаками. В этом смысле тексты сплошь и рядом понимаются именно не интерсубъективным образом. Операция сокращения исходного текста, допустимая для одного субъекта (по причине сохранения сути содержания исходного текста), может оказаться неприемлемой для другого (ввиду утраты сути в его понимании). Тем более это так применительно к операции пересказа текста своими словами. Здесь субъективные моменты явно возобладают. Далее, если субъект s утверждает, что предложение p принадлежит тексту Т, то вовсе не обязательно другой субъект s* согласится с этим. Уже только данное обстоятельство делает процедуру цитирования весьма проблематичной в смысле наличия у нее свойства интерсубъективности.
Проблем с интерсубъективностью среди названных процедур нет только в случае с операциями копирования текста и сравнения текстов. В наше время технически сделать это несложно, причем интерсубъективность операции копирования не вызывает сомнений. Трудно себе представить, что найдутся два рациональных субъекта s и s*, которые разойдутся между собой в ответе на вопрос, был ли скопирован текст T1, или это был какой-то другой текст T2. То же самое можно сказать в отношении операции сравнения текстов. Если текст T представлен в электронной форме, его интерсубъективное копирование является рутинной компьютерной операцией. Некоторые компьютерные программы работы с файлами умеют их сравнивать. Например, программа Windows Commander 5 имеет встроенную операцию сравнения документов: если электронные тексты T1 и Т2 совпадают, на мониторе появится сообщение об идентичности этих текстов; в противном
Подробнее см.: Анисов А.М. Современная логика. М., 2002.
случае, либо будет сформирована таблица различий (при условии, что их число не выходит за определенные границы), либо выдано сообщение, что количество различий слишком велико.
Интерсубъективность процедур копирования и сравнения электронных текстов обеспечивается представлением текстов в виде линейно упорядоченного набора букв или значков (включая так называемые знаки препинания и другие технические значки) из имеющихся компьютерных алфавитов. Часто эти значки называют символами или знаками (как знаки препинания), но они не являются таковыми в нашем смысле, ибо не выступают в функции обозначающих объектов. Лишь их комбинации могут получать значение, которое либо доступно компьютеру, либо находится за пределами имеющихся компьютерных интерпретаций. Правильно построенную и снабженную данными программу компьютер сможет «понять», но обычные тексты на естественном языке, как правило, останутся за гранью машинного «понимания», несмотря на все усилия, прилагаемые по этому поводу специалистами по искусственному интеллекту. Одна из ключевых проблем в данном пункте — принципиальные трудности с разбиением исходного естественно-языкового текста на содержащиеся в нем знаки.
2. Проблема разбиения текста на знаки
Продемонстрируем невозможность однозначного представления текстов в виде множества знаков. В целях большей определенности ограничимся текстами, созданными для передачи информации. На первом уровне рассмотрения такие тексты логично представлять как совокупности высказываний (последующие все более сложные уровни должны будут включать не только высказывания и операции над ними, но и объектнопредикатную структуру высказываний с учетом квантификации, построение денотационной и, если возможно, смысловой семантики текста и т.д., что находится за рамками данной работы). В качестве иллюстрации отсутствия интерсубъективности при разбиении исходного текста на утверждения для последующего цитирования рассмотрим пример, представляющий к тому же самостоятельный логический интерес.
Пример касается поиска в тексте явных противоречий. Явное противоречие предполагает, что в тексте Т одновременно утверждается некоторое высказывание А и его отрицание не-А. Займемся таким поиском в следующем знаменитом текстовом фрагменте.
«Как видим, прибавочная стоимость не может возникнуть из обращения; следовательно, для того чтобы она возникла, за спиной обращения должно произойти нечто такое, чего не видно в самом процессе обращения. Но может ли прибавочная стоимость возникнуть откуда-либо еще, кроме процесса обращения? ...Товаропроизводитель не может увеличить стоимость и тем самым превратить деньги или товар в капитал вне сферы обращения, не вступая в соприкосновение с другими товаровладельцами.
Итак, капитал не может возникнуть из обращения и так же не может возникнуть вне обращения. Он должен возникнуть в обращении и в то же время не в обращении»2.
Согласно позиции К.Поппера, гегелевская и марксистская теории диалектики несомненно противоречивы, со всеми вытекающими отсюда неприятными последствиями, ибо в противоречивой теории доказуемы лю-
2 Маркс К. Капитал. Т. 1 // Маркс К., Энгельс Ф. Соч. Т 23. С. 176.
бые утверждения. Уже только поэтому диалектику в таком виде следует отбросить. Однако в статье, где специально рассматривается этот вопрос, нет ни одной цитаты, где бы противоречивость подтверждалась текстуально3.
Как ни неожиданно, ярый сторонник диалектической логики Э.В.Иль-енков оказывается солидарным с К.Поппером в вопросе о противоречивости диалектики. Например, противоречивым, по его мнению, является сформулированное К.Марксом в «Капитале» утверждение «“капитал не может возникнуть из обращения и в то же время вне обращения”»4 (кавычки “” использованы потому, что здесь имеет место ситуация «цитата в цитате»; отмечу кстати, что точно такой формулировки, как в “...”, я в «Капитале» не нашел — ср. с приведенным фрагментом). Выражение противоречия и в данном случае, и вообще в диалектике такое же, как и в логике, «абсолютно ничем не отличающееся по своей вербальной форме от так называемого формального противоречия, от конъюнкции А и не-А»5. Только вот пользоваться какими бы то ни было правилами логического вывода запрещается: «Нелепо подчинять мышление, занятое исследованием изменяющихся объектов, диктату специальных правил обращения с таким неизменным предметом, каким является (точнее, должен являться) знак-символ в составе искусственной знаковой конструкции»6. Получается, что формально противоречивые конъюнкции вида А и не-А в диалектике имеются, но абсурдные последствия этого блокируются запретом на применение формальной логики (как традиционной, так и современной).
В отличие от Поппера и Ильенкова, Ф.Ф.Вяккерев не считает диалектику формально противоречивой, отрицая наличие в ней противоречий вида А и не-А. Например, утверждение «капитал возникает и не возникает в обращении» нельзя представлять в форме А и не-А. Данное высказывание надо обозначить как единое суждение А. И «если истинно суждение “капитал возникает и не возникает в обращении” (А), то ложно его логическое отрицание “неверно, что капитал возникает и не возникает в обращении” (не-А)»7. Действительно, это А нигде не утверждается, так что ситуация А и не-А при таком понимании текста не возникает, и диалектика с формально-логической точки зрения оказывается непротиворечивой.
Рассмотрим кратко обозначенные позиции в обратном порядке. Обращаясь к исследуемому текстовому фрагменту, мы видим, что утверждение «капитал возникает и не возникает в обращении» вроде бы раскладывается на «прибавочная стоимость не может возникнуть из обращения» (не-А) и «товаропроизводитель не может увеличить стоимость ... вне сферы обращения» (А). И тогда точка зрения Ф.Ф.Вяккерева неверна. Впрочем, могут возразить, что второе высказывание (А) имеет скорее вид не-не-А, и что снятие двойного отрицания («не может возникнуть вне обращения» превращается в «может возникнуть из обращения») проблематично даже в некоторых разделах математики. Более того, чисто синтаксически высказывания, обозначенные здесь как (не-А) и (А), друг другу не противоречат. В первом идет речь о прибавочной стоимости, во втором — об увеличении
3 Поппер К. Что такое диалектика? // Вопр. философии. 1995. №1. С. 118—138.
4 Ильенков Э.В. О материальности сознания и о трансцендентальных кошках // Диалектическое противоречие. М., 1979. С. 253.
5 Ильенков Э.В. Проблема противоречия в логике // Диалектическое противоречие. С. 129.
6 Там же. С. 137.
7 Вяккерев Ф.Ф. Предметное противоречие и его теоретический «образ» // Диалектическое противоречие. С. 74.
стоимости. Есть некоторое А и некоторое В, и все. Можно ли преобразовать В в не-А — вопрос, явно не относящийся к цитированию. С учетом подобных возражений позиция Ф.Ф.Вяккерева оказывается неопровержимой.
Столь же неопровержима позиция Э.В.Ильенкова. Встретив в тексте конъюнкцию А и не-А, мы можем процитировать «А и не-А», но мы не имеем права заявлять, что автор текста утверждает, например, А, и цитировать «А». Ведь это означало бы, что к А и не-А применено правило удаления конъюнкции, что запрещено. Но если все правила формального вывода запрещены, говорить с формально-логической точки зрения больше не о чем. Между тем далее будет показано, что некоторые формальные правила вывода в операции цитирования все же присутствуют (правило удаления конъюнкции, как теперь ясно, сюда не относится). Кроме того, позиция
Э.В.Ильенкова сама оказывается противоречивой, и не только в том смысле, что соглашающийся с противоречиями уже сам себе противоречит. Она противоречива и в ином смысле. Утверждая в одном месте, что выражение противоречия в диалектике такое же, как и в логике, «абсолютно ничем не отличающееся по своей вербальной форме от так называемого формального противоречия, от конъюнкции А и не-А», в другом месте автор заявляет: «в составе конъюнкции А и не-А словечко “и” означает попросту еще не понятый вами переход одного в другое», т.е. «переход “А” — в “не-А”, или “не-А” — в “А”»8. Выясняется, таким образом, что конъюнкция в диалектике не только не является абсолютно такой же, как и в формальной логике — она просто другая, ибо никогда переходы «неживой материи — в живую, немыслящей материи — в материю мыслящую» (примеры Э.В.Ильенкова) и им подобные не назывались в логике «конъюнкцией». С тем же успехом их можно было бы назвать «дизъюнкцией», «импликацией», «эквиваленцией» (последнее даже лучше, поскольку эквиваленция А ^ не-А утверждает, что А влечет не-А и наоборот — чем не переход?) Чуть выше на этой же странице рекомендуется пользоваться «максимально “уточненными” терминами».
Может показаться, что предыдущий параграф начинается нашим утверждением о неопровержимости рассматриваемой позиции, а заканчивается ее опровержением. Ничуть не бывало! Мы просто показываем, что о противоречиях в ней говорится противоречивым же образом. Но раз противоречия не только допустимы, но и приветствуются, никто не имеет права наложить запрет на соблазнительную возможность и о самих противоречиях рассуждать противоречиво. Какие после этого могут быть опровержения? Тем более что принципиальные оценки работам, подобным нашей, уже даны. Вот что пишет по этому поводу В.И.Горбач.
«Особое внимание уделяется казуистическому разбору примеров противоречий в трудах классиков марксизма-ленинизма. Рассматривая их с пристрастием, с позиций схоластически истолкованной и метафизически абсолютизируемой формальной логики, фальсификаторы материалистической диалектики не видят (или не желают видеть) противоречивости механического движения, жизни и, в особенности, — общественных явлений. Нередко предпринимаются попытки искусственно “оглупить” такие примеры, чтобы легче было их затем “опровергать”»9.
Где уж мне опровергать, когда после чтения многочисленных работ диалектиков, включая Гегеля и классиков марксизма-ленинизма, я так и не смог понять, что же такое диалектическое противоречие и чем оно отлича-
Ильенков Э.В. О материальности сознания... С. 260.
Горбач В.И. Проблемы диалектических противоречий. М., 1972. С. 57.
ется (или не отличается?) от формально-логического. Я даже не знаю, как диалектиков цитировать, чтобы, не дай бог, не «оглупить». Сами-то они, как было показано, дают разные трактовки тому, из каких высказываний сотканы одни и те же диалектические тексты.
Зато позиция К.Поппера (которую я долгое время разделял, так что сказанное против этой позиции прямо относится и к моим прежним взглядам) не только опровержима, но просто уязвима для критики. И это несмотря на то, что в ряде отношений она совершенно верна. Но Поппер напрасно слишком серьезно относится к диалектике как системе философской мысли. Он допускает принципиальную ошибку, считая диалектику в ее гегелевском и марксистском варианте теорией. Правда, плохой теорией. Тем не менее само по себе наделение диалектики статусом теории придает ей респектабельность, которой в действительности нет и в помине. Напомним, что в логике теорией называют множество утверждений, либо замкнутое относительно выводимости (синтаксическое определение), либо замкнутое относительно логического следования (семантическое определение). Во-первых, Поппер просто не видит проблемы цитирования диалектического текста, автоматически превращая диалектическое противоречие в логическую конъюнкцию (А & —А). Но это сомнительная операция. Ведь диалектический текст однозначному разбиению на содержащиеся в нем утверждения, как мы видели, не поддается. Результат здесь варьируется от субъекта к субъекту и поэтому оказывается субъективным, а не интерсубъективным. Тем самым не выполнен первый пункт определения теории: она должна быть определенным множеством утверждений. Во-вторых, даже если диалектический текст представлен в виде такого множества и при этом содержит противоречия формы А и не-А, отсюда ничего не выводится и не следует, что мы также видели10 . Тем самым не выполнен второй пункт определения: теории принадлежат все высказывания, которые из нее выводятся или следуют.
Итак, диалектические тексты однозначному разбиению на знаки не поддаются. Но это обстоятельство отнюдь не является исключительной особенностью только диалектики. Просто здесь оно более отчетливо видно. Еще бы, ведь философы-профессионалы пытаются понять смысл диалектических противоречий в сопоставлении с формально-логическими, и несмотря на все усилия, никак не могут этого сделать. Им даже не удается прийти к общему решению хотя бы по вопросу о том, какую вербальную форму имеют так называемые диалектические противоречия. В результате не ясно, из каких высказываний состоят содержащие такие противоречия тексты.
В более общем плане причина неудач коренится в особенностях используемого в диалектике языка. Это естественный язык, а для естественных (т.е. возникших стихийно-исторически) языков, продолжающих к тому же свое развитие, не существует точно определенного понятия правильно построенного выражения языка. Отсюда принципиальная возможность разного понимания того, какие конкретно утверждения содержат естественно-языковые тексты. В таких условиях процедура разбиения текстов на знаки не только не является, но и не может стать интерсубъективной, какие бы усилия к этому ни прилагались. Верно ли, что сделанный вывод ставит крест на самой идее
10 Дело не только в понимании диалектической «конъюнкции», о чем шла речь. Есть еще особое диалектическое «отрицание». См., напр.: Горский Д.П. Применение диалектической логики к изучению процессов мышления // Диалектика и логика. Формы мышления. М., 1962. С. 18—20.
интерсубъективного цитирования? И да, и нет. «Да» в том смысле, что однозначно естественно-языковые тексты на знаки не подразделяются. «Нет», потому что после того, как хотя бы один способ разбиения текста на знаки выявлен, можно приступать к цитированию. В действительности каждый, кто прибегает к цитированию утверждений, сознательно или интуитивно проделывает такую работу: сначала определяет, какие высказывания содержит заинтересовавший его текст или фрагмент текста, и только затем выбирает, какие и в каком порядке высказывания цитировать. Первый этап работы существенным образом остается за границами интерсубъективности, зато второй может быть сделан интерсубъективным, как будет доказано.
3. Цитирование как способ достижения интерсубъективности
Речь шла о цитировании содержащихся в тексте утверждений. Но всякая ли структура, содержащая исключительно высказывания, должна рассматриваться как текст? Теории, например, ничего кроме утверждений не содержат (это по определению; но и по существу неразумно относить к теории предположения, гипотезы, вопросы, проблемы, задачи и т.д. — все эти и им подобные знаковые конструкции могут быть связаны или с разработкой теории, или с ее применением). Так можно ли процитировать теорию? К сожалению, в научной и философской литературе понятием «теория» сплошь и рядом злоупотребляют, распространяя его чуть ли не на любые текстовые оформления каких угодно идей. Увы, настоящие теории встречаются гораздо реже. На самом деле есть как минимум четыре типа основанных на утверждениях структур: теории, концепции, учения и доктрины. Понятие теории уже было определено. Добавим к сказанному, что теории потенциально опровержимы как в отношении истинности содержащихся в них высказываний (утверждение теории может оказаться ложным), так и в отношении правильности приписываемых теории следствий (например, теория может оказаться противоречивой вопреки первоначальным предположениям о ее непротиворечивости). Канонические примеры теорий легко найти в математике и точном естествознании.
Концепция отличается от теории тем, что опровергнуть ее, строго говоря, нельзя. Вместо опровержения допускается рациональная критика, под влиянием которой концепция может видоизменяться ее основателями или их последователями. Например, философская концепция неопозитивистов была существенным образом изменена (многие утверждают — разрушена) под ударами критики. Тем не менее настаивать, что индуктивизм и верификационизм опровергнуты окончательно, было бы опрометчиво. Кантовский априоризм был подвергнут критике на основании открытия неэвклидовых геометрий и неклассических логик. Однако значительная часть философов полагает, что эти открытия не затронули ядро кантовского априоризма, по-прежнему считая концепции И.Канта вершиной философской мысли. Так опровергнут ли Кант? Подобные вопросы не возникают в отношении теорий. Например, теория множеств Г.Кантора (которая действительно является теорией) была опровергнута, как только ее противоречивость была доказана.
Отсюда еще одно отличие теории от концепции: в теориях доказывают (эмпирически и логически), в концепциях обосновывают (при помощи аргументов разной степени убедительности). Если бы концепция однозначно раскладывалась на принимаемые и отвергаемые в ней высказывания, а
также указывала, какой логикой надо пользоваться для выведения следствий, ее обоснования превратились бы в доказательства, а она сама — в теорию. Об изначальной неопределенности разбиения естественно-языковых текстов (а концепции представлены именно такого рода текстами) сказано было уже достаточно. Что касается проблематичности выведения следствий из концепций, то ограничимся только одним примером, снова связанным с философией И.Канта. В обширной (424 страницы) и обстоятельной монографии К.А.Михайлова утверждается, что логика Канта имеет интуиционистские черты, а по сему Кант фактически оказывается предтечей интуиционизма. В частности, в трансцендентальной диалектике не принимается закон исключенного третьего и не соблюдается закон снятия двойного отрицания11. И.Кант, наверное, очень удивился бы, узнав, что он ин-туиционист — ведь он считал логику в ее традиционной форме законченной наукой. Вот и делайте после этого логические выводы из концепции Канта! О менее строгих концепциях и говорить нечего.
Оставшиеся два типа структур мы рассмотрим вместе, поскольку их объединяет главное: учения и доктрины насквозь догматичны, их не в состоянии поколебать никакие рациональные доводы, никакие доказательства или аргументы. Разница лишь в том, что последователи учения делают вид, что отвечают на критику, тогда как сторонники доктрины не делают и этого, игнорируя или понося всякую критику в ее адрес. Процитированный фрагмент из 359-страничной посвященной диалектическим противоречиям книги В.И.Горбача — это все, что удалось найти там по болезненной для диалектики проблеме соотношения диалектического и формально-логического противоречия. Доктринальный характер данной работы вполне очевиден уже по одному этому небольшому фрагменту текста. В любопытном (уже цитировавшемся) сборнике «Диалектическое противоречие» диалектика предстает не как доктрина, а в более мягкой форме учения. Сборник содержит мнения десятка участников дискуссии, почти все из которых затем выступают повторно, по замыслу, с учетом высказанных в их адрес возражений. Но это по замыслу. В действительности подлинной дискуссии, т.е. продвижения вперед под влиянием взаимной критики, не получилось. И это при том, что в споре принимали участие некоторые видные представители тогдашней философии. Проблема заключалась в другом. Никто из оппонентов не мог выступить против диалектического учения в целом, заявить, что оно аморфно, непоследовательно, устарело, ложно, догматично12 и т.п. Независимо от собственной точки зрения каждый участник дискуссии обязан был демонстрировать лояльность учению, верил он в него или нет. А как это сделать, если учение абсурдно? Путь один — скрыть иррационализм диалектики под личиной псевдорациональности. Отсюда загадочность формулировок, нарочито расплывчатый стиль, произвольность толкований и, как итог, лишь видимость критики при отсутствии взаимопонимания.
Отмеченная шаткость оснований является важнейшей характеристикой не только диалектики, а вообще любых учений и доктрин. Представим себе, что каждый верующий будет по собственному разумению решать ре-
11 Михайлов К.А. Логический анализ теоретической философии Иммануила Канта: опыт нового прочтения «Критики чистого разума». М., 2002. С. 183.
12 Поппер не без оснований использует более жесткий термин reinforced dogmatism, который в цитировавшейся статье переведен как «железобетонный догматизм», а в более раннем переводе как «форсированный догматизм» (см.: Поппер К. Что такое диалектика? // Диалектика и ее критики. М., 1986).
лигиозные вопросы — возможна ли будет религия как таковая, соответствующая ей церковь, образ жизни и учение? Ответ очевиден. Аналогичных проблем нет в теориях и концепциях. Существование теорий обеспечивается фальсифицируемыми доказательствами, в основаниях концепций лежат критически воспринимаемые аргументы. Ничего подобного в распоряжении учений и доктрин не имеется. Но выход был найден, и при том давно. Место отсутствующих в них доказательств и критических аргументов заняла процедура цитирования канонических текстов. Наличие канонических текстов, возможность их точного копирования и умение их однозначно цитировать — вот, по сути, и все, что требуется для обеспечения интерсубъективной фиксации учения или доктрины.
В концепциях процедура цитирования все же играет важную роль, хотя и не первостепенную. В принципе, чужую концепцию можно адекватно изложить своими словами и затем подвергнуть критике. На практике такая возможность не проходит — вас обвинят в искажении концепции и, в конечном счете, потребуют цитат, обосновывающих ваше понимание. Что касается теорий, то здесь с цитированием возникает проблема. Обратимся к теории множеств Г.Кантора. Как известно, в ней возникает (помимо прочих) парадокс Рассела13. Однако сам Б.Рассел нашел парадокс, названный его именем, не в этой теории, а в теории Г.Фреге. Имеем ли мы право сказать, что Рассел процитировал Кантора? Очевидно, нет. Ведь Кантор этого не писал. Рассел цитировал самого себя? Тоже нет, поскольку парадокс возник в теории Кантора, а не в построениях Рассела. Отсюда вывод: теории не цитируются. Вместо этого цитируются тексты, которые могут задавать теории, но сами в любом случае не являются теориями. В этом смысле правомерно сказать, что в текстах Кантора нет парадокса Рассела, а в теории Кантора он есть. Так как теории не являются объектами цитирования, вопросы теории теорий выходят за границы нашей темы и более затрагиваться не будут.
Концепции занимают подвижное положение между теориями и учениями. По мере нарастания обоснованности аргументов концепция приближается к теории, по мере убывания обоснованности и усиления догматизма концепция превращается в учение. В последнем случае цитирование постепенно вытесняет критические аргументы, в результате оказываясь единственной, и при том вырожденной, формой интерсубъективного обоснования учения или доктрины. В этих условиях изменить канонический текст или просто отвергнуть какую-то его часть становится необычайно трудно. Приверженцы учений и доктрин обязаны принимать канонические тексты как они есть, целиком, несмотря на содержащиеся в них глупости и бессмыслицы. В противном случае где остановить изменения? Каждый субъект будет иметь свое мнение по этому поводу, и интерсубъективность будет утрачена. Адепты марксизма-ленинизма бесконечно цитировали и на все лады восхваляли мнимую глубину случайно оброненной в не предназначавшемся для посторонних конспекте ленинской мысли по поводу диалектики, логики и теории познания — дескать, «не надо 3-х слов: это одно и то же»14. Но в своих текстах неизменно различали эти термины. А что бы было, если бы эти слова были написаны не вождем, а так сказать, рядовым диалектиком?
13 Клини С. Введение в метаматематику. М., 1957. С. 40.
14 Ленин В.И. Философские тетради // Ленин В.И. Полн. собр. соч. Т. 29. С. 301.
Согласимся, что на уровне цитирования любой не признанный авторитетным текст обречен на проигрыш. В цитировании действительно нельзя обнаружить никакой принципиальной разницы между одной цитатой и другой. И то, и другое — цитаты, и ничего более. Другой вопрос, что цитата «А» может быть авторитетна, а цитата «В» — не очень. Но применительно к цитированию вопросы об основательности, истинности, непротиворечивости, научности, наконец — все такие и им подобные вопросы приходится оставить в стороне. Довлеет авторитет цитаты. «И сказал Господь Бог змею: ...И вражду положу между тобою и между женою, и между семенем твоим и между семенем ее; оно будет поражать тебя в голову, а ты будешь жалить его в пяту»15 . Слава богу, что не вы произнесли эти слова. А то бы вас могла постигнуть участь обвиненного в сумасшествии. Конечно, найдутся интерпретаторы, которые всю эту бессмыслицу как-нибудь разъяснят. Но вот переписать данный фрагмент, заменить его на осмысленный, догматики не согласятся. И по-прежнему, во веки веков, семя «будет поражать тебя в голову, а ты будешь жалить его в пяту». Поистине, в этих словах, учитывая авторитетность источника и понятную игру слов, заключено проклятие цитированию!
На цитирование как на единственную возможность достижения интерсубъективности уповают и в некоторых концепциях. В блестяще написанной книге И.Лакатоса «Доказательства и опровержения» детально обсуждается история злоключений одной теоремы о многогранниках16. Описываемый автором виртуальный мир, хотя он относится к сфере математики, не задается точно и строго, а находится в процессе изменений, порождая то одни многогранники, то другие. Иногда мутации оказываются неудачными, и тогда на свет появляются многогранники в обличье монстров и уродов17, избавиться от которых так же нелегко, как и от чудовищ, живущих в виртуальных пространствах компьютерных игр. Все это делается И.Лакатосом с одной целью — продемонстрировать изменчивость понятий в самой строгой из наук — математике. А раз даже здесь нет надежной опоры, то искать ее больше негде, и получается, что «знание не имеет основ»18. Своим острием критика И.Лака-тоса обращена против формалистской программы обоснования математики Д.Гильберта, представляющей собой «мрачную альтернативу машинного рационализма»19 . Первородный грех формализма — скучное стремление к строгости и точности, противное «живой» математике. Поэтому высказывание «сегодня достигнута абсолютная строгость» вызывает дружный смех «передовых» (я цитирую. — А.А.) персонажей книги20.
О каких персонажах идет речь? Разговор о математических доказательствах и опровержениях (поводом к которому послужил сюжет с многогранниками) ведется в некоем вымышленном классе, который И.Лакатос действительно считает передовым. Но не являются ли все рассуждения вымышленных героев и их учителя всего лишь фантазиями придумавшего их автора? Здесь мы подошли к самому существенному пункту. Так оно и было бы, если бы И.Лакатос предусмотрительно не раздвоил текст книги. В самом буквальном смысле: суждения и остроумные реплики персонажей
15 Быт. 3, 14-15.
16 Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М., 1967.
17 В книге действительно используются эти термины.
18 Там же. С. 65.
19 Там же. С. 9.
20 Там же. С. 74.
сопровождаются на протяжении всего текста ссылками на реальные высказывания математиков и философов, занимающие значительную его часть, иногда более половины (см. изображение стр. 46—47 книги И.Ла-катоса). Тут уже не до шуток — ссылки и цитаты должны быть точны. Допустим теперь, что в действительности Гаусс, Пуанкаре, Гильберт или кто-то другой из многочисленных философов и математиков, которых цитирует И.Лакатос, не говорили и не писали того, что им приписывается. Легко себе представить смущение автора сочинения об истории якобы по сути своей нестрогой и неформальной математики. Его знания лишили бы основ, превратили бы в бездоказательные рассуждения о вымышленных мирах.
Есть ли между репликами вымышленных персонажей и текстуально зафиксированными мыслями реальных исторических лиц удостоверяемое соответствие? Но вопрос о том, насколько «рационально реконструированная», по Лакатосу, история правильно воспроизводит «реальную историю»21, в книге даже не ставится. Еще бы, ведь тут никакой точности ожидать не приходится, и потому лучше данный вопрос не обсуждать. А то получится, как в диалектике: цитаты точны, но понимают их все по-разному.
Вывод, следовательно, таков. Для того, чтобы показать изменчивость знания, мы нуждаемся в некотором неподвижном фоне, относительно которого только и можно обнаружить движение. Другое дело, где этот фон искать. И.Лакатос нашел его в цитировании исторических источников. Тем самым его концепция изменчивости и неопределенности математического знания обретает необходимую для поддержания на плаву интерсубъективную устойчивость. Ведь после того, как акт письма состоялся и стал достоянием всех, текст обрел некую форму вечности: можно комментировать текст, дополнять и исправлять его задним числом, создавая тем самым новые тексты, но изменить написанное однажды, отменив факт создания именно данного текста, никому не под силу. Остается цитировать вечное. И.Лакатос, по-видимому, не замечает, что опора только на одну форму интерсубъективности, — цитирование, — роднит его концептуальные построения не с наукой (критикуемая им метаматематика, безусловно, является наукой — в любом смысле этого слова), а с рассуждениями богословов, также вынужденных опираться исключительно на цитаты для достижения интерсубъективного взаимопонимания.
В чем состоит значение канонизации некоторой группы текстов в различных религиях? Ответ очевиден: при отсутствии надежных подтверждений претензии на более глубокое знание, чем дают обыденное познание и
21 В книге действительно используются эти термины. С. 11.
наука, остается такие подтверждения создать. В условиях разноголосицы различных оттенков верований представителей одной и той же религии интерсубъективное единство достигается объявлением выбранных текстов священными, богодухновенными. После этого изменить в них ни строчки нельзя. Дальнейшему усовершенствованию они не подлежат. В этом часто видят проявление излишней консервативности религиозного сознания, тогда как на самом деле у верующих просто нет другого выхода. Это в науке школьник может указать академику на ошибку, и наука от этого только выиграет. Критическое же отношение к священному тексту гибельно для религиозного чувства. Религия самосохраняется в веках именно за счет опоры на один и тот же, во веки веков неизменный текст.
И.Лакатос все-таки не сделал последнего шага, окончательно и бесповоротно превращающего его концепцию в учение. Зато это сделал (между прочим, под флагом борьбы с догматизмом и защиты свободы) его коллега по исторической школе в методологии П.Фейерабенд, создав учение (или даже доктрину) методологического анархизма, согласно которому никакой принципиальной разницы между наукой, с одной стороны, и мифологией, идеологией и религией, с другой, — не существует22. Но будем справедливы. Чем цитаты из текстов ученых отличаются от цитат из текстов, скажем, богословов, именно в качестве цитат? Возможным наличием математической символики? Но сегодня некоторые богословы также пользуются математикой (например, А.Плантинга использует при обсуждении богословских проблем один из разделов математической логики — модальную логику). В том-то и дело, что если единственно возможной формой интерсубъективного понимания считать цитирование, как фактически получается у И.Лакатоса, П.Фейерабенда, Т.Куна и других представителей исторической школы в методологии, то все остальное становится субъективным. Любая интерпретация цитаты отныне будет зависеть исключительно от субъекта, который цитирует. А интерпретировать эти свободные от всех эпистемических обязательств, кроме обязанности точно цитировать, субъекты будут, конечно, по-разному
Например, литературовед может выдвигать самые необычайные интерпретации анализируемого произведения, проявляя буйство фантазии, но становится очень точен и строг, когда дело идет о тексте самого произведения. Не знать или не точно цитировать источник гибельно для специалиста по гражданской истории. Но что ограничит его в выборе трактовок описываемых по источникам исторических событий, если, кроме требования точного цитирования, других ограничений нет? Станислав Лем создал два замечательных произведения, одно из которых написано в форме рецензий на не существующие в действительности научные трактаты (Абсолютная пустота), а другое состоит из предисловий к несуществующим книгам (Мнимая величина)23. Но он же писатель-фантаст! А если допустить, что Лем точно цитировал реальных авторов? Превратился бы он от этого в ученого? Вопрос риторический. Точно так же расплывчатые и крайне субъективные рассуждения И.Лакатоса о математических доказательствах и опровержениях, несмотря на блестящую литературную форму, эрудицию в знании источников и предполагаемую точность цитирования, не делают из него научного философа. В его концепции о науке говорится не научным
22 Фейерабенд П. Избранные труды по методологии науки. М., 1986.
23 Лем С. Абсолютная пустота. Мнимая величина // Лем С. Собр. соч. Т 10. М., 1995.
образом. Не стихами, конечно, но ведь и С.Лем прозаик. Не знаю, насколько удачен термин научно-фантастическая философия, но он хорошо характеризует концепцию И.Лакатоса и ей подобные. В них точны только цитаты. И уж если и математика недостаточно строга, то что же говорить о таких поистине расплывающихся в неопределенностях концепциях?
Может последовать упрек в том, что выводы о концепции И.Лакатоса делаются без ее серьезного разбора. К сожалению, я не литературовед и не сведущ в секретах стилистики текстов. Что же до остального, то серьезная критика данной концепции возможна только в отношении правильности цитирования. Ведь кроме цитирования, никаких других механизмов обеспечения интерсубъективного понимания И.Лакатосом не предлагается. В разговорах о математике — этой цитадели интерсубъективности — он умудрился обойтись без интерсубъективности. И это в условиях, когда математика математики, т.е. метаматематика, уже продемонстрировала, как надо научно рассуждать о данной науке. Скорее всего, делается это сознательно, поскольку «знание не имеет основ», «абсолютная строгость» смешна, формализация «мрачна» и т.п. Так что же критиковать, на что опираться, если основ нет и ничего строгого, помимо цитат, также нет?
Вообще, приближающиеся к учениям концепции, сами учения и также доктрины, в отличие от научных концепций и теорий, следует не критиковать, а разоблачать. Как черную магию. Особенно если (как в диалектике и в методологическом анархизме) учения и доктрины объявляют себя врагами догматизма и защитницами свободы. Если наука (в лице Г.Гали-лея, например) прибегает, по заявлению того же П.Фейерабенда, к пропа-ганде24 , то ответом таким субъектам может быть только контрпропаганда. То, что они пользуются интерсубъективным цитированием и точными ссылками на источники, ничего по сути не меняет. Стало быть, посредством механизма интерсубъективного цитирования увидеть различие между наукой, идеологией и теологией нельзя. Но и без цитирования наука существовать не может. Процедура интерсубъективного цитирования занимает в науке необходимое, хотя и скромное, отнюдь не самодовлеющее место. Это самый простой способ добиться интерсубъективного понимания, но и он имеет свою неочевидную логику, которую предстоит вскрыть.
А как быть с творческими текстами, в которых ничего или мало что цитируется? Напрашивается ответ, что в таких текстах автор цитирует самого себя. Ведь автор сначала создал в уме или воображении текст. А затем, для других, его цитирует. И каков же статус этого автоцитирования? Ясно, что почти всегда ничтожен. Просто говорить не о чем. Мы цитируем создателей теории относительности, квантовой механики, классиков марксизма-ленинизма, изречения Будды и Христа... А кого цитируете вы? Самого себя? Но что ваши автоцитаты могут значить по сравнению с такими первоисточниками? Если следовать логике подобных вопросов, то индекс цитирования действительно становится определяющим в оценке значимости текстов. И все же нам представляется, что творческий текст не является результатом автоцитирования, а индекс цитирования сам по себе не определяет его достоинств, особенно если в тексте речь идет о поиске научной истины. Цитирование, включая автоцитирование, играет лишь вспомогательную роль в создании и бытии текстов в науке и ориентированной на науку философии.
24 Фейерабенд П. Указ. соч. С. 216.
Теперь самое время спросить, к какому из указанных четырех типов знаковых структур автор относит собственную работу? До сих пор, есть надежда, удавалось удерживаться на уровне концепции. Но концепции не являются интерсубъективными образованиями, и потому рассчитывать на интерсубъективное понимание вышеизложенного не приходится. Если так можно выразиться, пока об интерсубъективном говорилось не интерсубъективным образом. Поэтому крайне важно попытаться сказать об интерсубъективном интерсубъективно. Это осуществлено в 5 параграфе, номер которого помечен значком интерсубъективности И. Будет построена интерсубъективная логическая теория цитирования как интерсубъективной процедуры. Но прежде логики цитирования кратко рассмотрим вопрос о методах цитирования. Как цитировали раньше и какие изменения в методах цитирования происходят сейчас?
4. Кратко о методах цитирования
К сожалению, по этому вопросу найти удалось очень немногое. Цитируют все или почти все исследователи, но специально изучают эту процедуру лишь единицы. Может быть, потому, что цитирование представляется чем-то само собой разумеющимся. Но это не так.
Специально техника цитирования на материале поздней античности изучается Е.В.Афонасиным25. Основным объектом его исследования в этом плане стали семь книг, объединенных под названием «Строматы», христианского автора II в. Климента Александрийского. Выясняется, что цитирование в те времена, говоря нашим языком, требованию интерсубъективности далеко не всегда удовлетворяло. Афонасин отмечает, что Климент часто цитирует по памяти, особенно Священное Писание и Гомера, а часто ограничивается близким к тексту пересказом. И даже если цитаты правильные, не исключено, что в имеющий долгую историю текст «Стромат» вмешивались переписчики и редакторы: «Каждый античный копиист был одновременно и редактором, особенно, если он делал копию для себя. Даже современные издатели, и тем более переводчики, имеют тенденцию “исправлять ошибки” античных авторов на основании известных текстов или приводить цитату вместо парафраза»26. Цитаты из авторитетные текстов (например, Священного Писания, Платона или Гомера) зачастую даются без ссылок — Клименту это кажется даже неприличным: «Образованные люди должны знать своих классиков. Отсюда такие явления, нередкие в Строматах, как небрежное замечание: “Платон сказал где-то”, за которым следует цитата “по памяти” на полстраницы»27. Таким образом, фактически «действует общее правило: если источник не указан, значит, автор известный». Действует и еще одно любопытное правило: «В отличие от классиков и союзников... Климент всегда дает точную ссылку на произведения своих противников»28. Сам Е.В.Афонасин ссылается на работы исследовательницы A. van den Hoek: «Подробный анализ цитат, парафразов и различных аллюзий в Строматах, который проводит Анневис ван ден Хук (A. van den Hoek), очень хорошо показывает особенности техники цитирования, которую применяет Климент»29.
25 Афонасин Е.В. Век энциклопедистов: процесс накопления и сохранения знаний и методы цитирования в поздней античности. Новосибирск, 2003.
26 Там же. С. 42.
27 Там же. С. 43.
28 Там же. С. 45.
29 Там же. С. 43-44.
В действительности технику цитирования толкуют в расширительном смысле, включая не только цитирование как таковое, но и типичные способы искажения цитат. Е.В.Афонасин выделяет четыре типа искажений.
«Комбинаторика допускает следующие варианты. Цитата может быть испорчена / изменена одним из четырех способов:
(1) может быть изменен порядок слов;
(2) к ней может быть нечто добавлено;
(3) из нее может быть нечто исключено;
(4) в ней словоформа, слово, идиома или фраза может быть заменена на другую словоформу, слово, идиому или фразу.
Разумеется, возможна любая мыслимая комбинация этих вариантов...»30.
Подобные приемы представляют интерес для историков и филологов — исследователей конкретных текстов, но явно выводят за границы интерсубъективного цитирования, превращая цитирование в разновидность произвольных манипуляций с текстами. Отметим, однако, что для искажения цитаты надо прежде иметь ее в наличии. Поэтому в фундаменте техники цитирования в любом случае лежит феномен интерсубъективности.
Некоторые вторичные особенности техники цитирования обусловливаются физической формой цитируемого текста. Если древний текст цитируется тем же Климентом от начала к концу, то это понятно. Но если цитирование идет строго от конца к началу, то возникают вопросы. Оказывается, причина может заключаться в том, что цитируемая книга имела форму свитка. И если свиток был смотан от конца к началу текста, то и возникал своеобразный эффект обратного цитирования31 .
Книга в форме свитка представляет из себя устройство последовательного доступа к содержащейся в ней информации, подобное книге, записанной на магнитной ленте. Привычные нам книги на бумаге — устройства, так сказать, почти прямого доступа. «Почти» потому, что если требуется открыть книгу на странице номер п, то вряд ли это удастся сделать с первой попытки. Однако и пролистывать страницу за страницей никто для решения этой задачи не будет. Соответственно, проблема обратного цитирования исчезла. Другое дело, что выписывание цитат в порядке их появления в тексте также не рекомендуется, если это не конспект исходного текста. В прямом порядке нередко цитируют студенты в плохих рефератах и аспиранты в слабых диссертациях. Мало-мальски «подкованный» аспирант для демонстрации высокой степени владения изучаемым текстом будет цитировать вразбивку. При этом не исключено, что для большего эффекта он будет иногда переставлять даже соседние фрагменты цитируемого текста.
В наше время все большее распространение получают электронные книги. Компьютеры и соответствующие программы позволяют обеспечить прямой доступ к содержащейся в них информации. Если в поле поиска введен уникальный элемент текста (например, лишь один раз встречающееся слово) или его разбивки (к примеру, номер страницы), то переход к этому элементу будет осуществлен практически мгновенно.
Электронная форма представления информации породила еще целый круг вопросов в связи с переходом от текстов к гипертекстам, которые могут содержать, наряду с печатными текстами, озвученные текс-
30 Афонасин Е.В. Век энциклопедистов: процесс накопления и сохранения знаний и методы цитирования в поздней античности. С. 73.
31 Там же. С. 46.
ты, музыкальное сопровождение, анимацию, видеоматериалы и т.д. Соответственно, возникает новая проблема цитирования гипертекстов. Поскольку логика осталась прежней наукой и никакой «гиперлогики» на горизонте не видно, оставим эту проблему следующему поколению исследователей, а здесь ограничимся лишь несколькими замечаниями по поводу методов цитирования содержащейся в гипертекстах текстовой информации.
Один из наиболее распространенных форматов гипертекстов — язык HTML (HyperText Markup Language). На этом языке создаются гипертекстовые документы, которые в последующем воспроизводятся веб-обозревателями (браузерами), такими как Internet Explorer, Netscape Navigator и др. HTML-документ логически представляет из себя множество разнородных элементов, связанных между собой отношениями порядка и вложенности, род которых определяется специальными зарезервированными метками — тегами. Каждый элемент имеет начальный и, как правило, конечный тег, между которыми располагается содержимое элемента. Начальный тег имеет формат (опуская подробности, связанные с так называемыми атрибутами) <имя тега>, завершающий тег — формат <|имя тега>.
Цитирование в языке HTML представлено двумя разными (что для меня было неожиданностью) элементами: кратким цитированием Q и длинным (его еще называют блочным) цитированием BLOCKQUOTE. Краткое цитирование Q применяется внутри строки, длинное цитирование BLOCKQUOTE используется для воспроизведения нескольких строк. Например, на языке HTML содержащее краткую цитату предложение Пифагор изрек: «числу все вещи подобны». можно записать следующим образом.
Пифагор изрек: ^>числу все вещи подобны<^>.
По идее, веб-обозреватели при воспроизведении данного HTML-текста должны слова между тегами <Q> и <|Q> автоматически заключить в кавычки, но на практике вы этого, вероятнее всего, не получите. Имеющийся в нашем распоряжении обозреватель Internet Explorer 6.0 и вовсе выдал неизмененный текст, к тому же без левого отступа (отступ не появится, даже если использовать элемент P, служащий для выделения абзаца текста). При использовании мелкого размера шрифтов на экране получилось Пифагор изрек: числу все вещи подобны.
Выходом было бы самим поставить кавычки, однако не исключено, что какой-нибудь браузер кавычки все-таки поставит, и тогда получатся кавычки в кавычках. Поэтому специалисты рекомендуют кавычек все-таки не ставить, полагаясь в этом отношении на браузер, а для гарантии выделять текст самим, например, при помощи элемента EM. Тогда строка
Пифагор изрек: <EM><Q>числу все вещи подобны<|Q><|EM>. тем же браузером Internet Explorer 6.0 будет распечатана в виде Пифагор изрек: числу все вещи подобны.
Использование элемента BLOCKQUOTE вместо Q также не решает проблемы, т.к. кавычки вновь не появляются. Зато появляется неуместная в данном случае отбивка, так что в результате исполнения HTML-текста Пифагор изрек: <EM><BLOCKQUOTE> числу все вещи подобны <| BLOCKQUOTE><|EM>.
получается неприглядная картина.
Приведенные примеры показывают, что техника цитирования гипертекстов пока не отработана. Что же касается процедуры ссылок на источники информации, то это особая проблема. В принципе, цитировать можно и без ссылки на первоисточник, как это сделано в примере с изречением Пифагора. Именно с «изречением», поскольку никаких письменных текстов самого Пифагора, по-видимому, не существует. Вполне возможно, что он никаких сочинений и не создавал, ограничиваясь устной передачей своей концепции32 .
В логике к проблеме цитирования специально обращался С.А.Пав-лов33 . В рамках развиваемой им формальной аксиоматической теории именования вводится функция цитирования q(x), удовлетворяющая следующим двум аксиомам:
1. Ух ^(х) о х),
2. Ух 1^^(х)).
Запись у о х читается как «знак у обозначает денотат х». Поэтому неформальный смысл первой аксиомы в том, что знак q(x) обозначает денотат х. Например, если х есть предложение Снег бел, то q( Снег бел) о Снег бел. Это соответствует традиционной трактовке: цитата «Снег бел» обозначает предложение Снег бел. Выражение 1^(г), по определению, является сокращением для Э!у(г о у) — существует, и при том единственный у, для которого выполняется z о у. Следовательно, во второй аксиоме утверждается, что У^!у^(х) о у), т.е. утверждается, что для всякого х в случае использования функции цитирования q(x) имеется единственный у, для которого выполнено q(x) о у (в силу первой аксиомы этим у будет как раз х). Возвращаясь к примеру, цитата « Снег бел» обозначает предложение Снег бел (первая аксиома), и не обозначает ничего другого (вторая аксиома).
Все это совершенно естественно, однако справедливости ради отметим, что аксиомы цитирования характеризуют не функцию цитирования q как таковую, а отношение обозначения а в связи с q. Что касается функции цитирования q самой по себе, то единственность ее значения (при условии непротиворечивости рассматриваемой теории) гарантирована независимо от свойств дескриптивного отношения о. Действительно, если для какого-то х q(x) = у и q(x) = z (равенство в теории имеется) и при этом у Ф z, то из этого выводится q(x) Ф q(x), что противоречиво. Отсюда возникает вопрос: нельзя ли средствами логики охарактеризовать свойства операции цитирования как таковые, безотносительно к другим нелогическим (дескриптивным) понятиям? Ответ утвердительный, как показано в следующем параграфе.
5И. Логика цитирования
Введем следующие исходные постулаты о текстах.
1. Предполагается, что любой текст состоит из непустого конечного числа предложений, так что тексту Т сопоставляется непустое конечное множество S(T) предложений из Т. Текст назовем вырожденным, если |$(Т)| = 1; в противном случае, текст является невырожденным.
32 См. подборку древних текстов о Пифагоре в кн.: Фрагменты ранних греческих философов. Ч. I. М., 1989. С. 138—149.
33 Павлов С.А. Функция цитирования в аксиоматической теории именования // Современная логика: проблемы теории, истории и применения в науке: Материалы VIII Общерос. научн. конф. СПб., 2004. С. 524—526.
2. Постулируется линейность текстов: для каждого текста Т в множестве S( Т) имеется единственное первое и единственное последнее его предложение;
и, в случае невырожденных текстов, для любого предложения р из S( Т), за исключением последнего предложения, имеется единственное следующее за ним предложение р+ из S(Т). Занумеруем предложения из S(T) в указанном порядке их появления в тексте Т. Получим множество L(T) = {р1, р2, ..., р., ..., рт} (ясно, что т = \$( Т)\, и что если р. есть q, то р.+1 есть q+ для всех 1, 1 < 1 < т).
Соблазнительная возможность отождествления текста Т и множества его предложений S( Т), к сожалению, должна быть отклонена ввиду неоднозначности процедуры формирования множества S( Т). Неоднозначность вызвана глобальной невозможностью дать точное определение понятию правильно построенного предложения для всех естественных и многих искусственных языков, за исключением так называемых формальных языков. В результате процесс формирования S( Т) по исходному тексту Т в общем случае нельзя сделать интерсубъективным. Процедуру перехода от Тк S( Т) можно назвать первичным пониманием или первичной интерпретацией текста Т. Этот вид понимания, как мы видели, заведомо не интерсубъективен.
Переход от S(T) к L(T) также в общем случае не интерсубъективен. И препятствием к этому служат отнюдь не явные нарушения линейности, связанные с концевыми и страничными сносками. Здесь задача решается элементарным перемещением заключенной в скобки сноски на место указателя сноски в основном тексте. Но если исходный текст представлен разрозненными фрагментами, то разбиение фрагментов на предложения может и не привести к однозначному решению вопроса о том, в каком порядке брать сами эти фрагменты. Назовем переход от S(T) к L(T) линейным пониманием или линейной интерпретацией множества предложений S(T). Данный вид понимания не следует недооценивать на том основании, что в подавляющем большинстве реальных ситуаций порядок следования предложений друг за другом ясен сам собой. В общем случае, повторим, это не так. К примеру, установление порядка разрозненных фрагментов может потребовать тонких исследований и глубокого понимания и самого текста, и связанных с его появлением исторических обстоятельств.
Приняв не интерсубъективным образом некоторые множества S(T) и L(T), дальнейшие процедуры, связанные с цитированием, можно сделать интерсубъективными. Прежде всего, множества S(T) и L( Т), коль скоро они сформированы, являются интерсубъективными объектами, в отличие от самого исходного текста Т, поскольку вопрос о принадлежности им той или иной знаковой конфигурации является разрешимым и может быть перепоручен компьютеру. Кроме того, структура L(T) дополнительно наделена алгоритмически определяемым линейным порядком. По сути, операция цитирования основана именно на L(T).
Цитирование с синтаксической точки зрения предполагает использование операции следующий за +, кавычковой функции «...» и конъюнкции &, применяемых следующим образом.
Синтаксис.
Язык цитирования.
Алфавит.
1. р1, р2, ..., рт — непустая конечная последовательность пропозициональных констант (семантически, L(T) = {р1, р2, ..., рт}).
2. «, », &, + — левые и правые кавычки, символ конъюнкции и символ операции +.
Формулы.
1. Каждая константа из р1, р2, ..., рт — атомарная формула.
2. Если р. — атомарная формула и і < т, то р.+ есть атомарная формула р.+1.
3. Если р. — атомарная формула и і < т, то Р.Р.+ — последовательная формула.
4. Если А р. — последовательная формула и і < т, то А р. р.+ — последовательная формула, заканчивающаяся атомарной формулой р.+1.
5. Если А — атомарная или последовательная формула, то «А» — кавыч-ковая формула, называемая цитатой.
6. Если «А» и «В» — цитаты, то «А» & «В» — формула, называемая конъюнкцией цитат.
7. Если А и В конъюнкции цитат, то А & В — формула, тоже называемая конъюнкцией цитат.
8. Ничто другое формулой не является.
Если А есть «А1» & «А2» & ... & «Ап», а В есть «51» & «В2» & ... & «Вк», то интуитивный смысл конъюнкции цитат А & В прост: процитированы А1, и А2, и ... и Ап, и В1, и В2, и ... и Вк.)
Исчисление цитат.
Посылки цитирования.
В качестве посылок в выводах разрешается использовать только атомарные формулы.
Правила цитирования.
Правило атомарного цитирования.
Р
«Р»
Здесь р — атомарная формула (семантически, р є L(T)).
Правило последовательного цитирования.
«А р»
«А р р+»
Здесь допускается ситуация, когда выражение А пусто. В противном случае предполагается, что Ар является последовательной формулой и р+ существует (семантически, существует предложение р+ є L(T)).
Правило конъюнктивного цитирования.
А, В
А & В
Здесь А — цитата или конъюнкция цитат; то же самое относится и к В.
На применение правила конъюнктивного цитирования можно наложить следующее ограничение на повторяемость: в посылках этого правила А и В не должны встречаться одинаковые цитаты. Точнее, если А есть «А1» & «А2» & ...
& «А.» & ... & «А », а В есть «В,» & «Д» & ... & «В» & ... & «В,», то А. Ф В,, при
1 п ’ 12 J к ’ 1 у Г
всех і, J (1 < і < п) и (1 < J < к), а также А. Ф А. и В. Ф В. при і Ф J. Логика с ограничением на повторяемость и логика без такового существенно различны, что будет показано в дальнейшем.
Построенное исчисление цитат может быть дополнено следующим необязательным правилом.
Правило пустого цитирования.
«»
Пустая цитата «» вводится для общности рассмотрения и в содержательном плане не обязательна. В дальнейшем, если не оговорено противное, правило пустого цитирования не используется.
Выводом в построенной системе называется непустая конечная последовательность формул, каждая из которых либо посылка, либо получена из предыдущих формул последовательности по одному из правил вывода. Последняя формула вывода называется его заключением.
Вывод называется доказательством, если его завершает формула, полученная по одному из правил вывода. Последняя формула доказательства называется теоремой. Если А — теорема, то пишем |— А.
Факт 1. Множество формул бесконечно.
Поскольку в силу непустоты множества пропозициональных констант имеется хотя бы одна атомарная формула р1, цитата «р1» тоже формула. Отсюда получаем бесконечный список формул, являющихся конъюнкцией цитат: «р1» & «р1», «р1» & «р1» & «р1», и т.д.
Впрочем, ничто не мешает в принятии конечного понятия формулы. Достаточно в пункте 7 определения формулы ввести ограничение на повторяемость.
Факт 2. В каждом выводе имеется хотя бы одна посылка.
Это позволяет любой вывод представить в форме р1, р2, ..., рп |— А, где каждая посылка р. (1 < і < п) есть некоторое р. из последовательности р1, р2, ..., рт и А — заключение вывода.
Факт 3. Если |—А, то А является либо цитатой, либо конъюнкцией цитат.
Доказательство очевидно. Столь же очевидны следующие факты 4 и 5.
Факт 4. Если А — последовательная формула, то А может быть представлена либо в форме р. р.+ р.++ ... р.+...+ (праз) (где 1 < і < т и 1 < п < (т — і)), либо в виде (являющемся вариантом предыдущего) р. рі+1 рі+2... рі+п.
Факт 5. Если «А» — цитата, то либо «А» имеет вид «р.» (1 < і < т), либо может быть представлена в форме «р. р.+ р.++ ... р+-+(праз)» (где 1 < і < т и 1 < п < (т — і)), либо в виде (являющемся вариантом предыдущего)
«р. р.+ 1 р.+2 ... р.+п».
Семантика.
Определим на формулах языка цитирования функцию интерпретации І.
1. Атомарная формула р. интерпретируется посредством самой себя: І(р.) = р. є L(T), что позволяет вместо 1(р.) писать просто р..
2. Последовательная формула рірі+1 р.+2... р.+п интерпретируется последовательностью {р., рі+1, р.+2, ..., р.+п} с ВД: І(р. р.+1 рі+2 ... р.+п) = ^р^ 1(р.+ 1).
Цр^ ..., І(р.+п)} = {рр р+р р.+2, ..., р.+п}.
3. Если «А» есть «р.», то эта цитата интерпретируется синглетоном {р.} с
L(T): І(«р») = {р.}.
4. Если «А» есть «р.рі+1 р.+2... р.+п», то эта цитата интерпретируется также, как и последовательная формула А: І(«А») = І(А).
5. Каждая п-членная конъюнкция цитат «А» & «В» & «С» & ... & «D» интерпретируется последовательностью подмножеств А1, В2, С3, ..., Dn из L(T) таких, что любое X с L(T) (1 < . < п) есть результат интерпретации цитаты «X» (с использованием пунктов либо 3, либо 4).
Факт 6. Логика без ограничений на повторяемость бесконечна.
Тривиальным образом такая логика оказывается бесконечной уже при наличии в языке лишь одной атомарной формулы р1: из р1 по правилу атомарного цитирования получаем теорему |— «р1», затем по правилу конь-
юнктивного цитирования без ограничений на повторяемость последовательно получаем в качестве теорем конъюнкции |— «р1» & «р1», |— «р1» & «р1» & «р1», и т.д.
Факт 7. Число непустых цитат ц из текста Травно
т х (т+1)
2
где т = |$(7)|.
Правило атомарного цитирования даст т цитат. Применение к этим цитатам правила последовательного цитирования даст еще (т — 1) цитату. Следующее применение правила последовательного цитирования к полученным (т — 1) цитатам позволит добавить еще (т— 2) новых цитаты, и т.д., вплоть до последней самой длинной цитаты, которая получится на шаге т описанной процедуры. В результате получится сумма ц = т + (т — 1) + (т — 2) + ... + 1, которая, как известно из комбинаторики, вычисляется по приведенной в утверждении 7 формуле.
Например, пусть S(T) = {р, q, г, s} (т.е. т = 4), а L(T) = {р1, р2, р3, р4}, где р1 = р, р2 = q, р3 = г ир4 = s. По правилу атомарного цитирования получим 4 цитаты: «р», <^», «г» и <«». Затем, учитывая, что q = р+, г = q+ и s = г+, последовательно получим сначала 3 цитаты: «pq», «^г», «гs», затем еще две: «pqг» и «qгs», и наконец, последнюю цитату «pqгs». Таким образом, при т = 4, как и утверждалось, ц = 10.
Как обычно, для натурального п > 0 обозначим через п! (читается «п факториал») число п! = п х (п — 1) х (п — 2) х ... х 2 х 1, положив 0! =С(. 1. Получим бесконечный ряд чисел 0! = 1, 1! = 1, 2! = 2 х 1 = 2, 3! = (3 х 2 х 1) = 6, 4! = (4 х 3 х 2 х 1) = 24, ..., который растет быстрее (начиная с п = 4), чем тоже быстрорастущий ряд 2п чисел, соответствующих числу множества всех подмножеств п-элементных множеств. Действительно, 24 = 16 < 24 = 4!. Допустим, 2п—1 < (п — 1)!. Тогда имеем 2п = 2 х 2п—1 < п х (п — 1)! = п! Таким образом, индукция по п > 4 дает 2п < п!.
Факт 8. Число всевозможных конъюнкций цитат из Т, полученных по правилу конъюнктивного цитирования с ограничением на повторяемость, определяется формулой [ц х (ц — 1)] + [ц х (ц — 1) х (ц — 2)] + [ц х (ц — 1) х (ц — 2) х (ц — 3)] + ... + ц! .
Действительно, число бинарных конъюнкций вида А & В без повторяющихся членов определяется числом [ц х (ц — 1)]. Тернарные конъюнкции вида А & В & С добавят к этому числу число [ц х (ц - 1) х (ц — 2)] и т.д. В конце концов, конъюнкции длины (ц — 1) дадут число [ц х (ц — 1) х (ц — 2) х (ц — 3) х ... х 3 х 2] = ц! и конъюнкции максимальной длины с ц членами без повторений также дадут число [ц х (ц — 1) х (ц — 2) х (ц — 3) х ... х 3 х 2 х 1] = ц!. Поскольку число исходных для построения конъюнкций цитат равно ц, конъюнкции длины ц + 1 и более уже будут содержать неизбежные повторения конъюнктивных членов.
Как известно из комбинаторики, число ^-членных конъюнкций определяется по формуле
ц!
(ц — К)!
Применение правила пустого цитирования потребует вместо ц подставить число (ц + 1). В остальном указанные формулы останутся без изменений.
Рассмотрим в качестве примера текст из тех же 4 предложений. Имеем т = 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. Вновь каждое слагаемое к (1 < к < ц) можно вычислить по формуле
ц!
(ц — к)!
Например, при ц = 10, итоговое число будет равно 9864100.
Следствие 2. Логика цитирования с ограничением на повторяемость в правиле конъюнктивного цитирования является конечной.
Очевидное следствие Факта 7 и Факта 8. Таким образом, в зависимости от принятия или отбрасывания ограничений на повторяемость в правиле конъюнктивного цитирования логика цитирования будет либо конечной, либо бесконечной (Факт 6).
Сама возможность конечной логики в современной логической науке по сути отброшена как не представляющая интереса. Исторически первая логическая система — силлогистика Аристотеля — была, как известно, конечной. Более того, всевозможные модификации силлогизмов по всем фигурам в сумме составляют всего лишь 256 модусов (как правильных, так и неправильных), т.е. весьма малое число. Кроме того, силлогистика — совершенно искусственная логическая система. В реальной практике она не используется, за исключением случаев нарочитой демонстрации логических познаний в сфере традиционной формальной логики. Это особенно характерно для значительной части гуманитариев, имеющих о современной логике, выразимся деликатно, смутное представление. Зато тривиальная в своей малости силлогистика до сих пор создает у них иллюзию настоящей полноценной логики, делающей излишними усилия по изучению логики современной. Между тем традиционная и современная логика так же далеки друг от друга, как алхимия от химии или астрология от астрономии.
Не обесценивает ли сказанное по тем же основаниям и логику цитирования? В какой степени она тривиальна, искусственна и конечна?
Выше приведенные рассуждения показывают, что семантика цитирования проста до тривиальности и потому бесполезно искать в интерпретации цитат глубокий смысл. Смысл может вкладываться субъектом цитирования в цитату, но это будет внешний субъективный смысл, с которым можно соглашаться или не соглашаться. Одному он может показаться глубоким, другому — поверхностным, а третий вообще не увидит в цитате смысла. Интерсубъективной будет лишь сама цитата.
Зато упреков в искусственности, как нам представляется, можно избежать. Конечно, само явное формулирование правил (тем более формальных) в любом случае уже несет на себе печать искусственности. Проблема располагается в иной плоскости: насколько практика согласуется с этими правилами? Мы утверждаем, что корректно цитирующий реально, на прак-
тике поступает в соответствии с правилами интерсубъективной логики цитирования, что он на самом деле применяет правила атомарного, последовательного и конъюнктивного цитирования. Другой вопрос, что цитирующий может не отдавать отчета в своих действиях, подобно тому, как мы часто говорим или пишем, не зная, каким правилам подчиняются речь и письмо. Впрочем, если появятся обоснованные возражения против практической применимости логики цитирования, они будут лишь способствовать ее дальнейшему усовершенствованию.
Что касается конечности, то тривиальность семантики процедуры цитирования компенсируется тем, что логика цитирования оказалась синтаксически достаточно богатой. Даже в случае очень коротких текстов при конечной логике количество вариантов цитирования оказывается невообразимо большим. Так, для текста всего из семи предложений имеем т = 7 и ц = 28. Число способов процитировать такой текст, ни разу не повторившись, равно
828772446866981044847857913440.
Здесь для записи числа хватило 30 разрядов. А увеличив этот текст всего лишь на одно предложение (т.е. при т = 8), получим ц = 36, что выведет вычисления за границы 32-разрядных целых чисел, используемых в калькуляторах системы Windows. И все это происходит в пределах десятка исходных предложений. Как только мы попытаемся выйти за этот предел, взяв хотя бы текст из 11 предложений, получим ц = 66. В этом случае число способов цитирования намного (примерно на дюжину порядков) превысит число элементарных частиц в Метагалактике (в которой, по уверениям физиков, содержится около 1080 частиц34). Но представляющие реальный интерес тексты статей и книг, как правило, содержат сотни и тысячи предложений. В результате реализация всех способов цитирования таких текстов в принципе выходит не только за пределы физических возможностей вычислительной техники (не говоря уже о том, чтобы осуществить эту реализацию вручную), но и вообще за пределы любых физических возможностей как таковых. Так что, не опасаясь повторений, можно интерсубъективно цитировать, цитировать, цитировать...
34 Хокинг С. От большого взрыва до черных дыр. М., 1990. С. 113.
