Философия логического атомизма

возникает аксиома бесконечности, а именно, предположение о том, что в мире существует бесконечное количество объектов. Сходные соображения заставляют Рассела принять ещё ряд допущений, например аксиому мультипликативности. В PrinciplesMathematica Рассел рассматривает теорию типов, аксиому бесконечности, аксиому мультипликативности и ряд других положений, как логические предложения. Однако здесь возникает проблема, связанная с логическим статусом данных положений. Очевидно, что характеристика различных уровней бытия, предложенная теорией типов, или аксиома бесконечности, характеризующая совокупность предметов в мире, выходит за рамки аналитического знания. В самом деле, разрабатывая теорию типов, Рассел говорит о недопустимости определенной комбинации символов в языке логики. Однако то, что он имеет в виду, выходит за рамки символической комбинаторики, поскольку сами по себе символы основание для такого запрета не дают. Ограничения возможны только тогда, когда в расчет принимается определённая интенция значения. Стало быть, теория типов основана на онтологической предпосылке о допустимых типах значения и существенно от неё зависит. Последующее расширение границ и методов формального анализа ставится Расселом в зависимость от того, что рассматривать в качестве допустимых типов значения, Говоря о классах, английский философ всё-таки не допускает их реального существования, поскольку это возрождало бы иерархическую структуру бытия в смысле Платона, и даже превосходило бы предложенное последним удвоение реальности, так как предполагало бы умножение её admflnitum соответственно умножению различных типов знаков. Здесь возникает концепция неполных символов (под которыми понимаются символы классов, дескрипций и т.п.), рассматривающая классы, дескрипции и т.д., как логические фикции, и которая по существу редуцирует все возможные типы значений к примитивным. При всей неопределённости понятия примитивного значения, независимо от того, затребовано это понятие сугубо логическими потребностями или же нет, у Рассела оно связано с принимаемыми им теоретико-познавательными установками эмпиризма, и, в частности, с разрабатываемым им разделением знания на два существенно разнородных типа. Во-первых, это знание по знакомству, и, во- вторых, это знание по описанию. Концепция двух типов знания лежит в основании второй из указанных выше детерминации творчества Рассела и также оказывает значительное влияние на интерпретацию логических идей, но характеризует уже не онтологическое содержание развиваемой им логики, а её теоретико-познавательное значение. В основании любого знания, считает Рассел, лежит непосредственное знакомство с объектом. 'Мы говорим, что знакомы с чем-либо, если нам это непосредственно известно, - без посредства умозаключений и без какого бы то ни было знания суждений (истины)'2. Любое другое знание может рассматриваться только в качестве знания, опосредованного логическими структурами мышления, интегрирующего языковые средства, либо в качестве выводного знания, либо в качестве указания на фиксированные свойства, включённые в структуру дескрипции. В последнем случае 'мы знаем описание, и мы знаем, что есть какой-то предмет, точно соответствующий этому описанию, но сам этот предмет нам непосредственно не известен. В этом случае мы говорим, что наше знание предмета есть знание предмета по описанию'. Рассел не считает описание какой-то новой познавательной процедурой, отличной от тех, что предлагали традиционные теории познания. Оно не есть новый логический элемент наряду с понятием, суждением и умозаключением. 'Знание вещей по описанию всегда предполагает в качестве своего источника некоторое знание истинных суждений', и, таким образом, 'всё наше знание, как знание вещей, так и знание суждений (истины) строится на знании-знакомстве, как на своём фундаменте''. Рассел отводит логике роль своеобразной редукционной процедуры, связанной с аналитическим смыслом самого философствования, поскольку 'основной принцип в анализе положений, содержащих описание, гласит: каждое предложение, которое мы можем понять, должно состоять лишь из составных частей, нам непосредственно знакомых'2. Редукционная процедура, по мысли Рассела, должна всегда заканчиваться некоторым не редуцируемым остатком, который и будет представлять собой совокупность примитивных значений. Что представляет собой эта совокупность, каждый раз решается по-разному и зависит от логической структуры анализируемого выражения. Проще всего дело обстоит с выражениями, содержащими лишь такие знаки, которые имеют эмпирическое значение. Здесь знание по знакомству, в общем, согласуется с традиционным английским эмпиризмом. Сложнее решить вопрос со значением выражений чистой логики, которые, даже имея эмпирическую реализацию, всё-таки не сводятся к эмпирическому содержанию. Решению последнего вопроса служит разрабатываемая Расселом теория истины, объясняющая не только априорный характер положений логики, но и возможность перехода от знания знакомства к знанию по описанию. В данном случае теоретико-познавательные предпосылки имеют ещё больший смысл, если учесть, что истина является ведущей темой логики. Для Рассела обоснованная теории логики равнозначна обоснованной теории истины. Когерентная теория истины, практикуемая неогегельянцами, очевидно, не подходит для решения поставленной задачи. Непосредственное усмотрение истины, как свойства абсолюта, предлагаемое, например, Брэдли, предполагает, что в основании суждений (т.е. знания по описанию) также Лежит отношение знакомства, правда, имеющее характер интеллектуального созерцания. В условиях принимаемого Расселом онтологического базиса (плюрализм и внешние отношения) теория такого типа не в состоянии объяснить возможность лжи, поскольку непосредственное отношение к объекту лишено ошибки. Разрабатываемая английским философом корреспондентская теория истины должна удовлетворять следующим принципам: '1.Наша теория истины должна допускать её противоположность ошибку... Ц.Кажется совершенно очевидным, что если бы не было убеждений, то не могло бы быть ни лжи, ни истины - в том смысле, в котором истина коррелятивна лжи ... истина и ложь - свойства убеждений и утверждений; и поэтому чисто материальный мир, так как он не содержит ни убеждений, ни утверждений, не может включать в себя ни истины, ни лжи. Ш. .. .Истинность и ложность убеждения зависит всегда оттого, что лежит вне самого убеждения ... хотя истинность и ложность - свойство убеждения, но эти свойства зависят от отношения убеждения к другим вещам, а не от какого-то внутреннего качества убеждения'3. По мысли Рассела, отношение убеждения к реальности совершенно иное, нежели отношение непосредственного знакомства, хотя последнее и лежит в основании первого. Это связано, прежде всего, с тем, что убеждение в отношении одних и тех же элементов конституирует два истинностных значения, а именно, 'истина' и 'ложь', что было бы невозможно, если бы убеждение было бы непосредственным отношением к реальности, как считали неогегельянцы, связывая истину и ложь синтеллектуальным созерцанием. Любое созерцание, как непосредственное отношение познающего разума к познаваемому, при объяснении возможности лжи, придаёт последней объективный характер предмета, данного в созерцании, чего не учитывают представители абсолютного идеализма. Субстанциальность лжи кажется ещё менее вероятной, чем субстанциальность истины. С точки зрения английского философа 'отношение, устанавливаемое суждением или убеждением, должно, если мы хотим найти место и для лжи, происходит между большим количеством терминов чем два. Когда Отелло убеждён, что Дездемона любит Кассио, то перед нами не единый предмет, 'любовь Дездемоны к Кассио' или 'что Дездемона любит Кассио', ибо это устанавливало бы возможность объективной лжи, существующей независимо от всякой мысли... И легче принять во внимание возможность лжи, если мы признаем суждение отношением, в котором принимают участие, как сознание, так и ряд предметов; этим я хочу сказать, что и Дездемона, и любовь, и Кассио, всё это должно быть терминами отношения, существующего, когда Отелло убеждён, что Дездемона любит Кассио. И, таким образом, это отношение - отношение четырёх терминов, ибо и Отелло является одним из терминов отношения'1. Всё дело в том, что, помимо предметов, данных посредством знакомства, в процедуре суждения участвует ещё и познающий разум, образующий субъективную сторону суждения. Деятельность субъекта сводится к процедуре упорядочивания конституант, расположение которых может соответствовать или же не соответствовать их порядку в объективном факте. Именно возможность упорядочивания образует основание возможности истинности и ложности, 'Если убеждение истинно, то существует ещё одно сложное единство, в котором отношение, бывшее одним из объектов убеждения, соотносит остальные объекты. Таким образом, если Отелло истинно убеждён, что Дездемона любит Кассио, то существует сложное единство 'Любовь Дездемоны к Кассио', состоящее исключительно из объектов убеждения, в том же порядке, в котором они были и в убеждении, и отношение, которое было раньше одним из объектов, теперь выступает в роли цемента, связывающего воедино остальные объекты убеждения. С другой стороны - если убеждение ложно, то нет этого сложного единства, состоящего лишь из объектов убеждения. Если Отелло ложно убеждён в том, что Дездемона любит Кассио, то нет тогда сложного единства 'Любви Дездемоны к Кассио'. И таким образом, убеждение истинно, если оно соответствует определённому сложному комплексу, и ложно, если оно ему не соответствует. Предположим для простоты, что предметом убеждения являются два термина и одно отношение, и что эти термины расположены в