|
Таким образом, для каждого семантического типа А относительно интерпретационной структуры <СЕ, 7> утверждается определенный тип интенсии <s, Л> как тип смыслов, соответствующих выражениям типа А. Понятие возможной денотаций таким образом расширяется за счет введения новой категории семантических типов: D(s,a),e,i понимается как функция D\EI> _ где D(s, a) — множество возможных денотаций семантического типа <s, A~>. Так, относительно интерпретационной структуры <?", /, < > множество Е1 является множеством возможных депотаций, которые являются интенсиями, принадлежащими семантическому типу <s, e> и относящимися к индивидуальным выражениям, иначе говоря, речь идет о множестве «индивидуальных концептов». Интенсия предложения, или пропозиция, относится к семантическому типу <s, ?>, интенсия непереходного глагола — к <s, <e, t^> и т. д. (так, если «Р»: «идет», то интенсия «Р» есть функция ./V — такая, что, если i — возможный мир, N(i) является функцией М от сущностей к истинностным значениям, такой, что М (х) =1, если и только если х идет в мире i). Интенсия прилагательных, поскольку они модифицируют общее существительное (или фразу общего существительного) и дают новые общие существительные (их фразы), рассматривается как функции от свойств к 72
Таким образом, рассматриваются два способа приписывания семантического значения (value) языковому ныра-ягению «<?»: наряду с экстенсией Ext <<в, i, <>,/>,г «а» выражения рассматривается интенсия Int (( e, /<),/> «а» выражения «а». При таком подходе понятия экстенсии и пптенсии оказываются взаимоопределимыми: Ext((Ei /<>. />, ,- «a» = N(i), TReN=Int < < е, i, < ) , / > «а», и вообще, если Ext {{e, i< >,/>,; «а» принадлежит типу А, то Int ((e, /<),/>, «а» является такой функцией Л" от / к множеству возможных денотаций типа А, что для всех ?е/, N(i) =Ext((E, /,<>,/>,г «а». Эта взаимоопределимость интенсии и экстенсии означает следующее. Во-первых, длл рекурсивного определения может быть выбрано одно и:з этих понятий, соответственно речь может идти о приписывании синтаксической категории посредством определенной функции определенного семантического типа как семантического типа выражений, принадлежащих данной синтаксической категории (и тогда, например, если «Р»— непереходный глагол, «а» — индивидуальное выражение, Int((E, /,<>,/> «Ра» — М, где М является функцией от / к {0, 1} — такой, что M(i) = (Int <( e, /,<>,/> <<P»(i))(N(i)), где N = Int((E, /. <>, /> «а»). Во-вторых, интенсии могут быть введены в семантику совершенно естественно на базе экстенсиональных теорий. — 53 —
|