Связка «такой, что»

Третья строка таблицы, приведенной в разделе 6.6, описывает конструкцию, которая высказыванию сопоставляет объект. В естественных языках эта конструкция употребляется чрезвычайно широко. Когда мы говорим «красный мяч», мы имеем в виду объект «мяч», который обладает свойством «красный», т. е. такой, что верно высказывание «красный» («мяч»). Высказывание об объекте мы переносим в прилагательное, относящееся к существительному, которым мы обозначили объект, в других случаях для этой цели могут служить причастия, причастные обороты, обороты со связками «который», «такой, что». Если мы пойдем дальше в этом анализе, то обнаружим, что и существительное, подобно прилагательному, указывает в первую очередь на определенное свойство (свойства) объекта. Слово «мяч», как и слово «красный», изображает некоторый класс объектов и ему можно сопоставить одноместный предикат «является мячом»(х), или просто «мяч»(х). Тогда «красный мяч» это такой предмет a, что верны высказывания «мяч»(a) и «красный»(a), иначе говоря, верно высказывание

«мяч»(a) «красный»(a)

Обратите внимание: в логической записи фигурирует три независимых элемента — буква a, предметы «мяч» и «красный», а в записи на естественном языке их остается только два «красный» и «мяч». Однако буква a, которую в логическую запись вводят для того, чтобы идентифицировать данный объект, отличить его от других, и которую поэтому называют идентификатором, не совсем исчезла в естественной записи. Она перешла в понятие «мяч», превратив его из свойства в предмет! В отличие от слова «красный» слово «мяч» идентифицирует — вы можете сказать «это тот мяч, который мы потеряли вчера» или «я имею в виду тот самый мяч, о котором говорил в предыдущей фразе».

Что же такое «предмет»?