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

Определения не вполне корректны, но они будут способствовать вашему пониманию того, что я имею в виду. Одна из причин недостаточной корректности состоит в том, что они не применимы к словам, которые, подобно 'или' и 'не', являются частями пропозиций, но которым не соответствует никакая часть соответствующих фактов. Последнее является предметом лекции III. Я называю эти определения предварительными, потому что они отправляются от комплексности пропозиции, определяемой ими психологически, и переходят к комплексности факта, тогда как совершенно ясно, что при правильной, надлежащей процедуре нужно начинать с комплексности факта. Ясно также и то, что комплексность факта не может быть чем-то просто психологическим. Если в астрономическом факте Земля движется вокруг Солнца, то это представляет собой подлинный комплекс. Этот факт является комплексным не потому, что вы так считаете, он представляет собой разновидность подлинной объективной комплексности, и следовательно, при надлежащей, правильной процедуре нужно начинать с комплексности мира и переходить к комплексности пропозиции. Единственная причина кружного пути состоит в том, что во всех абстрактных рассуждениях символы постигаются легче. Однако я сомневаюсь, определима ли вообще комплексность в том фундаментальном объективном смысле, в котором исходят из комплексности факта. Вы не сможете проанализировать то, что подразумеваете под комплексностью в этом смысле. Вам как раз необходимо её постичь - по крайней мере так я склонен считать. Не задавая критерия типа того, что задал я, о ней нельзя сказать ничего. Поэтому, если вы не способны провести действительно правильный анализ предмета, то в общем лучше обговорить это без заявлений о том, что вы дали точное определение. Можно предположить, что комплексность по существу должна иметь дело с символами или что она в сущности психологична. Я не думаю, что можно серьёзно настаивать на какой-то из этих точек зрения, но они из тех, что приходят на ум, а кое-кто пытается рассмотреть, будут ли они работать. Я не думаю, что они вообще работоспособны. Когда мы дойдём до принципов символизма, которые я буду рассматривать в лекции VII, я попытаюсь убедить вас, что при логически корректном символизме всегда имеется определённое фундаментальное тождество структур факта и его символа, и что комплексность символа находится в очень близком соответствии с комплексностью символизируемого им факта. К примеру, при осмотре факта, в котором два предмета находятся в определённом отношении друг к другу - например, это находится слева от того так же, как я говорил раньше, совершенно непосредственно очевидно, что не только постижение факта является комплексным, он сам объективно представляет собой комплекс. Факт, что два предмета находятся в определённом отношении друг к другу или любое высказывание такого типа обладает комплексностью само по себе. Поэтому в будущем я буду предполагать, что в мире имеет место объективная комплексность и что она отражается в комплексности пропозиций. Немного ранее я говорил о больших преимуществах, которые даёт нам логически несовершенный язык и которые связаны с тем, что все наши слова двусмысленны. Теперь я предлагаю рассмотреть, какого типа языком был бы логически совершенный язык. В логически совершенном языке слова в пропозиции однозначно соответствовали бы компонентам соответствующего факта, за исключением таких слов, как 'или', 'не', 'если', 'тогда', которые выполняют иную функцию. В логически совершенном языке для каждого простого объекта будет не более одного слова, а всё, что не является простым, будет выражено комбинацией слов, и эта комбинация, конечно, производив от входящих в неё слов для простых предметов, одно слово для каждого простого компонента. Язык такого типа будет полностью аналитическим и сразу же будет показывать логическую структуру утверждаемых или отрицаемых фактов. Язык, предлагаемый в Principia Mathematica*, предназначен для того, чтобы быть языком такого типа. Этот язык имеет только синтаксис и не имеет какого бы то ни было словаря. Подчёркивая отсутствие словаря, я утверждаю, что это вполне нормальный язык. Его цель быть языком такого типа, чтобы при добавлении словаря получился бы логически совершенный язык. Действительные языки не являются логически совершенными в этом смысле, а возможно и не могут быть таковыми, если они должны служить целям повседневной жизни. Логически совершенньш язык, если он мог бы быть сконструирован, был бы не только невыносимо многословным, но в отношении своего словаря был бы для того, кто говорит, в очень значительной степени личным. Другими словами, все имена, которые использовал бы говорящий, имели бы для него личный характер и не могли бы войти в язык другого. Он не мог бы употреблять собственные имена для Сократа, Пикадилли или Румынии по той причине, о которой я говорил в лекции ранее. В общем, вы нашли бы этот язык действительно очень неудобным. Одна из причин сильного отставания логики как науки заключается в том, что её нужды чрезвычайно отличаются от нужд повседневной жизни. Язык нужен и для того, и для другого, и к несчастью только логика, а не повседневная жизнь, должна указывать путь. Тем не менее, я буду предполагать, что логически совершенньш язык мы сконструировали и по случаю в состоянии его использовать, и теперь я возвращаюсь к вопросу, с которого намеревался начать, а именно, к анализу фактов.

Наиболее просто вообразить факты, состоящие в том, что некоторый отдельный предмет обладает неким качеством. Например, факты типа "Это - белое'. Они должны браться в самом усложнённом смысле. Я хочу, чтобы вы думали не о куске мела, который я держу, но о том, что вы видите, когда смотрите на мел. Самый простой факт можно получить, сказав: "Это - белое'. Следующими по простате были бы факты, в которых вы обладаете отношением между двумя индивидами, такие как: 'Это находится слева от того'. Затем идут факты, где имеется трёхместное отношение между тремя индивидами. (Пример, который приводит Ройс, таков: 'А отправляет В к С'.) Так вы получаете отношения, которые требуют как минимум три члена и которые мы называем трёхместными, отношения, которые требуют четыре члена и которые мы называем четырёхместными и т.д. Здесь вы получаете всю бесконечную иерархию фактов - фактов, в которых у вас есть предмет и качество, два предмета и отношение, три предмета и отношение, четыре предмета и отношение, и т.д. Эта целостная иерархия конституирует то, что я называю атомарными фактами. Они представляют собой простейшую разновидность фактов. Некоторые из них вы можете в сравнении с другими выделить как более простые, поскольку факты, содержащие качество, более просты, чем факты, в которых у вас есть, скажем, пятиместное отношение, и т.д. Взятые в совокупности во всём своём множестве, они фактически очень просты и представляют собой то, что я называю атомарными фактами. Пропозиции, которые их выражают, я называю атомарными пропозициями. В каждом атомарном факте есть один компонент, который естественным образом вьфажен глаголом (или, в случае качества, его можно выразить предикатом, прилагательным). Этот компонент представляет собой качество, или двухместное, или трёхместное, или четырёхместное . . . отношение. В целях обсуждения данной темы было бы очень удобно называть качество 'одноместным отношением', и я буду так делать; это предохраняет от излишнего многословия. В таком случае вы можете сказать, что все атомарные пропозиции утверждают отношения различных порядков. Помимо отношения атомарные факты содержат члены отношения - один член, если отношение одноместное, два, если отношение двухместное, и т.д. Эти 'члены', входящие в атомарные факты, я определяю как 'индивиды'.