Объектно-ориентированная онтология: новая «теория всего»

Даже те читатели, кому ООО пока в новинку, могут быть знакомы с понятием объектно-ориентированных языков программирования, таких как С++ или Java. Что-бы устранить путаницу, я с самого начала должен буду сказать, что между двумя этими областями не существу-ет никакой сущностной связи: ООО просто заимствовала словосочетание «объектно-ориентированная» из ин-форматики и не была напрямую мотивирована достиже-ниями в этой области. Вероятно, какой-нибудь знаток информационно-вычислительных процессов смог бы провести более детальное сравнение между объектно- ориентрованным программированием и ООО; пока в этом не было необходимости, поскольку ООО лишь за-имствует фразу «объектно-ориентированная» из мира компьютеров, но не ищет вдохновения в подробностях его жизни. Тем не менее существуют некоторые важные черты, общие для словосочетания «объектно-ориентированная» и в компьютерах, и в философии. Программы, написанные на старых языках программи-рования, представляли собой систематические, холи-стические сущности, интегрированные всеми своими частями в единое целое, объектно-ориентированные же программы используют независимые программные «объекты», которые взаимодействуют с другими объек-тами, но при этом внутренняя информация каждого из них остается скрытой (или «инкапсулированной») для остальных. Обладая подобной независимостью своих частей, компьютерные программы больше не требуют написания с нуля, поскольку повсюду и для разных це-лей можно использовать уже написанные программные объекты, помещая их в новый контекст, но не изменяя их внутренней структуры; иными словами, вместо того что-бы каждый раз создавать новую программу, можно со-единять отдельные программные объекты, формируя из них новые наборы под новые задачи — перестраивая их в различных сочетаниях под новые виды использования. Я хотел бы подчеркнуть, что эти объекты непроницаемы не только для пользователя, но и друг для друга, по той важной причине, что данная идея чужда истории запад-ной философии. На протяжении столетий целый ряд мыслителей предполагал, что реальность вещей в ко-нечном счете для нас непознаваема: «вещи-в-себе» у Канта, «бытие» у Хайдеггера и «Реальное» у Лакана — вот лишь три примера данной тенденции в интеллекту-альной истории. Что отличает ООО от этих течений мысли — но сближает ее с объектно- ориентированным программированием — это идея, что объекты никогда не имеют полного контакта друг с другом, они взаимно со-прикасаются не больше, чем с человеческим сознанием. Это ключевой момент, упускаемый большинством из тех, кто обвиняет ООО в отсутствии оригинальности. При-верженность ООО взаимной темноте объектов — вот, что позволяет ей противостоять некоторым модным хо-листическим философиям нашего времени, утверждаю-щим, что все определяется исключительно своими от-ношениями и что мир есть не более чем тотальная сис-тема этих отношений. В пику подобным теориям ООО защищает идею, что объекты — реальные, вымышлен-ные, естественные, искусственные, человеческие либо нечеловеческие — автономны относительно друг друга и вступают в отношения лишь по особым случаям, кото-рые нужно объяснять, а не принимать как должное. Тех-нический способ выразить данный тезис — это сказать, что все объекты взаимно «изъяты», скрыты друг от дру-га, — термин, заимствованный у Хайдеггера (1889–1976) (12). В противоположность установкам здравого смысла, объекты не могут вступать друг с другом в прямой кон-такт, но нуждаются в третьем термине или медиаторе для того, чтобы такой контакт все же произошел.

Обсудив «объектно-ориентированную» часть ООО, об-ратимся теперь к третьей О в ее имени, означающей он-тологию. Здесь прежнее отношение заимствования пе-реворачивается: если философия заимствовала фразу «объектно-ориентированная» из информатики, то по-следняя заимствовала термин «онтология» из филосо-фии.