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