Предложения, синтаксис и части речи

может входить только в атомарное предложение с подходящим числом собственных имен. Так, «желтый» требует одного собственного имени, «раньше» — двух, «между» — трех. Такие термины называются предикатами, бинарными отношениями, тернарными отношениями и т. д. Иногда, в целях унификации терминологии, предикаты называют монадическими отношениями.

Мы переходим теперь к другим, чем союзы, частям речи, которые не могут входить в атомарные формы. Таковыми являются неопределенный и определенный артикль, «все», «некоторые», «многие», «ни один». Сюда же, как мы полагаем, следует добавить отрицание «нет», но здесь возникает ситуация, аналогичная союзам. Давайте начнем с неопределенного артикля. Предположим, мы говорим (истинно): «Я видел человека» (I saw a man). Очевидно, что «человек как таковой» не относится к тем вещам, которые возможно видеть, это логическая абстракция. То, что мы видим, представляет некоторую особую форму, которой мы желаем дать собственное имя А; и вы заключаете, что «А является человеком». Два предложения: «Я видел Л» и «А является человеком» позволяют вам дедуцировать «Я видел человека», но это последнее предложение не имеет следствием, что вы видели А или же что А является человеком. Когда вы говорите мне, что видели человека, я не могу сказать, видели вы А или В, или С, или же какого-то другого существующего человека. То, что известно, представляет истинность некоторого суждения формы: «Я видел X, и Xявляется человеком».

Данная форма не является атомарной, будучи составленной из «Я видел х» и «X является человеком». Она может быть дедуцирована из «Я видел А, и А является человеком»; таким образом, она может быть доказана с помощью эмпирических данных, хотя данная форма и не относится к тому виду предложений, которые выражают данность восприятия, поскольку в последнем случае предложение упоминало бы А или В или С или что-либо еще, что вы видели. Напротив, никакие данные восприятия не в состоянии опровергнуть предложение «я видел человека».

Суждения, содержащие слова «все» или «ни один», могут быть опровергнуты эмпирическими данными, но не доказаны, за исклю-