4D экстенсионализм

Если один человек упомянул президента США, а другой — Барака Обаму, то они имели в виду одно и то же лицо? А если другие люди упомянули президента США и Джорджа Вашингтона — они имели в виду тех же лиц? В инженерии тоже нужна жёсткая логика для подобных рассуждений — описанный одним человеком насос P-101 на схеме трубопроводов, и описанный другим человеком насос модели ПДР-15-НШ-12 в монтажной спецификации — это один и тот же насос? А установленный в турбинном зале насос ПДР-15-НШ-12 с серийным номером RKS456/4 — как он соотносится с первыми двумя? Как описать это «в компьютере» так, чтобы и самому не запутаться, и других не запутать?

Ещё Декарт (1596—1650) задавался вопросом: а как вообще понять, что люди говорят об одном и том же объекте, если они видят в нём самые разные свойства (то есть относят его к самым разным классам)? Скажем, один инженер говорит о высокопроизводительной системе, другой — о взрывоопасной, менеджер — о прибыльной, а финансист — о дешёвой? Как тут понять, что речь идёт об одной системе? Ответ на такие онтологические вопросы был дан Декартом и сегодня его подход называют экстенсионализмом (extensionalism). В рамках экстенсионализма вслед за Декартом считают, что если экстенты, т.е. место в пространстве, у двух объектов совпадают, то это один и тот же объект. В XX веке к этому добавили ещё и протяжённость во времени, темпоральный/временно́й extent, и соответствующая теория получила название 4D экстенсионализма (4D extensionalism). Для экстенсионального подхода не важно, какие основные или вторичные свойства и сущности увидели разные люди в объекте, или для каких применений этот объект им нужен. Более того, для экстенсионального подхода не важно, одинаковые или разные имена у тех экстентов (мест в пространстве-времени), о которых говорят разные люди, имеющие разные интересы. Если речь идёт об одном и том же месте пространства-времени, значит речь идёт о том же самом индивиде, о том же самом воплощении системы. Если я говорю о пище, вы говорите о яблоке, она говорит о товаре, он говорит о зелёном физическом теле массой 150 грамм, и всем мы показываем на одно и то же место в пространстве-времени, то речь идёт об одном и том же индивиде. Если кто-то показывает в 4D на бабочку с крыльями и говорит «бабочка», а кто-то другой показывает в 4D на яйцо-гусеницу-куколку-бабочку-с-крыльями и говорит «бабочка», то у этих двоих есть шанс понять друг друга. Экстенсионализм позволяет самым разным людям договориться о мире.

Если не требовать, чтобы все рассуждения, все описания систем, которые делают люди, в конечном счёте привязывались бы к воплощениям систем, то мы не имели бы возможность проверить, об одном и том же говорят люди, или о разном. Более того, были бы огромные проблемы с проверкой того, говорят ли люди о реальном мире или высказывают благие пожелания, или просто фантазируют, или даже сознательно не хотят доводить свои мысли до реальности. Именно экстенсионализм позволяет до некоторой степени игнорировать различия в используемой людьми терминологии — ибо в конечном итоге всегда можно проверить, одно и то же понятие люди обозначают разными терминами, или разные: даже если речь идёт об абстрактных понятиях, всегда можно указать примеры из реального мира.