Турчин Фёдорович - Феномен науки. Кибернетический подход к эволюции
Положение меняется, когда надо классифицировать не отдельные ситуации, а временные последовательности ситуаций — будем их представлять в виде кинолент, кадры которых суть мгновенные ситуации. На такой киноленте «мяч» — это не просто деталь ситуации (одного кадра), а деталь ситуации, повторяющаяся на многих кадрах. Распознаватель понятия «мяч» должен не только сказать: «Да, друзья, это — мяч!» — но и выделить определенные детали на кадрах, сказав: «Вот этот мяч на кадре №137, а вот тот же самый мяч на кадре №138, вот он же на кадре №139 и вот он таким казался на кадре №120», — и т.д. Деталь ситуации, именуемая «тем самым мячом», может довольно существенно меняться вследствие изменения положения глаза относительно мяча или изменения формы самого мяча, но идентификация мяча как «того самого» остается неизменной и абсолютной.
Эта абсолютная неизменность является формой, в которой мы отражаем относительную и временную неизменность, которую находим в реальности. Мы как бы проводим линию во времени, соединяя детали на различных кинокадрах, и объявляем, что все, что находится на этой линии, есть «тот же самый» предмет. Эта линия в сочетании с некоторым набором свойств (качеств) и образует понятие о предмете.
Логическое понятие объекта соответствует свойству физических предметов сохранять свою идентичность. Объект логики — это только идентификатор и больше ничего. Он обладает только свойством «быть тем же самым» и является именем воображаемой линии, соединяющей детали на кадрах киноленты. Если есть несколько различных классов объектов, то обычно условливаются обозначать объекты разных классов разными типами идентификаторов, например отрезки — малыми латинскими буквами, точки — большими латинскими буквами, углы — греческими буквами и т.п. Но более конкретные свойства, присущие объектам, записываются уже в виде отдельных утверждений, включающих введение обозначения. Это позволяет обходиться без конструкции со связкой «такой, что». Правда, Бурбаки в самом начале своего знаменитого трактата «Элементы математики» вводит обозначение τx[A(x)] для некоторого объекта, обладающего свойством A(х), т. е. такого, что A{τx[A(x)]} — истинное высказывание. Однако в дальнейшем это обозначение исчезает из текста. Поэтому даже определенного названия для конструкции, сопоставляющей объект высказыванию, не установилось и в нашей таблице мы вынуждены поставить прочерк. Полное разделение труда между идентификаторами и высказываниями оказывается в конечном счете удобнее.
Возьмем для примера фразу: «Рыжий пес вдовы поручика Пшебысского загрыз бродячую кошку». При записи на языке логики эта фраза разложится на несколько высказываний, которые неявно в ней содержатся, выражаясь с помощью грамматической категории определения. Их можно объединить с помощью знака конъюнкции в одно высказывание, однако запись получится более привычной и обозримой, когда все делаемые утверждения просто выписываются, каждое с новой строчки, разделяясь запятыми вместо знаков конъюнкции. Полагая, что смысл вводимых свойств и отношений ясен из контекста, получаем следующий эквивалент указанной фразы:
«пес»(a),
«рыжий»(a),
«принадлежит»(a, b),
«вдова»(b, c),
«поручик Пшебысский»(c),
«загрыз»(a, d),
«кошка»(d),
«бродячая»(d).
6.12. Функции
В приведенном выше примере один из предикатов, а именно предикат «поручик Пшебысский»(c), отличается от остальных предикатов своей явной неэлементарностью. В свойстве «быть поручиком Пшебысским» мы различаем две стороны: иметь чин и иметь фамилию Пшебысский. Поэтому и предикат выражается двумя словами. Конечно, мы могли бы представить каждое из этих слов в виде отдельного предиката, но тот факт, что «поручик» это чин объекта c, а «Пшебысский» — его фамилия, при этом не нашел бы отражения, почему мы и сочли такое разделение бессмысленным.
«Фамилия» и «чин» — это примеры функции от одного аргумента, т. е. конструкции, сопоставляющей объекту-аргументу объект-значение функции. Функция записывается так, как это принято в математике: «фамилия»(x), «чин»(x) и т. п. Если аргументов несколько, то они отделяются друг от друга запятой и мы имеем дело с функцией нескольких переменных. Эта конструкция сопоставляет набору объектов-аргументов (порядок их важен) объект-значение. Пример функции двух аргументов: «результат игры в шахматы» (x, у). Приведем примеры функций из математики. Функции одного аргумента: sin(x), |x|. Функции двух аргументов: арифметические действия, которые можно записывать так: +(х, у), -(х, у) и т.д.; расстояние r(A, B) между двумя точками A и B в пространстве. Функции трех аргументов: угол, образуемый в точке B направлениями на точку A и C; обозначение ∠(A, B, C), сокращенно ∠ABC.
Не всякий объект можно подставить в качестве аргумента (аргументов) в заданную функцию. Если объект a — рыжий пес, то, очевидно, конструкция «чин»(a) бессмысленна. Бессмысленна и конструкция +(a, B), где a — число, а, B — точка в пространстве. Множество объектов, которые могут быть аргументами функции (для функций от многих аргументов — множество наборов объектов), называется ее областью определения. Область определения функции «чин» (x) образуют все те объекты, которые являются военнослужащими. Объекты, которые могут быть значениями данной функции, образуют множество, которое называют областью значений функции. В область значений функции «чин»(x) входят такие объекты, как «прапорщик», «поручик», «майор» и др., но никак не «3.14» или «рыжий пес». Функция «чин»(x) приписывает каждому военнослужащему определенный чин.
Когда мы имеем дело с функциями, одно из отношений между объектами становится особенно важным, а именно отношение равенства. Оно необходимо для установления соответствия между функциональными конструкциями и наименованиями объектов из области значений функций. Выделяя равенство из массы других отношений, мы сохраним для него привычную запись х = у вместо записи в виде предиката =(х, у). Тот факт, что объект c имеет фамилию «Пшебысский» и чин «поручик», будет выглядеть следующим образом:
(«фамилия»(c) = «Пшебысский») ∧ («чин»(c) = «поручик»).
Отношение равенства можно определить формально с помощью следующих четырех утверждений:
(∀a)(a = a).(∀a)(∀b)[(a = b) ⊃ (b = a)].(∀a)(∀b)(∀c)[(a = b) ∧ (b = c) ⊃ (a = c)].(∀a)(∀b)[(a = b) ⊃ (W(a) ≡ W(b))].
Последнее утверждение верно для любого высказывания W(x), зависящего от переменной х. В качестве упражнений предлагаем читателю перевести эти утверждения на естественный язык.
В одном из примеров, приведенных выше, мы видели предикат D(x, y), имеющий смысл: «x является делителем у». Понятие делимости целиком определяется операцией (функцией) умножения, поэтому предикат D(x, у) может быть выражен через функцию. Натуральное (т. е. целое положительное) число p является делителем числа n тогда и только тогда, когда существует такое натуральное число т, что n = p × m. На языке исчисления предикатов
(∀p)(∀n)[D(p, n) ≡ (∃m)(n = ×(p, m))].
Каждой функции от n аргументов можно поставить в соответствие n+1-местный предикат, выражающий то отношение, что один (скажем, последний) аргумент есть данная функция от остальных аргументов. Например, функции ×(x, y) соответствует предикат M(x, y, z), который дает верное высказывание в том и только в том случае, когда z = ×(x, y). В общем случае функции f(x, у, ..., z) соответствует предикат F(x, у, ..., z, u), обладающий свойством
