|
и определенного анализа его структуры. Только относительно разрешающего неоднозначность предложения анализа определяется и понятие логического следования. 70 с аргументами в Y и значениями в X, а под XX Y понимается картезианское умножение X на Y (т. е. множество упорядоченных пар таких, что же1, уеУ). Понятие интенсии языкового выражения вводится ввиду недостаточности экстенсиональной модели <?, /> для семантического анализа предложений, содержащих интенсиональные выражения, ввиду, например, необходимости учесть временной аспект предложений естественного языка. В последнем случае, например, из рассмотрения грамматической категории прошедшего времени явствует, что она не может полагаться в качестве истинностно-функционального оператора, учитывающего экстенсиональные значения предложений как их возможные денотаций в модели <Е, />. Так, истинностные значения предложений, относящихся к прошлому, зависят не только от истинностных значений их аналогов, относящихся к настоящему; истинностное значение первых в момент времени i зависит от истинностных значений вторых в моментах времени, отличных от i. Обнаружение аналогии структуры временных операторов структуре модальных операторов определило то, что множество факторов, относительно которых должна определяться экстенсия соответствующих языковых выражений, было расширено посредством отнесения к этому множеству моментов времени. Поэтому вместо системы <?, /> принимается система <С#, 1, < >, />, называемая «интерпретацией», а <Е, /> — соответственно «интерпретационной структурой», в которой / — непустое линейно упорядоченное (в данном случае отношением <) множество моментов времени. В более широком понимании / можно рассматривать как множество возможных миров. В этой связи, особенно в плане онтологических допущений, важно отметить, что существенно абстрактный характер рассматриваемой теории заключается в том, что она допускает как разнообразие интерпретационных приписываний, так и разнообразие интерпретационных структур, не предрешая тем самым вопроса о том, какие множества сущностей или возможных миров являются «правильными», «отмеченными» для интерпретации данного естественного языка. Роль интерпретации заключается в приписывании ин-тенсий, или смыслов, языковым выражениям. Соответственно модель в понимании <Е, /> становится парой <<<?, /, < >, />, i>, где is/: речь идет о приписыва- 71 нии посредством определенных функций, называемых интенсиями, возможных денотаций (в указанном смысле) языковым выражениям относительно /. Так, интенсия предложения «Сегодня среда» является функцией от / к определенному истинностному значению как экстенсии этого предложения в определенный момент времени, интенсия индивидуального выражения (в данном случае собственного имени), например «Р. Рейган», полагается константной функцией от / к определенному члену множества Е в отличие от интенсии определенной дескрипции «Нынешний президент США», имеющей различные значения в различные моменты времени или в различных возможных мирах. Вообще полагается, что функции, соотносимые с индивидуальными выражениями, не обязательно являются константными: так N ж М как интенсии индивидуальных выражений «а» и «Ъ» соответственно могут иметь то же функциональное значение в некоторых, но не во всех ?е/. Имеппо этим объясняется информативность утверждений тождества (вроде «Утренняя звезда является Вечерней звездой»). — 52 —
|