Эта абсолютная неизменность является формой, в которой мы отражаем относительную и временную неизменность, которую находим в реальности. Мы как бы проводим линию во времени, соединяя детали на различных кинокадрах, и объявляем, что все, что находится на этой линии, есть «тот же самый» предмет. Эта линия в сочетании с некоторым набором свойств (качеств) и образует понятие о предмете.
Логическое понятие объекта соответствует свойству физических предметов сохранять свою идентичность. Объект логики — это только идентификатор и больше ничего. Он обладает только свойством «быть тем же самым» и является именем воображаемой линии, соединяющей детали на кадрах киноленты. Если есть несколько различных классов объектов, то обычно условливаются обозначать объекты разных классов разными типами идентификаторов, например отрезки — малыми латинскими буквами, точки — большими латинскими буквами, углы — греческими буквами и т.п. Но более конкретные свойства, присущие объектам, записываются уже в виде отдельных утверждений, включающих введение обозначения. Это позволяет обходиться без конструкции со связкой «такой, что». Правда, Бурбаки в самом начале своего знаменитого трактата «Элементы математики» вводит обозначение τx[A(x)] для некоторого объекта, обладающего свойством A(х), т. е. такого, что A{τx[A(x)]} — истинное высказывание. Однако в дальнейшем это обозначение исчезает из текста. Поэтому даже определенного названия для конструкции, сопоставляющей объект высказыванию, не установилось и в нашей таблице мы вынуждены поставить прочерк. Полное разделение труда между идентификаторами и высказываниями оказывается в конечном счете удобнее.
Возьмем для примера фразу: «Рыжий пес вдовы поручика Пшебысского загрыз бродячую кошку». При записи на языке логики эта фраза разложится на несколько высказываний, которые неявно в ней содержатся, выражаясь с помощью грамматической категории определения. Их можно объединить с помощью знака конъюнкции в одно высказывание, однако запись получится более привычной и обозримой, когда все делаемые утверждения просто выписываются, каждое с новой строчки, разделяясь запятыми вместо знаков конъюнкции. Полагая, что смысл вводимых свойств и отношений ясен из контекста, получаем следующий эквивалент указанной фразы:
«пес»(a),
«рыжий»(a),
«принадлежит»(a, b),
«вдова»(b, c),
«поручик Пшебысский»(c),
«загрыз»(a, d),
«кошка»(d),
«бродячая»(d).
В приведенном выше примере один из предикатов, а именно предикат «поручик Пшебысский»(c), отличается от остальных предикатов своей явной неэлементарностью. В свойстве «быть поручиком Пшебысским» мы различаем две стороны: иметь чин и иметь фамилию Пшебысский. Поэтому и предикат выражается двумя словами. Конечно, мы могли бы представить каждое из этих слов в виде отдельного предиката, но тот факт, что «поручик» это чин объекта c, а «Пшебысский» — его фамилия, при этом не нашел бы отражения, почему мы и сочли такое разделение бессмысленным.
«Фамилия» и «чин» — это примеры функции от одного аргумента, т. е. конструкции, сопоставляющей объекту-аргументу объект-значение функции. Функция записывается так, как это принято в математике: «фамилия»(x), «чин»(x) и т. п. Если аргументов несколько, то они отделяются друг от друга запятой и мы имеем дело с функцией нескольких переменных. Эта конструкция сопоставляет набору объектов-аргументов (порядок их важен) объект-значение. Пример функции двух аргументов: «результат игры в шахматы» (x, у). Приведем примеры функций из математики. Функции одного аргумента: sin(x), |x|. Функции двух аргументов: арифметические действия, которые можно записывать так: +(х, у), -(х, у) и т.д.; расстояние r(A, B) между двумя точками A и B в пространстве. Функции трех аргументов: угол, образуемый в точке B направлениями на точку A и C; обозначение ∠(A, B, C), сокращенно ∠ABC.