|
66
Так, семантическое отличив предложения «Трава является зеленой или трава не является зеленой» от «Снег является белым или снег не является белым» состоит в различии интенсий, составляющих соответственно выражения «Трава является зеленой» и «Снег является белым». Следовательно, только тогда, когда рассматриваются интенсиц составляющих и т. д. (т. е. когда достигается уровень простых лексических составляющих как составляющих терминальной цепочки базисной структуры), тождество интенсий можно рассматривать как необходимое и достаточное условие тождества смыслов. Согласно Льюису, «различия в интенсий дают нам грубые различия в смысле. Тонких различий в смысле мы должны искать в анализе сложного выражения на его составляющие и в интенсиях этих составляющих» (201, с. 182). Поэтому смысл у Льюиса отождествляется с семантически интерпретированным фразовым маркером (фразовой структурой) без его терминальных узлов (вершин). Смысл определяется как такое дерево, каждый узел которого занят упорядоченной парой <а, с>, состоящей из категории и соответствующей интенсий для этой категории, и непосредственно под каждым нетерминальным узлом, занятым такой парой, имеются два или более узла, занятые парами <а0, со>, <ai, cj>, ..., <аи, си> такими, что ао является (a/ai ... а„), а с является с„ (ci ... сп) (201, с. 184). Таким образом, поскольку смысл в концепции Льюиса отождествляется с семантически интерпретированными фразовыми маркерами, синтаксические правила фразовой структуры категориальной грамматики вместе с соответствующими семантическими правилами проекции являют собой условия правильности построения смыслов, или правила осмысленности, языковых выражений. Если смысл является деревом с единственным узлом, то он полагается простым, а все другие смыслы — сложными. Последние образуются из простых смыслов, представленных в лексиконе естественного языка (как инвентаре простых смыслов) посредством процедуры, согласно которой несколько смыслов (простых или сложных) соединяются в качестве субдеревьев под новым узлом. Смысл тп' называется составляющей смысла тп, если и только если га' является субдеревом тп; говорится, что тп порождается 67 множеством простых смыслов, если и только если каждая простая составляющая т' принадлежит этому множеству. Располагая в качестве фундаментального определением истинности предложения при определенном индексе, Льюис может перейти к определению других важных выводных семантических отношений и свойств языковых выражений, таких, как логическая истинность (как истинность выражения во всех возможных мирах), аналитичность (как истинность при любом индексе), логическое следствие (5" полагается логическим следствием S, если и только если S' является истинным во всех тех мирах, в которых истинно S; тогда S' логически следует из S, или Алогически имплицирует S') и др. — 49 —
|