«Онтологический квадрат» и теоретико-типовая семантика

Main Article Content

В. В. Долгоруков
А. О. Копылова

Аннотация

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

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

В программной статье «Против Фантологии» Б. Смит пытается продемонстрировать, что онтологический квадрат не может быть адекватно описан в рамках логики предикатов. Б. Смит упрекает Г. Фреге в том, что тот, будучи отцом современной логики, стал одновременно и отцом «фантологии», теории, в рамках которой все разнообразие сущностей сводится к объектам («\(a\)») и предикатам(«\(F\)»).

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

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

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

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
В. В. Долгоруков и А. О. Копылова. «Онтологический квадрат» и теоретико-типовая семантика // Логические исследования / Logical Investigations. 2019. Т. 24. № 2. С. 36-58.
Раздел
Философия и логика
Биографии авторов

В. В. Долгоруков, Национальный исследовательский университет «Высшая Школа Экономики»

Российская Федерация, 101000, г. Москва, ул. Мясницкая, 20

А. О. Копылова, Национальный исследовательский университет «Высшая Школа Экономики»

Российская Федерация, 101000, г. Москва, ул. Мясницкая, 20