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

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