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

• Название: Новая философская энциклопедия. Том третий Н—С
• Автор: В Степин
• Издательство: МЫСЛЬ
• Жанр: Философия
• Год: 2010
• ISBN: 978-2-244-01115-9

Новая философская энциклопедия дает обзор мировой философии во всем богатстве ее основных понятий, произведений, исторических традиций, школ, имен, обобщает достижения российских и зарубежных философских исследований за последние десятилетия, является самым полным в отечественной литературе сводом философских знаний на рубеже тысячелетий. Энциклопедия содержит около пяти тысяч статей, авторами которых являются более четырехсот известных ученых - специалистов в различных областях философии.

При подготовке данного издания внесены некоторые уточнения и дополнения. В частности, в первом томе помещена статья, посвященная 80-летию Института философии РАН в четвертом - именной указатель по всем томам.

---

518

СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ роль Франции») принадлежит к разным семантическим категориям (бинарный и унарный предикаты соответственно; предметный функтор и предикатор во втором примере). Если принимается основной принцип теории семантических категорий, то слово «мать» («король») в этих двух контекстах принадлежит к двум разным семантическим категориям, имеет разные типы значения и как бы представляет с логической точки зрения два различных выражения. Если же не принимается основной принцип, тогда одно и то же выражение (слово) в разных контекстах может принадлежать к различным семантическим категориям, а это означает семантическую неоднозначность выражения. Отметим, что для построения иерархии семантических категорий основной принцип не нужен. Выделяются исходные категории, постулируются способы построения производных — получаем определенную систему семантических категорий. Другое дело — проблема отнесения выражений языка к определенным семантическим категориям. В этом случае вступает в силу основной принцип. Одно дело — выделение семантических категорий некоторого фиксированного языка, принцип разбиения их на непересекающиеся классы, другое — построение определенной системы семантических категорий. Следует четко различать эти два вопроса. Проблемы с основным принципом теории семантических категорий возникают именно в связи с отнесением выражений языка к определенным семантическим категориям. Всегда ли возможно такое однозначное отнесение? Само понятие семантической категории вводится, как отмечалось, на основании понятия «принадлежать к одной семантической категории». На основании свойств отношения «принадлежать к одной семантической категории» (отношения типа равенства) все выражения языка разбиваются на непересекающиеся классы (категории значения). Однако, если основной принцип не действует, это ставит под сомнение непересекаемость указанных классов, стабильность типов значений. Подход Айдукевича основан на правилах конструирования категориально согласованных («синтаксически связанных») выражений языка. Новым этапом в разработке теории семантических категорий послужило представление процедур построения выражений языка в виде логической дедукции. Шагам построения и выявления категориальной структуры выражений сопоставляются определенные правила логического вывода. И. Ламбек (1958) построил первые логические исчисления для репрезентации теории семантических категорий. Семантическимкатегориямсопоставляютсяпропозициональ- ные переменные; знак «дроби» в индексации Айдукевича (знак приложения функтора к его аргументам) трактуется как импликация, процедуре установления категориальной структуры предложений сопоставляется логический вывод. Оригинальность подхода заключается в представлении шагов конструирования в виде правил логического вывода. Если в польской школе логики категориальные типы рассматривались одновременно и в синтаксическом и в семантическом аспектах, то Ламбек строит свое исчисление категорий как чисто синтаксическую теорию. В качестве аналога семантической категории у него выступает понятие типа. Исходными, простымитипамиявляютсятипы имен (п) и предложений (s), производными типами — типы функторных выражений вида А/В и В\А. Вслед за Бар-Хиллелом (1964) он различает направление операции приложения функтора к аргументу справа и слева — так появляются функторные выражения типа А/В и типа В\А, что существенно для анализа выражений естественного языка. Основное правило композиции выражений в теории семантических категорий приобретает вид логического правила вывода modus ponens в двух вариантах соответственно: А/В, В \— А и Д В\Л |— А (в обоих случаях имеет место полная аналогия с modus ponens в логике высказываний: BID А, В\—А). Используя правила, относящиеся к применению импликации: если из Г |— А/В и А |— А, то Г, Д |— А, если из Г |— В и Д |— В\Л, то Г, Д |—А, можно строить выражения более сложной структуры из их составляющих. Аналогично на основании определенных правил (аналогичных правилу введения импликации — вывод из допущений — в логике высказываний) можно выводить категории составляющих функторных выражений (т. е. типа А/В и В\А) на основании знания категориальной структуры сложного выражения: из Г, В \— А следует Г \—А/В и из В, Г |— А следует Г |— В\4. В настоящее время построены и исследованы различные системы ламбековского типа (И. Ламбек — более поздние работы, К. Дочен, М. Мортгат, М. ЭммС, И. Ван Бентем, Г. Моррил, Н. Куртонина и др.). Широко используются аппарат и подходы комбинаторных, модальных логик, секвенци- ональных исчислений. Разработка — особенно в 80-е и 90-е годы — такого рода мощного аппарата логических систем в конечном счете диктуется задачами в области формальных категорных грамматик: выявления категорий структуры выражений естественных языков, разработка типологии значений (системы семантических категорий) выражений этих языков. При дедуктивном подходе важен не синтаксический уровень рассмотрения исчислений, важно, чтобы построенные исчисления были адекватны и полны относительно лингвистических построений. Построение лингвистических структур должно идти рука об руку с построением соответствующих композиций значений выражений языка. Но для этого нужна соответствующая семантическая интерпретация такого рода исчислений. Логические исчисления должны давать базис для реальной теории грамматик. Использование аппарата логических исчислений должно решать задачу установления эффективным способом категориальной структуры предложений, поэтому для этих исчислений особо важна разрешения проблема (вопросы устранимости сечения и т. д.; Ламбек (1958 и др.)). Теория семантических категорий широко используется для анализа категориальной структуры выражений естественных языков (Р. Монтегю, И. ван Бентем, И. Лайонс, Д. Льюис, П. Гич, И. Ламбек, М. Муртгат и др.). Лит.: Ламбек И. Математическое исследование структуры предложений. — В кн.: Математическая лингвистика. М., 1964; Lesniewski S. Grundzuge eines neunen systems der Grundlagen der Mathematics. — «Fund. Math.», 14, 1929; Ajdukiewicz K. Die syntaktische Konnexitat. — «Studia Philosophica». Lwow, 1935, v. 1; Tarski A. Der Wahrheitsbegriff in den formalisierten Sprachen. — Ibid., 1936, Bd. 1; Bar-HillelJ. On syntactical categories. — «J. of symbolic logic», 1950, v. 15, N 7; The mathematic of sentence structure. — «Amer. Math. Monthley», 65,1958; Lambek J. Decuctive systems and categories. — «J. Math. Syst. Theory», 2,1968; Montague R. English as a formal language,— Formal Philosophy. New Haven—L., 1974; Van Benthem J. The Lambek calculus. — Catego- rial Grammars and Natural Language Structures. Dordrecht, 1988; Daseh K. A brief survey of frames for the Lambek calculus. — «Z. Math. Logik Grundlag. Math.», 38, 1992; Kurtonina N. Frames and labels. A modal analysis of categorial inference. PhD Dissertation, OTS Utrecht, JLLC Amsterdam, 1995; Carpenter В. Type-Logical Semantics. Cambr., 1996;

519

СЕМАНТИЧЕСКОГО АНАЛИЗА МЕТОДЫ Moortgat M. Cutegorial type logics. — Handbook of Logic and Language. Cambr. Mass., 1997. E. Д. Смирнова

СЕМАНТИЧЕСКОГО АНАЛИЗА МЕТОДЫ - см. Логическая семантика, Именования теория.

СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ -см. Логическая семантика.

СЕМИОТИКА (греч.отщ?Ш)пкт|, от onjiriov — знак), семиология — общая теория (или комплекс научных теорий), исследующая свойства знаковых систем, или систем знаков, каждому из которых определенным образом сопоставляется (придается) некоторое значение. Примеры знаковых систем: естественные (разговорные) языки, системы предложений научных теорий, искусств, языки, системы сигнализации в обществе и природе, системы состояний, входных и выходных сигналов различных машин и автоматов, программы и алгоритмы для них и языки-посредники для «общения» с ними человека и т. п. В качестве знаковых систем можно рассматривать «языки» изобразительных искусств, театра, кино и музыки, а также любые сложные системы управления, рассматриваемые с позиций кибернетики: машины, станки, приборы и их схемы, живые организмы, их подсистемы (напр., центральная нервная система), производственные и социальные объединения и общество в целом. В рамках семиотики как единого комплексного направления возможна интерпретация перечисленных сложных систем как систем знаков, могущих в принципе служить для выражения некоторого содержания, причем совместное рассмотрение чрезвычайно разнообразных знаковых систем оправдывается аналогиями в их строении (и принципах функционирования), выражающимися такими отношениями, как изоморфизм и гомоморфизм. Семиотический подход к изучению знаковых систем по существу проявился уже в логико-математических работах Лейбница (кон. 17 в.), предвосхитившего своей концепцией «универсального исчисления» принципы математической логики и семиотики. Швейцарский лингвист Ф. де Соссюр (кон. 19 в.) рассматривал естественные языки как знаковые системы, разрабатывая теорию значения знаков в рамках научной дисциплины, названной им семиологией. Основные принципы семиотики были сформулированы в явном виде Ч. Пирсом (2-я пол. 19 в.), который и ввел сам термин «семиотика», и развиты в работах Ч. Морриса, Р. Карнапа, А. Тарского и др. Для семиотического подхода характерно выделение трех уровней исследования знаковых систем, соответствующих трем аспектам семиотической проблематики: 1) синтактика посвящена изучению синтаксиса знаковых систем, т. е. структуры сочетаний знаков и правил их образования и преобразования безотносительно к их значениям и функциям знаковых систем; 2) семантика изучает знаковые системы как средства выражения смысла — основной ее предмет представляют интерпретации знаков и знакосочетаний; 3) прагматика изучает отношение между знаковыми системами и теми, кто воспринимает, интерпретирует и использует содержащиеся в них сообщения. Одна из важнейших проблем семиотики состоит в выяснении того, в какой мере эти уровни исследования вза- имосводимы. Структуралистская программа де Соссюра (отчасти предвосхищенная лингвистическими идеями В. фон Гумбольдта) легла в основу семиотических исследований в конкретных науках. Первой такой семиотической дисциплиной явилась намеченная еще в его работах и интенсивно развивавшаяся с 1920-х гг. в ряде стран (Чехословакия, СССР, США, Дания и др.) структурная лингвистика. В настоящее время разрабатываются как ее синтаксический аспект (теория т. н. формальных грамматик, основанная на логико-математической и отчасти теоретико-множественной методологии), так и семантический («модель Смысл *-* Текст»), а также методологические (напр., поиски т. н. языковых универсалий в работах Н. Хомского и его школы) аспекты и многочисленные прикладные направления (вероятнсютнс^статистические описания языковых структур; работы Ю. В. Кнорозова по дешифровке древних письменностей и др.). По примеру и образцу лингвистики выявление внутренних структур и их моделирование получили развитие в литературоведении («формальная школа» Ю. Н. Тынянова, В. Б. Шкловского и Б. М. Эйхенбаума, монография В. Я. Проппа «Морфология сказки», работы Ю. M. Лотмана и др. по структурной поэтике, ряд работ M. M. Бахтина), в эстетике (как в прикладном плане — семиотическое изучение «языков» кино, театра и др. видов искусства, так и в общетеоретическом), в психологии и педагогике (школа Ж. Пиаже, работы Л. С. Выготского и др. советских психологов, а также «установочная» концепция трудовой и общей педагогики А. К. Гастева), в этнологии, антропологии и культурологии (структурная антропология К. Леви-Строса), в социологии, экономических науках и др. Теоретическая (или формальная) семиотика представляет собой совокупность синтаксических и семантических исследований знаковых систем (относимых часто к металогике) применительно к искусственно формализованным языкам, т. е. логическим и логико-математическим исчислениям, рассматриваемым вместе с их интерпретациями (семантика) или независимо от них (синтаксис): метаматематические исследования Рассела, Уайтхеда, Гильберта, Геделя, Г. Генцена, А. Чёрча и др., логико-семантические и теоретико-модельные работы Фреге, Карнапа, Чёрча, Дж. Кемени, Тарского и его школы, А. И. Мальцева и его учеников и др., а также выполненные в рамках конструктивного направления работы математиков А. А. Маркова, Н. А. Шанина и их учеников по общей теории исчислений. К теоретической семиотике относятся также, наряду с программными работами Пирса и Морриса, работы Витгенштейна и Карнапа (посвященные логико-философским принципам моделирования мира), генетический анализ логико-познавательных структур в работах школы Пиаже и более поздние работы по «структурной эпистемологии». На стыке общетеоретических исследований по семиотике различных семиотических дисциплин разрабатываются многочисленные описания алгоритмических языков и языков программирования, реализующие на достаточно высоком уровне абстракции (но в применении к совершенно конкретным знаковым системам) общие принципы семиотики и математической логики (напр., язык РЕФАЛ). В рамках теоретической семиотики аспекты семиотических исследований — синтактика, семантика и прагматика — могут пониматься как разделы этой науки (подобно тому как, напр., в теоретической механике выделяются кинематика, статика и динамика). Проблема взаимной редукции задач и результатов, относящихся к этим разделам семиотики, получает здесь точную постановку. Практическая и философская важность семиотики обусловлена тем, что она трактует различные знаковые системы как модели определенных фрагментов мира, строящиеся в ходе