Онтология для Абеляра и Элоизы

Монография посвящена онтологии стандартной и девиантной квантификации. В работе сопоставляются эвристические возможности и онтологические обязательства двух парадигм интерпретации кванторов: как второпорядковых предикатов и как функций выбора от их истоков (Г. Фреге и Ч.С. Пирс) до современного состояния (абстрактные логики и IF-логика). Новизна исследования связана с философской оценкой технических результатов последних лет о выразительных и дедуктивных возможностях логик с нестандартной квантификацией. Монография включает апробацию разработанных методов в логическом анализе языка, а также в логико-онтологиче ской экспликации классических философских затруднений, обусловленных предикативной трактовкой существования. Книга предназначена для специалистов в области логики, философии, когнитивной лингвистики и психологии, онтологической инженерии, а также для всех тех, кто интересуется историей и современным состоянием логики, аналитической философии и феноменологии, философскими основаниями математики и компьютерных наук.