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