Academia.eduAcademia.edu

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

2018, Логические исследования

https://doi.org/10.21146/2074-1472-2018-24-2-36-58

Abstract

Настоящая статья посвящена конкретному эпизоду в большой дискуссии о соотношении семантики и онтологии, а именно поиску адекватной семантической ин- терпретации для набора сущностей, постулируемых так называемым «онтологическим квадратом» или «четырехкатегорными онтологиями». Онтологическим квадратом называется теория, восходящая к работам Аристотеля (в частности, ко второй главе трактата «Категории») и утверждающая необходимость раз- личения между четырьмя типами сущностей: субстанциальными универсалиями, суб- станциальными партикуляриями, акцидентальными универсалиями, акцидентальными партикуляриями. В программной статье «Против Фантологии» Б. Смит пытается продемонстрировать, что онтологический квадрат не может быть адекватно описан в рамках логики преди- катов. Б. Смит упрекает Г. Фреге в том, что тот, будучи отцом современной логики, стал одновременно и отцом «фантологии», теории, в рамках которой все разнообразие сущностей сводится к объектам (‘a’) и предикатам(‘F ’). Избавление логики от «фантологии», с точки зрения Б. Смита, возможно благодаря обогащению логики предикатов целым набором отношений, которые соответствуют до- пущениям «онтологического квадрата» и тем самым обогащают постулируемую логи- ческими теориями систему онтологических допущений. С нашей точки зрения, подход Б. Смита обладает рядом недостатков: формулируемая им теория рассматривает в каче- стве универсалий только предикаты разного типа. То есть богатая система отношений, которая предлагается в рассматриваемом подходе, не лишена «фантологических» черт: все рассматриваемые Б. Смитом отношения на уровне метаязыка соответствуют множе- ству кортежей. В настоящей статье мы предлагаем другой вариант формализации сущностей, посту- лируемых «онтологическим квадратом», — вариант, который базируется на теоретико- типовой семантике и обладает рядом преимуществ перед подходом Б. Смита. Мы оставляем за скобками вопрос об истинности или адекватности «онтологического квадрата» в качестве метафизической теории. Наш тезис носит более слабый характер: мы постарались продемонстрировать, что теоретико-типовая семантика может рассматриваться как релевантный инструмент для формализации сущностей, которые различа- ются в «онтологическом квадрате».