|
Новая философская энциклопедия. Том третийТип их значения (категория значения) выявляется, если наряду с операцией приложения функторов к их аргументам в теории семантических категорий в качестве конструирующей операции вводится обратная ей операция абстракции (см. Смирнова Е. Д. Логика и философия. М., 1996, гл. 3). 517 СЕМАНТИЧЕСКИХ КАТЕГОРИИ ТЕОРИЯ Тогда категорией кванторов будет — s/s/n, a i-оператора («тот, который...»; напр., «тот человек, который написал «Айвенго») — n/s/n. T. о., приписывание категории значения зависит от принимаемых методов логического анализа. Еще более интересный вопрос составляет приписывание семантических категорий интенсиональным операторам и предикатам типа «необходимо, чтобы...», «полагает, что...» и т. д. Именно такого рода операторы и предикаты определяют интенсиональные контексты. При интерпретации этих предикатов и операторов приходится не только обращаться к положениям дел в данном мире, но и вводить в рассмотрение классы возможных миров, «сопряженных» с данным миром, и задавать функции и отношения на такого рода объектах ...» |
Код для вставки книги в блог HTML
phpBB
текст
|
|