В своей вводной статье, открывающей публикацию эссе по формальной онтологии в журнале «Логика и логическая философия», Е.Пежановский определяет онтологию в ее наиболее общей и традиционной форме как теорию того, что есть, теорию бытия. «Она рассматривает полный онтологический универсум, включая все предметы, являющиеся возможными. Два основных вопроса направляют логическое исследование: что возможно и почему? Или в более общем и глубоком виде: каким образом возможно возможное?» И далее: «Ввиду природы этих вопросов онтология является наиболее общей дискурсивной дисциплиной. Фактически, она представляет собой общую теорию возможности. С другой точки зрения, она может рассматриваться как общая теория отношений, общая теория вещей и свойств или теория ситуаций, событий и процессов» [Perzanowski 1994, р. 4]
Так определяемая онтология состоит из трех частей: онтики, онтометодологии и онтологики. «Онтика посвящена выбору онтологических проблем и понятий, их дифференциации, классификации и анализу; конструированию концептуальной сети данной онтологической теории и формулировке разумных онтологических гипотез. Онтометодология занимается способами разработки онтологии и их принципами, наряду с методами и типами онтологических конструкций». Согласно Пежановскому, онто логика - это «логика царства онтики. Она касается организации онтологического универсума и пытается описать его механизмы. Онтологика является дисциплиной, исследующей онтологические связи, в частности, логические отношения между онтическими положениями».
Рецепт подобной онтологики выглядит следующим образом: берем достаточно интересную (и реальную) онтологическую проблему и пытаемся решить ее теоретически, используя некоторую теорию. С этой целью проводим концептуальный анализ (принадлежащий сфере онтики), определяем подходящие примитивные понятия и проясняем их до такой степени, чтобы быть в состоянии обнаружить разумные аксиомы, затем используем логическую дедукцию и проводим соответствующие семантические исследования. Если метод срабатывает, то мы получаем некоторые теоремы, способные пролить свет на поставленные проблемы.
Итак, резюмирует Пежановский, «онтологика — это просто онтология, полученная путем ответа на онтологические вопросы с использованием логических методов и процедур. Вкратце,... онтологика = онтология / логика».
При подобном определении онтологики возникает возможность не только логического исследования связей между онтическими положениями, но в более широком плане — формального исследования. В сущности уже даже первопорядковое исчисление с равенством получается путем добавления нелогического символа равенства и соответствующих аксиом, описывающих его поведение, к логическому исчислению 1. То же самое относится и к теории множеств, к теории порядка и т.д. По-видимому, следует различать чистую онтологику и формальную онтологию, определяя последнюю как (перефразируя Пежановского) онтологию по модулю формальных систем.
Диапазон формальной онтологии гораздо более широк, чем у онтологики. Достаточно заметить, что согласно приведенным выше определениям онтологика является составной частью формальной онтологии, подобно тому как логической частью любой теории неизменно является классическая логика предикатов (если только не рас- 113 сматривать неклассические формальные системы, для которых это ограничение не имеет места). С другой стороны, многие онтологические типологии (классификации по оптическим положениям) явно подразумевают нелогические аспекты анализа. Возьмем, например, типы онтологии, приводимые Р. Поли в его книге «Формальная онтология» [РоН 1992, р. 42-43]. Он определяет их следующим образом.
Онтология объектов и свойств. Основывается на номинальной предикации. Восходит от Аристотеля к Мейнонгу как наиболее радикальному ее представителю. Предполагает соответствие между лингвистической и онтической формами (наложение языковой решетки на мир). Лингвистические варианты в перспективе моделирования представлены в работах Карнапа и Робинсона.
Стратифицированная онтология. Описывает мир в категориях зависимости. Первичная внутренняя дифференциация определяется по вопросу принятия или опровержения различия между общей и локальной онтологиями. Случай опровержения различия очень близок к математике. Если зависимость между слоями (стратами) описывается с помощью отношений, то получаем семантику Тарского, если с помощью функций — то Фреге и Чёрча. В случае принятия различия между общей и локальной онтологиями мы имеем дело с правилами зависимости и независимости между различными областями онтологии. Здесь среди наиболее разработанных версий привлекают внимание теория систем, теория катастроф и термодинамика. С философской точки зрения подобной онтологией является феноменологическая онтология, представленная в трудах Гуссерля, Шелера, Ингар-дена и Гартмана.
113
Существует некоторое разногласие по вопросу о том, является ли символ равенства нелогическим знаком. Согласно | Рассва Сикорский 1972, с. 222], «... формализованные теории первого порядка содержат в своем языке некоторый бинарный предикат, который соответствует отношению равенства и называется