указать пальцем – они не занимают места в пространстве. Они используются в мышлении, чтобы переносить знания между ситуациями. Абстрактные объекты можно выражать символами на каких-то носителях. Но символ и означаемое символом (например, символ доллара и доллар) – это совсем не одно и то же, равно как символ совсем не часть носителя информации, изменение структуры которого (краска, форма углублений) кодирует эти символы.
Множество – это абстрактный объект, не тождественный сумме входящих в него объектов-индивидов. Множество из одного автомобиля – это совсем не то же самое, что этот один автомобиль. Автомобиль имеет экстент, а множество экстента уже не имеет, это просто информация. Другое имя для множества – это тип, или класс. Все красные автомобили-индивиды материальны, а вот множество/тип/класс красных автомобилей – это определение красного автомобиля, оно идеально. Любой красный автомобиль-индивид определяется (defined) как входящий в это множество (классифицируется этим классом, принадлежит этому типу). Мышление ухватывает что-то общее во всех ситуациях, мышление происходит не для отдельных объектов-индивидов, о которых мы знаем разные факты. Мышление происходит для классов/типов/множеств индивидов/экземпляров.
4D экстенсионализм
Если один человек упомянул президента США, а другой – Барака Обаму, то они имели в виду одно и то же лицо? А если другие люди упомянули президента США и Джорджа Вашингтона – они имели в виду тех же лиц? В инженерии тоже нужна жёсткая логика для подобных рассуждений – описанный одним человеком насос P-101 на схеме трубопроводов, и описанный другим человеком насос модели ПДР-15-НШ-12 в монтажной спецификации – это один и тот же насос? А установленный в турбинном зале насос ПДР-15-НШ-12 с серийным номером RKS456/4 – как он соотносится с первыми двумя? Как описать это «в компьютере» так, чтобы и самому не запутаться, и других не запутать?
Ещё Декарт (1596—1650) задавался вопросом: а как вообще понять, что люди говорят об одном и том же объекте, если они видят в нём самые разные свойства (то есть относят его к самым разным классам)? Скажем, один инженер говорит о высокопроизводительной системе, другой – о взрывоопасной, менеджер – о прибыльной, а финансист – о дешёвой? Как тут понять, что речь идёт об одной системе? Ответ на такие онтологические вопросы был дан Декартом и сегодня его подход называют экстенсионализмом (extensionalism)59. В рамках экстенсионализма вслед за Декартом считают, что если экстенты, т.е. место в пространстве, у двух объектов совпадают, то это один и тот же объект. В XX веке к этому добавили ещё и протяжённость во времени, темпоральный/временно́й extent, и соответствующая теория получила название 4D экстенсионализма (4D extensionalism). Для экстенсионального подхода не важно, какие основные или вторичные свойства и сущности увидели разные люди в объекте, или для каких применений этот объект им нужен. Более того, для экстенсионального подхода не важно, одинаковые или разные имена у тех экстентов (мест
Подробней эта история и все остальные онтологические положения этого раздела рассказаны в книге Chris Partridge «Business Objects: Re-Engineering for Re-Use», http://www.brunel.ac.uk/~cssrcsp/BusObj.pdf
