Теория и практика аргументации

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

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

Сохраняя за собой право быть “возмутителем спокойствия” — а такова, по крайней мере, роль философа, восходящая еще к Сократу, дерзну привести цитату, которая первоначально не только покоробит, но, возможно, даже вызовет негодование читателя. И все же рискну в связи с обсуждаемыми здесь проблемами сослаться на мнение одного из крупнейших логиков двадцатого столетия Я.Лукасевича: “Когда с мерой строгости, созданной при помощи математиков мы подходим к великим философским системам Платона или Аристотеля, Декарта и Спинозы, Канта или Гегеля, то эти системы распадаются в наших руках, как карточные домики. Их основные понятия туманны, главнейшие утверждения непонятны, рассуждения и доказательства нестроги; логические же теории, лежащие так часто в глубине этих систем, почти все ложны”{106}.

Усиливая это убеждение Лукасевича, добавлю: хуже того, аргументация многих философских систем страдает противоречивостью (одна из причин нестрогости, о которой говорит Лукасевич), а это последнее обстоятельство гораздо более опасно с логической точки зрения, поскольку способно привести к невозможности нетривиальной логической интерпретации.

В логике существует древний принцип: “ex contradictione quodlibet” (“из противоречия следует все что угодно”), который означает, что из истинности утверждения и его отрицания можно вывести любое утверждение (даже самое бессмысленное, например: если 2+2=4 и 2+24, то Луна состоит из зеленого сыра). Современные логики называют подобную ситуацию взрывом, поскольку она способна породить бесконечное количество утверждений. Со своей стороны, это порождение бесконечного количества утверждений приводит к тривиальности полученного результат, поскольку порождаются все мыслимые утверждения, и все они будут истинными. В связи с этим встает вопрос: что же остается на долю ложных утверждений? Ответ: их просто не будет, и поэтому смысл имеет любое сочетание знаков.

Таким образом, если философская система содержит противоречивые высказывания, и если наш словарь логической интерпретации не позволяет устранять противоречия при переводе на язык теории (а это устранение должно происходить еще на логическом уровне), то для подобных систем логическая интерпретация будет автоматически приводить к тривиальной теории. Необходим словарь, позволяющий каким-то образом переводить противоречивые высказывания в непротиворечивые. Возможный выход из сложившейся ситуации подсказывает конец приведенной цитаты из Лукасевича: “Философию необходимо ... подкрепить ... новой логикой” (там же).

Заметим, однако, что хотя противоречивость аргументации философских систем представляется несомненным их недостатком, тем не менее, как пишут Г.Прист и Р.Раутли, “противоречивые, но предположительно нетривиальные теории в изобилии представлены в интеллектуальных усилиях [человечества]. Несомненно, что значительная часть интеллектуальной истории состоит из подобных теорий. Это, в частности, относится к нашему философскому наследию”{107}.

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

1. Все достаточно сложные и интересные философии будут противоречивыми.