Физические и функциональные объекты
Функциональные объекты-роли интересны тем, что они могут исчезать из физического мира и снова появляться совершенно другими. Физичны ли они сами? Да, физичны, хотя некоторые философы и настаивают, что роли можно считать абстрактными объектами, но инженеры и менеджеры прислушиваются к другим философам, которые указывают, что большинство людей считает функциональные объекты существующими в тот момент, когда какие-то физические объекты играют их роль. Мы можем мыслить о Принце Гамлете, подразумевая что он существует в тот момент, когда его роль играет один из актёров (например, известный артист Василий Пупкин). По Принцу Гамлету в этот момент можно постучать, можно ткнуть в него пальцем, он занимает место в пространстве-времени.
4D экстенсионализм позволяет это осмыслить: даже если какой-то предмет определяется интенсионально (intentional), то есть по чьему-то намерению (intent), указанием назначения, то всё равно можно выяснить, какое место в пространстве-времени относится к этому предмету, и дальше уже проводить обычные рассуждения для физического предмета. Когда кто-то выделяет в соответствии с ролью функциональный объект, можно дальше отождествить его с каким-то физическим объектом, находящимся на том же месте, и считать, что функциональный и физический объект на какой-то период времени – это один и тот же объект.
Например, я могу выделить в своей жизни четырёхмерный индивид «моя любимая игрушка» – это плюшевый мишка в период 40 лет назад, игрушечный самолётик в период 30 лет назад и планшетный компьютер сегодня. А в промежутках, может быть, мне было не до игр, и функциональный объект «моя любимая игрушка» в этот период вовсе не существовал. Физические индивиды, играющие роль функционального объекта «моя любимая игрушка» несколько раз менялись, а вот функция (поведение – участвовать в моих играх) оставалась той же. Моя любимая игрушка в тот момент, когда она существует, вполне занимает экстент – по ней можно постучать, её можно понюхать, о ней можно говорить как о физически существующем предмете.
Зачем нужны функциональные объекты? Удобно выделить объект «президент США» – это такой четырёхмерный функциональный объект, выделенный на основе своей функции, роли в государственном управлении США. Он существует с 30 апреля 1789 года по настоящий момент, а также во многих возможных версиях будущего. При этом с 22 февраля 1732 по 14 декабря 1799 существовал обычный «четырёхмерный» человек Джордж Вашингтон (физический объект-индивид). Что же происходило с 30 апреля 1789 по 4 марта 1797 года? В этот период два четырёхмерных индивида пересеклись в одном и том же экстенте, одном и том же месте пространства-времени. Полная темпоральная часть «президента США» совпадала с полной темпоральной частью «Джорджа Вашингтона». А потом они снова разошлись – следующая полная темпоральная часть «президента США» совпадала с полной темпоральной частью Джона Адамса, потом с полной темпоральной частью Томаса Джефферсона, и т. д. Иллюстрирующая диаграмма взята из книги Matthew West68 (Рис. 1).
Четырёхмерная картина мира с функциональными объектами (в которых спрятана функция-поведение) и темпоральными частями (в которых спрятана развёртка во времени) оказывается очень удобной для описания изменений. Эти описания получаются более точными, строгими и компактными – и они одинаковы для разных ситуаций, что существенно экономит мышление.
Рис. 1
Вот, например, подумайте о замене насоса в установке первичной перегонке нефти или танцора в постановке балета «Спартак» – они абсолютно не отличается от схемы замены президента США: просто в функциональном объекте-роли меняют физический объект-исполнитель этой роли. Диаграммы будут идентичны.
Посмотрите на картинку (пример Matthew West) и сами разберите нарисованный на ней пример съёма двигателя с самолёта (Рис. 2).
Двигатель (с серийным номером) 329 (обычный индивид, физический объект) пересекается темпоральной частью с Самолётом 684 (обычный индивид).
Двигатель 329 (обычный индивид) совпадает темпоральной частью с темпоральный частью Левого двигателя самолёта 684 (функциональный индивид).
Левый двигатель самолёта 684 (функциональный индивид) является частью (то есть тоже пересекается, но во все моменты времени) с Самолётом 684 (обычный индивид).
Рис. 2
Таково необычное поведение четырёхмерных объектов – они могут совпадать друг с другом темпоральными частями или пересекаться ими. Стандартными отношениями состава (composition, «часть-целое») мы смогли описать то, для чего при иных подходах необходимо было бы определять специальные отношения «выполнять роль», «занимать место» и т. п. Может быть, это не так важно в разговорах людей, но это оказывается важным при «объяснении компьютеру»: при создании компьютерных баз данных, в которых перечисляются самые разные объекты, с которыми нужно работать.