ЗОЛОТОЕ ПРАВИЛО НРАВСТВЕННОСТИ чение связано с контекстом использования знака, оно является предметом изучения не столько в семантике, сколько в прагматике. В логике отношение между знаками и их значениями изучается в логической семантике. Логическая семантика занимается не экспрессивными значениями, а только теми, которые в семиотике определяются как предметное и смысловое значение, и в логике чаще всего называются значением (denotation, meaning) и смыслом (sense). В рамках соответствующих логико-семантических теорий и методов ведутся работы по экспликации этих понятий и по построению общей теории референции и теории смысла. Подобная пара понятий «значение — созначение» выделялась еще Дж. Ст. Миллем (denotation — connotation); Г. Фреге в своей именования теории сопоставлял имени денотат (Bedeutung) и смысл (Sinn); P. Карнап каждому обозначающему выражению — десигнатору — сопоставлял экстенсионал (extension) и интенсионал (intention) и т. п.; К. И. Льюис сопоставлял знаку четыре вида значения: экстенсионал, или денотат (extension, denotation), под которым он понимал класс всех действительно существующих объектов, к которым применим данный знак; охват (comprehention) — класс всех возможных (непротиворечиво мыслимых) объектов, к которым применим данный знак; сигнификат (signification) — набор свойств, наличие или отсутствие которых у объекта позволяет применить к нему данный знак; интенсионал (intention) — конъюнкция всех терминов, и каждый из них применим к любому объекту, который может быть обозначен данным знаком. Разрабатываемые в рамках соответствующих теорий понятия значения (денотата, номинанта, экстенсионала) и смысла (интенсионала) могут применяться для анализа выражений как естественного, так и искусственного языков. Но строгим образом они могут быть заданы только для искусственных формализованных языков. Обычно в современной логике принято строить формализованный язык L, а для L метаязык ML, в котором выделяются синтаксическая SinML, семантическая SemML и — при необходимости — прагматическая PrML части. В синтаксической части метаязыка содержатся переводы выражений языка L на метаязык, правила построения и правила вывода. Все знаки языка заранее делятся на значащие и синкатегориматические — служебные (скобки, запятые и т. п.). В семантической части метаязыка всем значащим выражениям приписываются значения (экстенсноналы) с помощью специальной функции приписывания значения R: сингулярным термам — индивиды из индивидной области данной интерпретации (R(a) = v), одноместным предикатам— свойства, двух- и более местным—отношения. Причем свойства и отношения могут задаваться экстенсионально — путем указания на множество индивидов или, соответственно, упорядоченных n-ок индивидов, для которых данные предикаты выполняются. В качестве значений предложениям (правильно построенным формулам без свободных переменных) приписываются логические валентности: истина-ложь или 1—0 в двузначной логике, в трехзначной: истина-ложь- неопределенность и т. п. В бесконечнозначной логике предложению сопоставляются значения от единицы до бесконечности. В последние годы получили развитие логики с провалами значений, в которых не все предложения получают определенное значение. Следуя фрегевскому пониманию смысла имени как способа задания его значения (денотата), интенсионал термина часто эксплицируют как функцию приписывания значения. В лингвистике различают несколько типов значений языковых знаков в зависимости от типов самих знаков; при этом наиболее важными и типичными языковыми знаками считаются слова, значение (означаемое) которых называется лексическим значением. Различаются характеризующие знаки, представленные полнозначными словами, предметное значение которых составляют объекты действительного мира, чувства и желания людей и т. п., и словесные знаки (местоимения, предлоги, союзы и т. п.), значение которых является информацией о внутренних отношениях знаков в составе сложных языковых выражений, напр., высказываний. В составе слов выделяются особые структурные единицы — морфемы, имеющие специфическое означаемое. При этом словообразовательные и словоизменительные морфемы реализуют свое значение только в сочетании с другими знаками, поэтому их также называют полузнаками. Морфемы в свою очередь состоят из фонем (артикулированных звуков или букв), ограниченное количество которых существует в любом конкретном языке и которые сами не имеют самостоятельного значения, но их комбинации, полученные по определенным правилам в каждом языке, создают неограниченную возможность обозначения любых элементов действительного или виртуального мира. Термин «значение» имеет широкое применение и в других дисциплинах, где часто получает особый смысл у различных исследователей. Так, в философии можно выделить понимание этого термина у П. Бриджмена — он отождествлял значения терминов науки с операциями по исследованию объектов, к которым применяются эти термины; Л. Витгенштейн понимает значение знака как способ употребления этого знака в языке; Э. Гуссерль, Б. Больцано и Ф. Брента- но понимают значение знака как особый идеальный объект или особое свойство мысли об объекте и т. п. В психологии (бихевиоризм, прагматизм) значение языкового выражения отождествляется с поведенческими реакциями субъекта на воспринятый знак. Лит.: Арутюнова Н.Д. Предложение и его смысл. Логико-семантические проблемы. М., 1976; Вежбицкая А. Язык. Культура. Познание. М., 1996; Льюис К. И. Виды значения.— В сб.: Семиотика. М, 1983; Мулуд Н. Анализ и смысл. М, 1979; Павилёнис Р. Проблема смысла. Современный логико-семантический анализ языка. М, 1983; Пиаже Ж. Схемы действий и усвоение языка.— В сб.: Семиотика. М, 1983; Проблемы знака и значения. М, 1969; Якобсон Р. В поисках сущности языка.— В сб.: Семиотика. М., 1983. См. также лит. кет. Знак. Г. В. Гриненко