Онтология и метафизика: в чём разница разделов

Онтология и метафизика - пара терминов, которую в билете ставят рядом, а на семинаре просят развести. Сложность в том, что правдоподобных ответов три, и все три встречаются в учебниках: это синонимы; онтология - часть метафизики; онтология и метафизика противопоставлены как два разных способа спрашивать о бытии. Каждый ответ верен внутри своей традиции, а путаница начинается там, где определение взято из одного словаря, а пример - из другого. Ниже - происхождение обоих слов, школьная схема Христиана Вольфа, приговор Канта, онтологическое различие Хайдеггера и критерий Куайна. Форма ниже собирает точный запрос: выберите ракурс и автора.

Откуда взялись оба слова

Метафизика старше онтологии почти на семнадцать веков и появилась почти случайно. Аристотель такой науки не знал: свои лекции он называл первой философией. Слово родилось при издании корпуса: по традиционной версии Андроник Родосский в I веке до н. э. поместил трактаты о сущем как таковом после «Физики» и подписал их τὰ μετὰ τὰ φυσικά - «то, что после физики». Позднейшие читатели прочли приставку мета не как порядок свитков, а как «сверх», «поверх природы», и библиотечная пометка превратилась в философскую программу. Часть историков спорит с этой версией и относит название к самой школе, но факт остаётся: имени дисциплины у её основателя не было.

Онтология, наоборот, термин книжный и поздний. Он собран из греческих τὸ ὄν (сущее) и λόγος (учение) уже в Новое время: в заголовке появляется у Якоба Лорхарда в 1606 году, как словарная статья - у Рудольфа Гоклениуса в 1613-м, а Иоганн Клауберг в 1647-м назвал первую философию онтософией. Школьный статус слову дал Христиан Вольф книгой «Первая философия, или Онтология» (1730). Показательно, что онтология с самого начала создавалась как латинизированное имя для уже существующего аристотелевского вопроса, а не как новая наука.

Схема Вольфа: метафизика общая и специальная

Именно Вольф закрепил ту иерархию, которая до сих пор стоит за формулой «онтология - раздел метафизики». Метафизику он разделил на общую (metaphysica generalis), она же онтология, и специальную (metaphysica specialis) из трёх частей: рациональная космология о мире в целом, рациональная психология о душе и естественная теология о Боге.

Рассчитать для своей задачи

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

Что спрашивает онтология: сущее как сущее

Формулировку предмета дал Аристотель в четвёртой книге «Метафизики»: есть наука, исследующая сущее как сущее и то, что присуще ему само по себе. Частные науки отрезают себе кусок сущего - математика берёт числа и величины, физика подвижные тела - и о бытии как таковом не спрашивают. Первая философия берёт всё существующее ровно под тем углом, под которым оно существует.

Отсюда фирменный тезис: о сущем говорится многими способами. Существуют вещь, её свойство, отношение, событие, число, отсутствие - и все эти «есть» не одинаковы. Разобрать эти способы Аристотель попробовал через категории, где первое место занимает сущность, а остальные девять родов сказываются о ней. Тот же вопрос в другом изводе породил средневековый спор реализма и номинализма: существует ли общее наравне с единичными вещами.

Кант: почему специальная метафизика рухнула

Вольфовскую конструкцию разобрал Кант. В «Трансцендентальной диалектике» он показал, что все три специальные дисциплины выводят разум за пределы возможного опыта и потому неизбежно рождают видимость: рациональная психология - паралогизмы о простой и бессмертной душе, рациональная космология - антиномии, где мир одинаково доказуемо конечен и бесконечен, естественная теология - несостоятельные доказательства бытия Бога.

Уцелевшую общую часть Кант тоже переименовал: гордое имя онтологии, писал он, должно уступить место скромному имени аналитики чистого рассудка. Категории после этого перестают быть родами бытия и становятся формами рассудка, а вопрос «что существует» превращается в вопрос об условиях опыта - это и есть трансцендентальный идеализм. Метафизика при этом не отменяется: Кант называет её естественной склонностью разума, от которой нельзя избавиться.

Онтологическое различие Хайдеггера

Вторая линия разведения понятий - хайдеггеровская, и она противопоставляет их прямо. Мартин Хайдеггер вводит онтологическое различие: бытие (Sein) и сущее (Seiendes) - не одно и то же. Сущее - это всё, что есть: камень, число, человек, государство. Бытие - то, благодаря чему сущее вообще открывается как существующее, и само оно не есть ещё одна вещь в ряду вещей.

Рассчитать для своей задачи

Упрёк метафизике здесь такой: спрашивая о сущем в целом и о высшем сущем, она подменяет вопрос о бытии вопросом о сущем и тем самым забывает собственную основу. Такое устройство Хайдеггер позже назвал онто-теологическим. В «Бытии и времени» (1927) он предлагает взамен фундаментальную онтологию: заново поставить вопрос о смысле бытия, начав с того сущего, которому его бытие небезразлично, - с Dasein. В этой рамке онтология не раздел метафизики, а её преодоление.

Критерий Куайна: как считать онтологические обязательства

Аналитическая философия перевела вопрос в техническую плоскость. В статье «О том, что есть» (1948) Уиллард Куайн замечает, что на вопрос «что существует» есть верный и бесполезный ответ: всё. Спор начинается, когда мы разбираем частные случаи, и здесь возникает старая ловушка, которую Куайн назвал бородой Платона: отрицая существование Пегаса, мы будто бы обязаны сперва признать нечто, о чём говорим.

Выход - формализация. Предложение «Пегас существует» разворачивается по образцу теории дескрипций Рассела в квантифицированную запись $\exists x\,\bigl(\mathrm{P}(x)\bigr)$, где никакого имени с самостоятельным носителем не остаётся, и отрицание становится безобидным. Отсюда критерий онтологических обязательств: быть - значит быть значением связанной переменной. Теория обязана признать существование ровно тех сущностей, которые должны попасть в область значений её переменных, чтобы её утверждения были истинны. Спорить дальше нужно не о словах, а о том, какую теорию мы принимаем.

Рудольф Карнап возражал, что вопросы о существовании имеют смысл только внутри принятой языковой схемы, а «внешние» вопросы о самой схеме - это выбор удобного языка, а не открытие фактов. Спор Карнапа и Куайна о статусе таких вопросов и породил современную мета-онтологию.

Онтология вне философии

С 1990-х слово живёт второй жизнью в информатике. Классическое определение Тома Грубера (1993): онтология есть явная спецификация концептуализации. Практически это формальная модель предметной области - классы, их иерархия, свойства и отношения, - записанная так, чтобы её читала машина: языки RDF и OWL, медико-биологическая Gene Ontology, схемы знаний поисковых систем.

Рассчитать для своей задачи

Связь с философией не случайна: инженеры прямо заимствовали идею категориальной сетки. Но предмет разный. Философская онтология спрашивает, что вообще значит существовать, и проверяется аргументом; инженерная фиксирует, какие сущности мы условились различать в конкретной базе, и проверяется тем, работает ли на ней вывод. В реферате по философии ссылка на OWL без этой оговорки читается как ошибка.

Частые ошибки

• Метафизика как синоним эзотерики. В обиходе так называют разговоры о тонких мирах; в философии это раздел о первых началах, к оккультизму отношения не имеющий.
• Приписывать Аристотелю название дисциплины. Он говорил о первой философии, теологии и науке о сущем как сущем; «метафизика» - позднейшее имя.
• Смешивать несовместимые схемы. Нельзя в одном абзаце определить онтологию по Вольфу как часть метафизики и тут же по Хайдеггеру противопоставить её метафизике: это две разные рамки, их нужно называть.
• Путать онтологический вопрос с гносеологическим. «Что есть» и «как мы об этом узнаём» - разные вопросы; после Канта они связаны, но не тождественны.
• Подставлять инженерную онтологию в философский контекст. Схема данных не отвечает на вопрос о бытии, она фиксирует принятые различения.

FAQ

Онтология и метафизика - это одно и то же? В широком словоупотреблении часто да: обе занимаются вопросом о бытии, и в аналитической традиции «метафизика» нередко покрывает всю проблематику. Строго - нет: по вольфовской схеме онтология есть общая часть метафизики, а по Хайдеггеру они прямо противопоставлены.

Что такое основной вопрос онтологии? Обычно так называют вопрос «что существует» вместе с вопросом «что значит существовать». Первый разбирают через инвентарь категорий (вещи, свойства, отношения, события), второй - через анализ самого понятия бытия. Не путайте его с основным вопросом философии из советских учебников: тот про отношение мышления к бытию и относится к спору материализма и идеализма.

Кто основатель онтологии? По содержанию - Парменид с тезисом о единстве бытия и мысли и Аристотель с наукой о сущем как сущем. По имени - авторы XVII века: Лорхард, Гоклениус, Клауберг, а школьную форму дисциплине придал Вольф.

Коротко

Метафизика - имя, доставшееся аристотелевской первой философии от издателя, онтология - её латинизированное самоназвание из XVII века. В школьной схеме Вольфа онтология - общая часть метафизики, три специальные части заняты миром, душой и Богом; Кант эти три части разоблачил как источник видимости, а общую переименовал в аналитику рассудка. Хайдеггер развёл понятия по-другому: онтология спрашивает о бытии, метафизика забывает этот вопрос ради сущего. Куайн перевёл спор в логику: обязательства теории считаются по области значений её переменных. В ответе всегда указывайте, в какой из этих рамок вы работаете.