Новая философская энциклопедия. Том третий Н—С - Коллектив авторов. Страница 327

513

СЕМАНТИКА Проблема истинности «научных образов» — центральный пункт противоречий в его концепции. С одной стороны, истинность научных суждений должна удостоверяться «соответствием с реальностью», с другой — это соответствие не может быть установлено вне рамок теории, истинность которой должна быть проверена. Такая проверка, как следует из критики «мифа о данных», не может опираться на «теоретически нейтральный» эмпирический базис. Поэтому критерием истинности теории объявляется успешность объяснения «феноменов» повседневного опыта, сама же успешность определяется прагматикой употребления научного знания и научной коммуникации. В результате «научный реализм» Сел- ларса вынужден искать компромисс с инструментализмом и прагматизмом, гипотеза о существовании объектов реального мира становится метафизическим постулатом его доктрины. Концепцию Селларса часто называют также «экспланати- вистским реализмом», за смещение центра тяжести в сторону логико-методологического анализа процессов объяснения явлений в рамках теоретических систем науки. Селларсу принадлежат оригинальные разработки в теории смысла и референции («функциональная» концепция значения). Согласно его теории «концептуальных ролей», носители языка наследуют его онтологию через механизмы культуры; эта онтология становится базой всех «интенсиональных контекстов». Сами эти контексты анализируются с позиции психологического номинализма; Селларс отрицает роль абстрактных объектов как существенных ингредиентов ментальных актов. Вслед за Пирсом он понимал развитие науки как «самокорректирующийся» процесс концептуальных изменений, т. е. непрерываемый процесс обновления знания через совершенствование объяснительных возможностей науки и преодоление ее внутренних противоречий. Мышление, по Селларсу, — нейрофизиологический процесс и в качестве такового подлежит естественнонаучному анализу (тезис «научного материализма», который должен объяснить факты «феноменального» видения мира человеком и в конечном счете привести к замене его научной картиной мира или «синоптическому» видению. В этике Селларс защищал позиции альтруизма и либерализма. Соч.: Science, Perception and Reality. L., 1963; Philosophical Perspectives, III., 1967; Science and Metaphysics: Variations on Kantian Themes. L. — N. Y., 1968; Essays in Philosophy and Its History. Dordrecht, 1974; Naturalism and Ontology. Atascadero, 1980; Pure Pragmatics and Possible Worlds. Atascadero, 1981; The Metaphysics of Epistemology: Lectures by Wilfrid Sellars. Atascadero, 1989; Научный реализм или «миролюбивый» инструментализм? — В кн.: Структура и развитие науки. М., 1978. В. Н. Пору с

СЕМАНТИКА — дисциплина, изучающая знаки и знаковые системы с точки зрения их смысла; как правило, рассматривается в рамках семиотики (науки о знаковых системах) совместно с двумя другами ее разделами: синтактикои и прагматикой. Первая из них изучает отношения знаков между собой (синтаксис), вторая — отношения между знаками и производящими и интерпретирующими их субъектами, тогда как семантика рассматривает знаки в их отношении к обозначаемым (не имеющими знаковой природы) объектам. Наиболее важным предметом изучения для семантики является язык, а потому она входит в качестве составной части в лингвистику (как семантика естественного языка) и в логику (как семантика формальных языков). Возникающая и в логике, и в лингвистике семантическая проблематика является выражением общей философской проблемы связи мышления и бытия. Вопрос о том, в какой мере язык способен выразить неязыковую реальность, тесно коррелирован с вопросом о способности мысли понять внешний для нее предмет. Из основных взглядов на природу знака, лежащих в основе семантических построений, нужно выделитьте, которые были сформулированы на рубеже 19 и 20 вв. в работах L Фреге и Ф. де Соссюра. Их концепции (в значительной мере противостоящие друг другу) и до сих пор определяют методы исследования и терминологию в лингвистике и логике. Фреге принадлежит теория тройственной природы языкового знака. Сам знак (единичный объект), во-первых, указывает на другой объект (значение знака), а во-вторых, на соответствующее означаемому объекту понятие (смысл знака). Введенное т. о. различение между смыслом и значением стало впоследствии ключевым для многих логических и лингвистических теорий, в которых, впрочем, была принята иная, нежели у Фреге, терминология. Для означаемого объекта используют термины «референт», «денотат», «десигнат». То, что Фреге назвал «смыслом», иногда называют «сигнификатом». Впрочем, интерпретация разными исследователями приведенных терминов сильно варьируется. Часто употребляемой для выражения введенного Фреге семантического различения является также пара «экстенсионал» — «интенсионал». Различение между смыслом и значением Фреге ввел также для предложений языка, утверждая, что для широкого класса предложений значением являются истинность или ложность. Он указал также на существование таких языковых конструкций, которые имеют смысл, но не имеют значения (напр., утверждения о вымышленных объектах). Согласно Фреге, в основе любого мыслительного акта лежит стремление выразить сущность, самостоятельно существующий предмет, который обозначается в языке своим именем и о котором сказывает его понятие. Соссюр рассматривает природу знака как двойственную, называя знак единством означающего и означаемого. Под последним понимается именно то, что Фреге называл смыслом, но подход Соссюра в принципе иной. Семантические свойства языка определяются тем, что он представляет собой систему, Знаки существуют только в отношении друг к другу, и именно эти отношения, а не связь с внеязыковыми сущностями определяют смысл знака. Поэтому референциальная семантика вообще отсутствует у Соссюра. Эта позиция разделяется и до сих пор многими лингвистами (гл. о. французскими). Греймас и Курте называют «исключение референта необходимым условием развития лингвистики». Подход Соссюра является лингвистическим коррелятом той философской установки, которая стремится исключить из рассмотрения категорию сущности. Она была разработана, напр., в Марбургской школе, для философов которой критерием объективности знания является не отношение знания к «реально существующему» объекту (которое совершенно невозможно установить), а внутренняя согласованность самого знания. Последнее рассматривается как структура, т. е. совокупность отношений элементов, определяемых (подобно единицам языка у Соссюра) лишь своим местом в системе и отношениями друг с другом. В логике и математике разработан аналитический аппарат, позволяющий описывать семантику формальных языков. В основе этого аппарата лежит понятие интерпретации. Последняя есть функция, которая сопоставляет каждому имени

514

СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ (индивидной константе) языка некоторый объект из заданного множества, а каждому выражению языка (предикатной константе) некоторое отношение объектов этого же множества. Важнейшим элементом семантики формальных языков является понятие истинности, которая рассматривается как формалное свойство правильно построенного выражения языка. Существенной в этом случае является необходимость введения метаязыка. Только с его помощью можно описать область объектов, задать интерпретирующую функцию и делать выводы относительно истинности языковых выражений. Формальные основания для различения объектного языка и метаязыка были получены А. Тарс- ким. Последующее развитие логики (С. Крипке, Р. Мартин, П. Вудруфф) привело, однако, к построению «семантически замкнутых» языков, т. е. таких, которые сами содержат в себе возможности делать выводы о семантических свойствах (в частности, об истинности) языковых выражений. Однако общей особенностью любого формального подхода является необходимость выржать неязыковые объекты средствами языка (пусть даже метаязыка). Исследование семантики свойств оказывается поэтому исследованием отношений между Знаками, а не отношений между знаком и объектом, не имеющим природы знака. Т. о. семантика обращается в синтактику. При описании семантики естественного языка лингвисты также прибегают к понятию функциональной зависимости, реализуя схему, очень похожую на схему интерпретации формальных языков. При этом используется аппарат семантических категорий, введенный К. Айдукевичем (см. Семантических категорий теория). Простейшими категориями являются имя и предложение. Первое имеет в качестве экстенсионала объект, второе — значение истины или лжи. Интенсионал языкового знака, принадлежащего к этим категориям, есть функция (в строгом, теоретико-множественном смысле — Д. Льюис, а еще раньше Р. Карнап), ставящая ему в соответствие его экстенсионал. Более сложные категории получаются из простейших согласно правилам синтаксиса и должны включать все возможные грамматические формы. Их семантика определяется построением интенсионалов, которые также являются функциями, но уже более сложными. Природа интенсионала часто определяется по-разному. Н. Хомский, напр., видит в них врожденные схемы действия, присущие человеческой психике. Р. Монтегю представляет их объективными идельными сущностями, которые схватываются сознанием. По существу в логике, описывающей формальные языки, и в лингвистике, изуающей естественный язык, вводятся одни и те же процедуры: установление функциональной связи между выражениями языка и «реальными» объектами и отношениями. Однако логика (а в еще большей мере математика) требует явного описания (опять же с помощью языка) как функций, так и областей интерпретации. В лингвистике же, когда речь идет об интерпретирующей функции (интенсионале), может подразумеваться некоторая когнитивная операция (вовсе не описанная явно), совершаемая носителем языка, который производит и интерпретирует знаки. Поэтому если логика сближает семантику с синтактикой, то лингвистика обращает ее в прагматику. Эта «потеря» семантики возникает в тех теориях, которые разделяют существенный элемент учения Фреге: язык рассматривается как средство для выражения неязыковых сущностей, т. е. для представления объективной реальности. В таких теориях пытаются установить связь мысли с немыслимым, что порождает естественные трудности. Альтернативой фрегевского понимания семантики (помимо школы Соссюра, о которой сказано выше) является теория семантических примитивов (А. Вежбиикая). Она прямо связана с учением Р. Декарта, о том, что всякая сложная идея сводима к простым, понятным интуитивно и не нуждающимся ни в каком прояснении. Еще большая зависи- мость обнаруживает теория семантических примитивовот философии Г.Лейбница, поскольку может быть представлена как развитие его попытки создания универсальной характеристики. По мысли Вежбицкой, всякий дискурс есть конструкция, построенная из достаточно простых элементов по известным правилам. Смысл любого языкового построения ясен в той мере, в какой прояснена процедура построения, атакже смысл этих элементов. Последние же, называемые семантическими примитивами, ясны интуитивно. Их описание не требует прибегать к особым приемам (напр., к введению интенсионалов и экстенсионалов), поскольку их смысл абсолютно прозрачен и не нуждается в каком-либо выражении. Важно, что число этих примитивов невелико и их нумерация легко достижима. Лит.: Шрейдер Ю. А. Логика знаковых систем. М.. 1974; Семиотика (сборниктрудов; ред. Ю. С. Степанов). М, 1983; Смирнова Е.Д. Логика и философия. М., 1996; Соссюр Ф. Труды по языкознанию. М., 1977, с. 31—288; Тондл Л. Проблемы семантики. М., 1975; Фреге Г. Избранные работы. М., 1997, с. 25—49; Wierzbicka A. Semantic Primitives. Fr./М, 1972. Г. Б. Гутнер