Индивиды = члены отношения в атомарных фактах. Df.

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