3) принцип предметности, отражающий тот факт, что сложное имя выражает связи между предметами, а не между именами, составляющими сложное имя. "Денотатом знака является определенная вещь (в самом широком смысле слова), но не понятие или отношение". На данной методологической основе Фреге формализовал экстенсиональную ("объемную") логику, отождествив понятия "логическое значение высказывания" и "Д. высказывания". Если Д. высказывания является истина или ложь, то все содержательно-познавательное (интенсиональное) многообразие устраняется. Именно такой фундаментальный вывод сделал Фреге. "Поэтому, - утверждал он, - денотат сам по себе нас не интересует; однако суждение, взятое в отрыве от денотата, то есть смысл сам по себе, тоже не несет в себе нового знания. Этим свойством обладает только соединение суждения и его денотата (истинностного значения)". Дальнейшая экспликация термина "Д." была осуществлена А.Чёрчем (р. в 1903) в созданной им логике смысла и Д.: "Д. есть функция смысла имени, т.е. если дан смысл, то этим определяется существование и единственность денотата". Концепция Чёрча строится как простая теория типов (теория синтаксических и семантических категорий), позволяющая стратифицировать экстенсиональные (объемные, или предметные) сущности, с единственным разветвленным предикатом "быть концептом". В последующей версии теории значения Чёрч сделал шаг в стратификации интенсиональных (содержательных) сущностей (свойств и отношений). Он указал две интенсиональные характеристики предикативной функции "быть концептом":

1) характеризующую функцию, соответствующую смыслу логической формы, т.е. записи "применения функции к аргументу";

2) концепт, соответствующий смыслу константного имени функции. Но поскольку интерпретация смысла и Д. в теории значения Чёрча ограничена онтологией простой теории типов, т.е. экстенсиональной иерархией, то процедура различения характеризующих функций и концептов остается чисто синтаксической, неинтерпретированной. Тем не менее, это не исключает возможность использования концептуальных идей Чёрча в исследовании интенсиональной иерархии.

ДЕРЕВО