Интенсиональная семантика в анализе естественного языка

В выступлении будет затронута тема возможности применения логико-семантических средств в анализе естественного языка. Как наиболее продуктивные для такого анализа избраны эпистемические контексты, поскольку они предъявляют высокие требования к пытающимся репрезентировать их динамики системам. В частности, по отношению к belief-контекстам не очевидна связь по истинности между подоператорным выражением и содержащим его сложным предложением: при ложности подоператорного, содержащее его сложное выражение может быть истинно и наоборот: при истинности подоператорного содержащее его сложное выражение может быть ложным. Еще один неочевидный момент: невозможность совершать в таких контекстах подстановку на основе тождества значений, требуется совпадение по смыслу (синонимия). В связи с этим предлагается некая интуитивно прозрачная схема интенсиональной основы понимания семантики, базирующейся на понятии идеальных миров.