|
Истинность «а думает, что Ь = с» в мире W, согласно теории Хинтикки, требует всего лишь, чтобы такие функции совпали на существенно более узком множестве альтернатив мира W. Функции, ассоциируемые с соответствующими терминами, должны совпадать в тех возможных мирах, которые рассматриваются в предложении мнения. Таким образом, речь идет не вообще и не просто о тождестве смыслов соответствующих сингулярных терминов, а о рассмотрении функций, ограниченных релевантным множеством аргументов, т. е. заданных на определенном под- 232 множестве всех возможных миров, а именно миров, совместимых со всем тем, что думает носитель языка. Следовательно, индивидуирующие функции Хинтикки являются подмножеством множества всех индивидуальных концептов. Как формулировка условий истинности предложений, содержащих пропозициональные установки, так и рассмотрение смысла сингулярных терминов предполагают в подходе Хинтикки, как, впрочем, и в других принимающих интенсиональные сущности подходах, квантификацию над множеством возможных миров и индивидуирующих функций. Основная роль этих функций —дать сущности, над которыми в модальном контексте «пробегают» квалифицированные переменные, т. е. когда осуществляется кван-тификация через модальный контекст. Однако, исходя из концепции Хинтикки, применение в таком случае критерия Куайна о том, что квантификация над определенными объектами означает их онтологическое принятие, следует рассматривать не в терминах онтологического, а идеологического принятия возможных миров и индивидуирующих функций: разговор об онтологических допущениях имеет смысл тогда, когда речь идет о квантификации над объектами, принадлежащими к одному и тому же миру. Таким образом, утверждается необходимость проведения различия не между двумя видами объектов, составляющих универсум, а между определенными объектами референции, с одной стороны, и определенными аспектами нашего референциального аппарата, посредством которого осуществляется указание на эти объекты, — с другой. Поэтому индивидуирующие функции не рассматриваются в качестве членов какого-либо возможного мира, им приписывается не только функция задания объекта, но и функция его индивидуации. Когда же некоторый сингулярный термин указывает на определенный объект, в понимании Хинтикки возможны случаи как индивидуации без референции (в действительном мире), так и референции без индивидуации, формально: (3x)Ba(x = b)&~ ( 3 х)(х = Ъ) и ( Зх)(х=<Ь)&~(Зх)Ва(х=Ъ) (153, с. 106). Допустимость существования «возможных миров» и индивидуирующих функций, таким образом, означает не то, что они являются определенными естественными сущностями, а то, что они являются концептуальными средствами, используемыми носителями языка в процессе познания мира ц взаимодействия с ним. — 176 —
|