Итак, мы рассмотрели основные идеи Рассела, которые вошли составными блоками в его метафизическую концепцию логического атомизма. Эта концепция выросла из стремления Рассела понять взаимосвязь между языком и миром, подкрепленного верой в то, что формальная логика, позволяющая построить логически совершенный язык, обеспечивает лучший путь к пониманию этой взаимосвязи.
Рассел использует в названии своей концепции слово «атомизм» с тем, чтобы противопоставить свою позицию монизму неогегельянцев, представлявших реальность как целостность, части которой внутренним и необходимым образом связаны друг с другом. Онтология, разрабатываемая Расселом, является плюралистичной. Еще одним следствием монизма неогегельянцев было то, что ни одно отдельное суждение не является целиком истинным или целиком ложным, ибо истиной обладает реальность в целом, понятая как Абсолют. Для Рассела такая позиция неприемлема: в его представлении мир состоит из дискретных фактов, которые могут быть помыслены и выражены в языке, и если предложения соответствуют этим фактам, то они, как отдельные «атомы», являются целиком истинными или целиком ложными. Определение «логический» в названии концепции призвано подчеркнуть, что атомы, которые имеет в виду Рассел, не следует смешивать с физическими атомами, это иные онтологические сущности. Логический атом — это онтологическое простейшее, выступающее пределом логического анализа знания.
Согласно Расселу, самая интересная вещь о мире, обнаруживаемая в ходе логического исследования, состоит в том, что наиболее фундаментальные черты реальности являются очевидными. Такой очевидностью обладает, с его точки зрения, составленность мира из дискретных фактов, которые, в свою очередь, составлены из метафизически простейших компонентов — партикулярий (индивидуальных сущих) и универсалий. Последние и представляют собой предельные «атомы», обнаружить которые можно только с помощью логического анализа языка, ибо Рассел постулирует параллелизм между онтологической структурой реальности и логической структурой (совершенного) языка: для того чтобы предложение утверждало какой-то конкретный факт, оно должно иметь логическую структуру, совпадающую с онтологической структурой факта.
Однако отображают реальность только атомарные предложения в силу того, что входящие в их состав логические имена собственные обеспечивают связь с миром, ибо если выражение является именем, то должна существовать конкретная вещь, обозначаемая данным именем. Атомарное предложение является истинным в том случае, когда оно соответствует атомарному факту, который рассматривается Расселом как сложная сущность, состоящая из универсалии, обозначенной предикатом, и партикулярий, поименованных логическими именами собственными. Истинность же молекулярных предложений, образуемых из атомарных при помощи логических связок «и», «или», «не» и т. п., определяется как функция от истинности составляющих их атомарных предложений. Но здесь возникает вопрос: если истинность атомарных предложений обусловливается их соответствием атомарным фактам, то существуют ли в мире факты, соответствующие отрицательным, конъюнктивным, дизъюнктивным и другим сложным предложениям? В случае конъюнкции Рассел считает, что предложение P&Q истинно в том случае, когда оно одновременно соответствует фактам, которые делают истинными P и Q соответственно. Нам не нужно иметь какого-либо сложного конъюнктивного факта, поскольку одновременного соответствия двум фактам достаточно для объяснения истинности конъюнкции. Сходные соображения он высказывает в отношении дизъюнкции: истинность дизъюнктивных предложений вполне объясняется их соответствием одному или двум соответствующим фактам, без допущения дизъюнктивных фактов, поэтому, подобно конъюнкции, дизъюнкция ничего не обозначает в мире. Однако в отношении отрицания позиция Рассела иная, ибо он признает существование отрицательных фактов. Истинность отрицательного предложения не-P не может быть обусловлена соответствием факту, который делает истинным P, ибо такого факта не существует. Тогда какому другому факту это предложение могло бы соответствовать? Рассел не видит иного выхода, как признать, что истинное отрицательное предложение соответствует факту, в который помимо обычных компонентов входит также абстрактный элемент, обозначенный «не». Включает он в свою онтологию и «общие» факты, соответствующие предложениям с кванторами, — на том основании, что общие суждения, как правило, не являются логическим следствием из какой-либо совокупности единичных суждений, а стало быть, должны существовать общие факты, не редуцируемые к единичным фактам. С определенными колебаниями Рассел признает существование «неэкстенсиональных» фактов, соответствующих предложениям с пропозициональными установками (выражениями вроде «считает, что», «надеется, что» и т. п.), полагая, что их истинность нельзя объяснить с помощью фактов, соответствующих входящим в них придаточным предложениям.