комплексного имени и акта суждения как акта называния. Истинность и ложность в этом случае уподобляются правильному и неправильному наименованию, связанному с различными действиями рассудка. В отличие от Рассела Витгенштейн считает, что представление суждения в виде пространственного комплекса неверно уже хотя бы потому, что оно не учитывает понимания в едином акте суждения, как условий истинности высказываемого предложения, так и условий его ложности, что конституирует смысл предложения, не сводимый к совокупности примитивных значений. 'В 'а судите', р нельзя заменить собственным именем. Это очевидно, если мы подставляем 'а судит, что р является истинным, a не-р является ложным'. Предложение 'а судит/?' состоит из собственного имени а, предложения р с его двумя полюсами, и соотнесения а с обоими этими полюсами определённым способом. Ясно, что это отношение не является отношением в обычном смысле'2. Отказ от пространственного представления суждения и введение в структуру предложения истинностных полюсов (истина и ложь), приводящих предложение в согласование с действительностью, требует кардинального пересмотра структуры знания по знакомству и знания по описанию. Действительно, раз высказывание истины нельзя редуцировать к непосредственному знакомству с конституентами, поскольку само суждение не сводится к их наименованию, требуется принятие новых элементов мира, которые соответствовали бы не простым именам, но предложениям. И эти элементы суть факты. Последние не сводимы к своим конституентам и представляют собой сущности sui generis, и если отношение наименования однозначно соотносит имя и примитивное значение, то одному и тому же факту соответствует как истинное, так и ложное предложение. Более того, бипол^рность предложений в совокупности с возможностью их отрицания требует принять два типа фактов, положительные и отрицательные, иначе возникали бы непреодолимые трудности с согласованием ложных отрицательных предложений. Витгенштейн утверждает, и Расселу приходится с ним согласиться, что 'существуют положительные и отрицательные факты: если предложение 'Эта роза не красная' - истинно, тогда то, что оно обозначает, является отрицательным. Но наличие частицы 'не' не указывало бы на это, если бы не знали, что значение предложения 'Эта роза красная* (когда оно является истинным) - положительно. Только из обоих, отрицания и отрицаемого предложения, мы можем заключить о характере значения целого предложения'3. Введение фактов, как особых элементов мира, приводит к пересмотру расселовской теории суждения и, прежде всего, понятия логической формы Если суждение не сводится к акту познающего разума, упорядочивающего конституенты, то отпадает необходимость в непосредственном знакомстве с такой особой сущностью, как логическая форма. Она не может рассматриваться как конституента предложения наряду с другими конституентами. Это демонстрируют и специфические особенности её функционирования в системе знаков. Приняв расселовскую теорию суждения, 'легко предположить, что комплексными являются только те символы, которые содержат имена объектов и что соответственно '(Эх,ф).фх' или '(3x,y)xRy' должны быть простыми. Тогда первоевыражение естественно назвать именем формы, а второе именем отношения. Но что в таком случае представляет собой (например) значение '~ (3x,y).xRy'? Можем ли мы поместить 'нет' перед именем?'' Данный пример показывает, что, так как отрицание согласовано с истинностными полюсами предложения, функционирование логической формы от наименования не зависит, а стало быть, не может рассматриваться как примитивное значение, полученное в отношении непосредственного знакомства. Формы отменяются как логические объекты. Это же относится и к логическим союзам. В пользу последней точки зрения Витгенштейн выдвигает ещё целый ряд аргументов, в частности, взаимоопределимость логических союзов (например, конъюнкции и дизъюнкции с помощью отрицания), что было бы невозможно, если бы они являлись примитивными значениями. Более того, логические союзы даже могут исчезать, как в случае с двойным отрицанием. Все эти аргументы приводят Витгенштейна к выводу о том, что логических объектов не существует, что логика не может трактовать об особом множестве предметов. В пользу этого говорит и универсальность логики. По мнению австрийского философа, рассмотрению логических элементов знаковой системы как особых логических объектов способствует несовершенство предложенной Расселом и Фреге символики, которая не удовлетворяет принципу однозначности и требует введения особых элементов, характеризующих логические связи. Это вводит в заблуждение, поскольку собственно логические знаки пытаются интерпретировать по аналогии с нелогическими знаками, что и приводит к неадекватным результатам. Собственно логические выражения могут рассматриваться только как псевдознакн, и их надлежащая запись должна показать это со всей определённостью. В 'Заметках по логике' Витгенштейн разрабатывает основы такого символизма, основанного на биполярно-сти предложений (оЬ-запись). Этот символизм получает окончательное выражение в таблицах истинности 'Логико-философского трактата'. Цель данного символизма определяется одной целью. Если логика не является наукой наряду с другими науками, то она не должна трактовать об особом множестве объектов. Логика вообще не трактует об объектах. Её предложения бессодержательны. В самом деле, если логика не имеет специфической предметной области, то её утверждения не содержат материальной информации, а её законы не связаны с характеристикой объектов (в том смысле, который Рассел придавал, например, теории типов и аксиоме бесконечности). Каждое предложение, содержащее материальную информацию, определяется совокупностью условий истинности, приводящих его в соответствие с действительностью. Однако те предложения, с которыми имеет дело логика, представляют собой два крайних случая, среди всех возможных условий истинности. Противоречие -всегда ложно, а тавтология - всегда истинна, а это показывает, что основание истинности таких предложений не связано с действительностью, а стало быть, они не сообщают никакого содержания. На эту особенность логических предложений Витгенштейн впервые обращает внимание в 'Заметках, продиктованных Дж.Э.Муру' (1914г.), с которыми Рассел был знаком через посредство последнего. 'Так называемые логические предложения, - утверждает Витгенштейн, - показывают логические свойства языка и, следовательно, универсума, но не говорят ничего'2. Бессодержательность законов логики не означает их бессмысленности, они в отличие от всех других предложений просто выполняют иную функцию. Подлинное предложение связано с действительностью различными условиями истинности. Но если таковые отсутствуют или, вернее, охватывают любую возможность, то это говорит только об одном: 'Логические предложения шляются формами доказательств: они показывают, что одно или более предложений следуют из одного (или более)'3. Таким образом, с точки зрения Витгенштейна утверждения логики являются псевдопредложениями и не выходят за рамки комбинаторных преобразований в пределах знаковой системы, они не могут сообщить ничего конкретного относительно описываемого положения дел. Всё содержание логики исчерпывается разработкой надлежащих способов записи, показывающих, как функционирует язык, но она ничего не сообщает о действительности, о которой говорит этот язык. Именно в этом аналитический смысл логических предложений. Очевидно, что ни теория типов, ни аксиома бесконечности не удовлетворяют такому пониманию, они не являются тавтологиями, а обладают совершенно определёнными условиями истинности, связанными с действительным миром. Логика же имеет дело с любой возможностью, и её положения должны быть безусловны не только для мира с конечным количеством объектов, но даже и в том случае, если бы вообще не существовало ни одного предмета. С точки зрения Витгенштейна принимаемые Расселом допущения не верны, потому что они вместо того, чтобы говорить о знаках, нечто сообщают о действительности, привлекая такие понятия, как вещь, отношение и т.п. Уже отправная точка в экспликации числа (определение нуля как множества несамотождественных вещей) грешит этим недостатком и не может рассматриваться как логическое предложение. То же самое относится к теории типов. Любое утверждение, затрагивающее интенцию значения, выходит за рамки комбинаторики со знаками и не может рассматриваться как аналитическое. С точки зрения чистой логики все проблемы, которые приносит с собой теория типов, должны решаться на уровне надлежащим образом установленного символизма. Но если выполнено последнее условие, то никакая теория типов не нужна, поскольку введение символа предполагает установление правил оперирования с ним, которые сами по себе показывают допустимые типы значения данного знака, а следовательно, отпадает необходимость в особом, явно сформулированном предложении, говорящем о виде знака. Витгенштейн считает, что 'то, что М является вещью, не может быть сказано, это бессмысленно: но нечто показывается символом 'М'. Точно так же то, что предложение является субъектно-предикатным предложением, не может быть сказано: но это показывается символом. Следовательно, теория типов невозможна. Она пытается сказать нечто о типах, когда можно говорить только о символах''. Следуя требованию 'бритвы Оккама' от теории типов следовало бы отказаться вообще. Под влиянием критики Витгенштейна, Рассел, как видно из 'Лекций по логическому атомизму', отказывается от некоторых своих ранних взглядов или существенно их модифицирует. Он принимает целый ряд положений своего ученика, например, вводит положительные и отрицательные факты. Однако зависимость Рассела от
Вы читаете Философия логического атомизма
