![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Entry tags:
Онтологии: от философии к информатике. Часть третья, метафизическая
Продолжение серии постов об онтологиях.
Ну вот мы и приблизились к понятию "онтология". Тут надо соблюдать крайнюю осторожность, иначе можно скатиться в такие глубины философии, из которых без порции хорошей "травы" выбраться будет очень затруднительно (те, кому довелось разбирать тексты Канта, наверняка меня поймут). Но сначала нам прийдётся вернуться почти на две с половиной тысячи лет назад.
Примерно в 380-х годах до нашей эры в священной роще Академос около Афин группа философов закладывала основные принципы, на которые опирается научное познание мира по сей день. И, надо сказать, давалось им это нелегко. Ведь недостаточно самому выйти на гениальную идею, надо еще и объяснить её другим философам и, желательно, записать её в понятной форме. При этом всех доступных нам сегодня общепринятых конструкций и методов тогда ещё не существовало.
К примеру, Платон и его коллеги интенсивно занимались логикой и геометрией. Сегодня для работы с в этих областях используются специальные алгебры. Грубо говоря (я не буду здесь углубляться в точные определения), это - система обозначений, имеющих строго определенное значение, правила для собирания этих значений в формул и законы преобразования этих формул. По сути, алгебра - это искуственная абстракция, позволяющая очень компактно описать проблему и эффективно решить, вне зависимости от её контекста. Для преобразования формулы неважно, что обозначают переменные: коров на лугу или спутники Юпитера. Алгебраическое выражение несёт определённое значение само по себе. Интерпретация результата алгебраического преобразования позволяет снова вернуться от абстракции к конкретной задаче. Большинство людей сталкиваются только с элементарной алгеброй, реже - с булевой и линейной. Кроме них есть ещё множество других, например алгебра деревьев или алгебра событий и алгебра временных интервалов вплоть до абстрактной алгебры, выходящей на следующий уровень абстракции и описывающей сами алгебраические структуры и другие алгебры. Решение проблемы за счёт переноса ее на абстрактный уровень был блестящей идеей, сравнимой по значению с идеей построения лодок для преодолевания водных пространств или с техникой построения туннелей через горы. Сформулировал её впервые Диофант Александрийский как раз благодаря работам Платона и Аристотеля, но примерно на 500 лет позже.
"Flammarion Woodcut" - Camille Flammarion, L'Atmosphere: Météorologie Populaire (Paris, 1888), pp. 163.
Как видно из приведённого выше примера, проблема философов из Академоса состояла в том, что систематический подход к описанию мира и методы, называемые сегодня классическими ещё только предстояло изобрести. Чтобы придумывать абстрактные методы надо было сначала разработать само понятие абстракции. Они начинали с самых основ: требовалось изобрести первичную терминологию и описать свои идеи простым, неформализованным языком, избегая при этом неясностей и двузначностей. Например, Платон впервые разделил понятия "сущностей" (предметов и явлений) и "идей", являющихся абстрактным представлением о сущностях. Аристотель описал основные принципы логики высказываний и семантики. В числе прочего, он занимался как раз неоднозначностью высказываний и ввёл определение "омонима". Новые понятия требовалось описать и систематизировать, связав друг с другом закономерностями. Другими словами: увязать структуру мира с нашими представлениями о ней. И это и есть задача онтологии, определение которой можно сформулировать так:
Средневековое онтологическое представление триединства. Понятия "бог-отец", "бог-сын" и "святой дух" неидентичны, но каждое из них идентично понятию "бог".
Образно говоря, наш привычный повествовательный обмен информацией требует "костяка", состоящего из значений, привязанных к отдельным понятиям или "сущностям" (entities). Эти значения включают логическую привязку к другим понятиям (напр. "кошка - это живое существо", "кошка имеет четыре лапы" и т. п.) или наличие свойств ("баскетбольный мяч шарообразен"). В качестве простого примера выше проведено средневековое представление понятия "троица" из четырех сущностей, связанных между собой через отношения (не)идентичности. Использование общей логической структуры позволяет делать однозначные высказывания и избегать необходимости каждый раз давать объяснения базовым понятиям. А без подобной базовой структуры пропадает граница между разумной речью и шизофазией.
И вот тут мы возвращаемся к проблеме обмена информацией с и между техническими системами, чему и будет посвящена следующая часть.
Ну вот мы и приблизились к понятию "онтология". Тут надо соблюдать крайнюю осторожность, иначе можно скатиться в такие глубины философии, из которых без порции хорошей "травы" выбраться будет очень затруднительно (те, кому довелось разбирать тексты Канта, наверняка меня поймут). Но сначала нам прийдётся вернуться почти на две с половиной тысячи лет назад.
Примерно в 380-х годах до нашей эры в священной роще Академос около Афин группа философов закладывала основные принципы, на которые опирается научное познание мира по сей день. И, надо сказать, давалось им это нелегко. Ведь недостаточно самому выйти на гениальную идею, надо еще и объяснить её другим философам и, желательно, записать её в понятной форме. При этом всех доступных нам сегодня общепринятых конструкций и методов тогда ещё не существовало.
К примеру, Платон и его коллеги интенсивно занимались логикой и геометрией. Сегодня для работы с в этих областях используются специальные алгебры. Грубо говоря (я не буду здесь углубляться в точные определения), это - система обозначений, имеющих строго определенное значение, правила для собирания этих значений в формул и законы преобразования этих формул. По сути, алгебра - это искуственная абстракция, позволяющая очень компактно описать проблему и эффективно решить, вне зависимости от её контекста. Для преобразования формулы неважно, что обозначают переменные: коров на лугу или спутники Юпитера. Алгебраическое выражение несёт определённое значение само по себе. Интерпретация результата алгебраического преобразования позволяет снова вернуться от абстракции к конкретной задаче. Большинство людей сталкиваются только с элементарной алгеброй, реже - с булевой и линейной. Кроме них есть ещё множество других, например алгебра деревьев или алгебра событий и алгебра временных интервалов вплоть до абстрактной алгебры, выходящей на следующий уровень абстракции и описывающей сами алгебраические структуры и другие алгебры. Решение проблемы за счёт переноса ее на абстрактный уровень был блестящей идеей, сравнимой по значению с идеей построения лодок для преодолевания водных пространств или с техникой построения туннелей через горы. Сформулировал её впервые Диофант Александрийский как раз благодаря работам Платона и Аристотеля, но примерно на 500 лет позже.
"Flammarion Woodcut" - Camille Flammarion, L'Atmosphere: Météorologie Populaire (Paris, 1888), pp. 163.
Как видно из приведённого выше примера, проблема философов из Академоса состояла в том, что систематический подход к описанию мира и методы, называемые сегодня классическими ещё только предстояло изобрести. Чтобы придумывать абстрактные методы надо было сначала разработать само понятие абстракции. Они начинали с самых основ: требовалось изобрести первичную терминологию и описать свои идеи простым, неформализованным языком, избегая при этом неясностей и двузначностей. Например, Платон впервые разделил понятия "сущностей" (предметов и явлений) и "идей", являющихся абстрактным представлением о сущностях. Аристотель описал основные принципы логики высказываний и семантики. В числе прочего, он занимался как раз неоднозначностью высказываний и ввёл определение "омонима". Новые понятия требовалось описать и систематизировать, связав друг с другом закономерностями. Другими словами: увязать структуру мира с нашими представлениями о ней. И это и есть задача онтологии, определение которой можно сформулировать так:
раздел философии, изучающий фундаментальные принципы бытия, его наиболее общие сущности и категории, структуру и закономерностиОднако же тут мы уже приближаемся к глубинам, которых я в начале этого поста обещал избегать. Для практических целей это определение непригодно. Мои попытки найти более удобоваримое базовое определение в англоязычных и немецкий источниках, были тоже безрезультатны. Во всяком случае, определение онтологии, как "общая метафизика" (в отличие от "специальной метафизики") мало что объясняет для непосвящённых.
(А. Л. Доброхотов. ОНТОЛОГИЯ. Новая философская энциклопедия, 2003)
Средневековое онтологическое представление триединства. Понятия "бог-отец", "бог-сын" и "святой дух" неидентичны, но каждое из них идентично понятию "бог".
Образно говоря, наш привычный повествовательный обмен информацией требует "костяка", состоящего из значений, привязанных к отдельным понятиям или "сущностям" (entities). Эти значения включают логическую привязку к другим понятиям (напр. "кошка - это живое существо", "кошка имеет четыре лапы" и т. п.) или наличие свойств ("баскетбольный мяч шарообразен"). В качестве простого примера выше проведено средневековое представление понятия "троица" из четырех сущностей, связанных между собой через отношения (не)идентичности. Использование общей логической структуры позволяет делать однозначные высказывания и избегать необходимости каждый раз давать объяснения базовым понятиям. А без подобной базовой структуры пропадает граница между разумной речью и шизофазией.
И вот тут мы возвращаемся к проблеме обмена информацией с и между техническими системами, чему и будет посвящена следующая часть.