Композициональная концептуализация в интенсиональной логике.

Аннотация

Целью настоящей статьи является определение процедуры построения композиционной концептуализации произвольного сложного выражения, основанной на композиционной концептуализации компонентов выражения. Рассматриваются примеры действия процедуры, которые должны продемонстрировать, что полиморфность смысла может использоваться в качестве инструмента, служащего для реализации «Альтернативы 0» в логике смысла и обозначения Чёрча. Полиморфность смысла рассматривается как логическая характеристика контекстуальной зависимости, которая может быть выявлена только с помощью логики смысла и обозначения. Эта зависимость смысла, взятая в качестве средства контекстного анализа, не зависит от семантических и лингвистических методов ее анализа.