[298]

C
   СВОЙСТВО
    - характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их. Каждому предмету присуще бесчисленное количество свойств, которые делятся на существенные и несущественные, необходимые и случайные, общие и специфические и т. д.
   В логике С. называют то, что обозначается одноместным предикатом, напр.: "... есть человек", "... есть зеленый" и т. п. При постановке на пустое место имени к.-л. объекта мы получаем истинное или ложное высказывание: "Сократ есть человек", "Снег зеленый".
   СВЯЗКА
    - в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В повседневном языке С. обычно выражается словами "есть", "суть", "является" и т. п., напр.: "Узбеки являются жителями Средней Азии". В обыденной речи С. часто опускается и приведенное выше предложение обычно выглядит так: "Узбеки живут в Средней Азии". Однако даже если С. не выражена каким-то специальным словом, она обязательно присутствуют в суждении. Напр., два понятия "город" и "населенный пункт" образуют суждение только после того, как их соединит С. "Город есть неселенный пункт". Поэтому схематическое представление простого суждения включает в себя три элемента - субъект, предикат и связку: "5 есть Р". С. может быть утвердительной или отрицательной ("есть" или "не есть"). Именно этим определяется качество простого суждения.
   В символической логике пропозициональными связками называют логические союзы (операторы), с помощью которых из простых высказываний получают сложные высказывания. К ним обычно относят отрицание, конъюнкцию, дизъюнкцию, импликацию и т. п. Условия истинности сложных высказываний, содержащих пропо-
[299]
зициональные связки, формулируются посредством таблиц истинности. (См.: Суждение.)
   СЕМАНТИКА ЛОГИЧЕСКАЯ
   - раздел логики (металогики), исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантики обсуждались еще в античности, однако в качестве самостоятельной дисциплины она стала оформляться на рубеже XIX-XX вв. благодаря работам Ч. Пирса, Г. Фреге, Б. Рассела. Значительный вклад в разработку проблем С. л. внесли А. Тарский, Р. Карнап, У. Куайн, Дж. Кемени, К. И. Льюис, С. Крипке и др. В течение длительного времени С. л. ориентировалась преимущественно на анализ формализованных языков, однако в последние 20 лет все больше исследований посвящается естественному языку.
  В С. л. традиционно выделяют две области - теорию референции (обозначения) и теорию смысла. Теория референции исследует отношение языковых выражений к обозначаемым объектам, ее основными категориями являются: "имя", "обозначение", "выполнимость", "истинность", "интерпретация", "модель" и т. п. Теория референции служит основой теории доказательств в логике. Теория смысла пытается ответить на вопрос о том, что такое смысл языковых выражений, когда выражения являются тождественными по смыслу, как соотносятся смысл и денотат и т. п. Значительную роль в С.л. играет обсуждение семантических парадоксов, решение которых является важным критерием приемлемости любой семантической теории.
   СЕМАНТИЧЕСКАЯ КАТЕГОРИЯ
    - класс языковых выражений, взаимная замена которых в предложении сохраняет его грамматический статус, т. е. предложение остается предложением. Если, напр., в предложении "Волга впадает в Каспийское море" слово "Волга" мы заменим словом "Нева", то получим хотя и ложное, но все-таки предложение. Это означает, что слова "Волга" и "Нева" принадлежат одной С.к. Но если вместо слова "Волга" мы поставим слово "меньше", то у нас окажется бессмысленный набор слов, следовательно, слова "Волга" и "меньше" принадлежат разным С. к.
   Наиболее известную систему С. к. разработал польский логик К. Айдукевич (1890-1963). Исходными категориями его системы являются категории собственных имен (n) и высказываний (s). Предполагается, что каждое правильно построенное выражение языка может быть расчленено на функтор и его аргументы. Категория функтора определяется как дробь, в знаменателе которой стоят категории аргументов, а в числителе - категория выражения, образующегося в результате сочленения функтора с аргументами.

[300]
Напр., к какой С. к. принадлежит одноместный предикат "...бел"? Его единственным аргументом является некоторое имя, категория которого помещается в знаменателе дроби; в результате соединения предиката с именем получается предложение, категория которого

помещается в числителе дроби, получается. С. к. двухместного предиката, скажем, "больше", будет выглядеть 
так:. Логические связки можно рассматривать как функторы, применяемые к предложениям, причем в результате опять получается предложение. Т. о., категория бинарной связки, скажем, "или", "если, то" и т. п., будет
выглядеть так:. Теория С. к. служит основой для классификации
формализованных языков и определения важных семантических понятий, например понятия истины.
СЕМАНТИЧЕСКИЕ ПАРАДОКСЫ, см.: Антиномия.
   СЕМАНТИЧЕСКОЕ ПОНЯТИЕ ИСТИНЫ
    - классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским математиком и логиком А. Тарским в работе "Понятие истины в формализованных языках" (1935). Тарский исходит из классического представления об истине, согласно которому термин "истинно" выражает свойство нашего знания, в частности свойство высказываний, а не объективной действительности. Высказывание считается истинным тогда и только тогда, когда оно утверждает, что дела обстоят так-то и так-то, и дела действительно обстоят именно так. Напр., высказывание "Париж находится во Франции" истинно тогда и только тогда, если Париж находится во Франции; высказывание "Сахар растворим в воде" истинно тогда и только тогда, если сахар растворим в воде, и т. п. Подобного рода определения истинности отдельных высказываний Тарский обобщает в виде следующей схемы:
X истинно ? Р.
   Для того чтобы получить определение истинности некоторого конкретного высказывания, на место Х в этой схеме нужно поставить кавычковое имя данного высказывания (т. е. высказывание в кавычках), а на место Р - само это высказывание, знак "=" означает "тогда и только тогда, когда". Напр.: "Снег бел" истинно тогда и только тогда, когда снег бел. Общее определение истины должно быть таким, чтобы ему соответствовали все конкретные случаи применения понятия "истинно", представленные приведенной схемой.
   Тарский показал, однако, что для обычного естественного языка задача построения общего определения истины не может быть

[301]
решена. Одной из причин этого является то обстоятельство, что в естественном языке имеются предложения, утверждающие собственную ложность (типа "Я лгу"). Попытка применить к ним термин "истинно" согласно приведенной схеме ведет к противоречию. Тарский считает, что это противоречие возникает благодаря "семантической замкнутости" естественного языка, т. е. благодаря тому, что в этот язык входят и предложения, и имена этих предложений, и семантические предикаты - "обозначать", "истинно", "выполнять" и т. п. Для устранения подобных парадоксов Тарский считает необходимым разделить язык на две части: объективный язык и метаязык. Определение истины должно формулироваться в метаязыке. В этом случае парадоксов не возникает.
   С. п. и. не только является одним из основных понятий логической семантики, оно существенно уточняет и наше философское представление об истине.
   СЕМИОТИКА
    - общая теория знаковых систем, к числу которых относятся как естественные языки, так и специальные языки конкретных наук, искусственные языки, сигнальные системы и т. п. Основы С. были заложены в трудах швейцарского лингвиста Ф. де Соссюра и амер. логика Ч. Пирса (конец XIX в.). Последующую разработку различных разделов С. осуществляли Ч. Моррис, А. Тарский, Р. Карнап и др.
   С. выделяет 3 аспекта (уровня) исследований любой знаковой системы: 1) синтактика изучает формальную структуру знаков и их сочетаний, правила их образования и преобразования; 2) семантика основное внимание уделяет анализу значения и смысла языковых выражений; 3) прагматика исследует отношения между знаковыми системами и теми, кто их воспринимает, интерпретирует и использует.
   СИЛЛОГИЗМ (от греч. sillogismos) категорический
    - дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму ("Все S суть Р", "Ни одно S не есть Р", "Некоторые 5 суть Р", "Некоторые 5 не есть Р"), следует новое суждение (заключение), имеющее также субъектно-предикатную форму (см.: Суждение). Примером С. может быть:
Все жидкости упруги.
Ртуть - жидкость.
(1)

Ртуть упруга.

В этом С. посылки стоят над чертой, а заключение - под чертой. Черта, отделяющая посылки от заключения, означает слово "следовательно". Слова и словосочетания, выражающие понятия, фигури-


[302]
рующие в С., называют терминами С. В каждом С. имеется три термина: меньший, больший и средний. Термин, соответствующий субъекту заключения, носит название меньшего термина (в примере (1) таким термином будет "ртуть") и обозначается знаком S. Термин, соответствующий предикату заключения, носит название большего термина (в примере (1) таким термином будет "упруга") и обозначается знаком Р. Термин, который присутствует в посылках, но отсутствует в заключении, носит название среднего термина (в примере (1) таким термином будет "жидкость") и обозначается знаком М. Логическую форму С. (1) можно представить в виде:
Все М суть Р.
Все S суть М.
Все S суть Р.
   С., таким образом, представляет собой дедуктивное умозаключение, в котором на основании установления отношений меньшего и большего терминов к среднему термину в посылках устанавливается отношение между меньшим и большим терминами в заключении. Та посылка, в которую входит больший термин, носит название большей посылки (в примере (1) - "Все жидкости упруги"). Та посылка, в которую входит меньший термин, носит название меньшей посылки. Для иллюстрации того, следует ли заключение из посылки с логической необходимостью, используются Эйлера круги. Так, соотношение между терминами С. (1), изображенное с помощью кругов Эйлера, имеет следующий вид (см. рис.).

Эту схему можно интерпретировать так: если все М (жидкости) входят в объем Р (упругих тел) и если все S (ртуть) входят в объем М (жидкостей), то с необходимостью ртуть (S) войдет в объем упругих тел (Р), что и фиксируется в заключении: "Всякая ртуть упруга". По отношению к С. формулируется ряд правил. Напр.: из двух посылок, представляющих собой отрицательные суждения, нельзя сделать никакого заключения; если одна посылка - отрицательное суждение, то заключение должно быть отрицательным суждением; из двух посылок, представляющих собой частные суждения, нельзя сделать заключения и т. п. Наиболее часто встречающиеся ошибки в С. можно исключать, опираясь на правила, формулируемые по отношению к фигурам С. С., отлича-

[303]
ющиеся друг от друга расположением среднего термина в посылках, принадлежат различным фигурам. Средние термины в С. могут располагаться следующим образом: 1) средний термин М может быть субъектом в большей посылке и предикатом в меньшей (1-я фигура); 2) средний термин может быть предикатом в обеих посылках (2-я фигура); 3) средний термин может быть субъектом в обеих посылках (3-я фигура); 4) средний термин может быть предикатом в большей посылке и субъектом в меньшей (4-я фигура). Схематически фигуры изображаются так:

По схеме 1-й фигуры построен С.:
Все металлы (М) электропроводны (Р).
Стронций (S) - металл (М).__________
Стронций электропроводен.
По схеме 2-й фигуры построен С.:
Все рыбы (Р) дышат жабрами (М).
Кашалоты (S) не дышат жабрами (М).____
Кашалоты - не рыбы.
По схеме 3-й фигуры построен С.:
Все бамбуки (М) цветут один раз в жизни (Р).
Все бамбуки (М) - многолетние растения (S).
Некоторые многолетние растения цветут один раз в жизни.
   Правила 1-й фигуры С.: 1) большая посылка должна быть общей (общеутвердительным или общеотрицательным суждением); 2) меньшая посылка должна быть утвердительной (общеутвердительным или частноутвердительным суждением). Если хотя бы одно из правил нарушено, С. является неправильным: заключение в нем не следует с необходимостью из посылок и может оказаться ложным. Таков, напр., С.:
Все преступления осуждаются общественностью.
Данное деяние не есть преступление.
Данное деяние не осуждается общественностью.


[304]
В этом С. нарушено правило (2): меньшая посылка является не утвердительной, а отрицательной.
   Правила 2-й фигуры: 1) большая посылка должна быть общей; 2) одна из посылок должна быть отрицательной.
   Правила 3-й фигуры: 1) меньшая посылка должна быть утвердительной; 2) заключение должно быть частным суждением.
   Модусами фигур С. называются разновидности фигур С., отличающиеся качественной и количественной характеристикой входящих в них посылок и заключения. Посылка и заключение, т. о., в каждом случае могут выступать как суждения вида A, E, I, О (см.: Суждение). На первом месте в символическом выражении модуса записывается большая посылка, на втором - меньшая, на третьем - заключение. Так, выражение для модуса ЕЮ означает, что большая посылка в нем является общеотрицательным суждением, меньшая - частноутвердительным, а заключение - частноотрицательным. Всего с точки зрения всевозможных сочетаний посылок и заключения в каждой фигуре насчитывается 64 модуса. В четырех фигурах насчитывается 64 х 4 = 256 модусов. Из них правильными (т. е. такими, которые при истинности посылок всегда дают истинное заключение) может быть 24, включая и т.наз. ослабленные модусы, т. е. такие, для которых существуют модусы, дающие более сильные заключения. Модус считается более слабым, если мы получаем в заключении суждения вида / и О, хотя можем получить соответственно суждения A и Е. Неослабленных модусов фигур С. - 19. Модусы 1-й фигуры: АAА, ЕАЕ, АII, ЕIO; модусы 2-й фигуры ЕАЕ, AЕЕ, ЕIO, АОО; модусы 3-й фигуры: AAI, IAI, АII, ЕАО, ОАО, ЕIO, модусы 4-й фигуры: AAI, AEE, IAI, ЕАО, ЕIO.
Так, С.:
Ни одно насекомое не имеет более трех пар ног (Е).
Все чешуекрылые - насекомые (A).____________
Ни одно чешуекрылое не имеет более трех пар ног (Е)
относится к 1 -й фигуре и имеет форму модуса ЕАЕ. Если посылки в С., построенных по схеме одного из правильных модусов, являются истинными, то и заключение будет истинным.
   СИМВОЛ (от греч. symbolon - знак, опознавательная примета)
    - идея, образ или объект, имеющий собственное содержание и одновременно представляющий в обобщенной, неразвернутой форме некоторое иное содержание. С. стоит между (чистым) знаком, у которого собственное содержание ничтожно, и моделью, имеющей прямое сходство с моделируемым объектом, что позволяет модели замещать последний в процессе исследования.

[305]
   С. используется человеком в некоторых видах деятельности и имеет в силу этого определенную цель. Он всегда служит обнаружению чего-то неявного, не лежащего на поверхности, непредсказуемого. Если цель отсутствует, то нет и С. как элемента социальной жизни, а есть то, что обычно называется знаком и служит для простого обозначения объекта.
   Роль С. в человеческой практике и познании мира невозможно переоценить. Э. Кассирер даже определял человека как "символизирующее существо". И это определение вполне приемлемо, если символизация понимается как специфическая и неотъемлемая характеристика деятельности индивидов и социальных групп и если описательная функция С. не оказывается, как это случилось у Кассирера, второстепенной и даже производной от других функций С.
   Три примера С. В "Божественной комедии" Данте Беатриче - не только действующее лицо, но и символ чистой женственности. Однако "чистая женственность" - это опять-таки С., хотя и более интеллектуализированный. Смысл последнего будет более понятен, если вспомнить, что Данте находит возможным уподобить Беатриче теологии. По средневековым представлениям теология является вершиной человеческой мудрости, но одновременно это и размышление о том, подлинное знание чего в принципе недоступно человеку.
   Разъяснение смысла С. неизбежно ведет к новым С.; которые не только не способны исчерпать всю его глубину, но и сами требуют разъяснения.
  Другой пример: бесконечное прибавление по единице в ряду натуральных чисел используется Гегелем не столько в качестве примера, сколько в качестве С. того, что он называет "дурной бесконечностью". Смысл С. - и в данном примере, и обычно - носит динамический, становящийся характер и может быть уподоблен тому, что в математике именуется "потенциальной бесконечностью" и противопоставляется "актуальной", завершенной бесконечности. Вместе с тем, С. является с точки зрения его смысла чем-то цельным и замкнутым.
   Более сложным примером социального С. может служить дерево мудьи, или молочное дерево, - центральный символ ритуала совершеннолетия девочек у народности ндембу в Северо-Западной Замбии. Это дерево представляет собой женственность, материнство, связь матери с ребенком, девочку-неофита, процесс постижения "женской мудрости" и т. п. Одновременно оно представляет грудное молоко, материнскую грудь, гибкость тела и ума неофита и т. п.
   Множество значений этого С. отчетливо распадается на два полюса, один из которых можно назвать описательно-пре-


[306]