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

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

Индивиды = члены отношения в атомарных фактах. Df. Таково определение индивидов, и я хочу сделать на этом ударение, поскольку определение индивида есть нечто чисто логическое. Вопрос, является это или то индивидом, должен решаться с точки зрения данного логического определения. Чтобы понять данное определение, не нужно знать заранее, что 'Это является индивидом' или 'То является индивидом'. Оно оставляет открытым для исследования вопрос о том, что за индивиды вы можете найти в мире, если вообще можете найти. Общий вопрос о том, какие индивиды вы действительно находите в реальном мире, является чисто эмпирическим и не интересует логика как такового. Логик как таковой никогда не приводит примеров, поскольку один из критериев логической пропозиции заключается в том, что для её понимания вам не нужно знать вообще ничего о реальном мире. Перейдём от атомарных фактов к атомарным пропозициям. Слово, выражающее одноместное отношение или качество, называется 'предикатом', а слово, выражающее отношение какого-либо более высокого порядка, в большинстве случаев было бы глаголом, иногда одним глаголом, иногда целой фразой. Во всяком случае глагол придаёт отношению, так сказать, сущностный нерв. Другие слова, встречающиеся в атомарных пропозициях и не являющиеся предикатами или глаголами, могут быть названы субъектами пропозиции. В одноместной пропозиции будет один субъект, в двухместной - два и т.д. Субъектами пропозиции будут слова, которые выражают члены отношения, выраженного этой пропозицией. Единственным типом слова, теоретически способного обозначать индивид, является собственное имя, и в целом вопрос о собственных именах довольно любопытен.

Собственные имена = слова для индивидов. Df.