В1,А1— одновременно с В1,В1— одновременно с С1,А1— чуть предшествует А2, А2—одновременно с В2, В2— одновременно с С2, С2 находится рядом с В2, С2находится далеко от А,. Это множество из девяти суждений логически эквивалентно одному суждению, включающему А1 В1, C1 A2, В2, С2. Следовательно, это одно суждение является не данным, а выводным. Существует еще одна трудность: «рядом» и «далеко» являются относительными терминами; в астрономии Венера находится близко от Земли, но не с точки зрения человека, что-либо передающего другому. Однако подобных проблем можно избежать. Можно подставить «С1 соприкасается сА1» вместо «C1находится рядом с А1 " и «нечто расположено между С1 и В1» вместо «C1 находится далеко от В1". Здесь «соприкасается» и «между» должны быть видимой данностью. Таким образом, трехместное отношение «расположен между», кажется, самая сложная из требуемой данности.
Важность атомарных форм и противоречащих им форм состоит, как мы увидим, в том, то все суждения, по крайней мере все непсихологические суждения, оправданные наблюдением без помощи умозаключений, имеют эти формы. Другими словами, если быть аккуратными, все предложения, несущие сообщения об эмпирической физической данности, будут утверждать или отрицать суждения атомарной формы. Все другие предложения физики теоретически могут быть либо доказаны, либо опровергнуты (если представится случай), или окажутся вероятными, или невероятными, что устанавливается с помощью атомарных форм. Поэтому не следует включать в данность ничего такого, что можно было бы логически доказать или же опровергнуть посредством других данных. Но это возможно только путем предвидения.
Предложение атомарной формы, выраженное в строго логическом языке, содержит конечное число собственных имен (сколь угодно большое число), а также одно слово, не относящееся к собственным именам. Например: «х — желтый», «х — раньше, чему», «х расположен между у и z» и так далее. Мы можем отличать собственные имена от других слов на основе того факта, что собственное имя может входить в каждую форму атомарного предложения, в то время как слово, которое не является собственным именем,