Виталий Долгоруков выступил с докладом в Институте философии РАН

9-го октября Виталий Долгоруков, заместитель заведующего лабораторией,  выступил с докладом "Онтологический квадрат" и теоретико-типовая семантика".

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

Видеозапись доклада доступна по сслыке: https://www.youtube.com/watch?v=c5HIIDdtlRo