Новая философская энциклопедия. Том третий Н—С
Шрифт:
СИДЦХАСЕНА ДИВАКАРА (санскр. Siddhasena Diva- kara) — джайнский философ, деятельность которого датируют между 4 и 8 вв.; брахман из Южной Индии, ставший монахом. Автор по крайней мере четырех сочинений (на пракрите и санскрите), в т. ч. комментария к «Таттвартхадхига ма-сутре». В «Саммаи-сутре» рассматривается возможность применения джайнского метода семи контекстных предикаций (см. Анжанта-вада) к характеристикам трех аспектов субстанций (сами субстанции, их атрибуты и проявления), а также тождество познания и «видения» у «совершенного». В 32 стихах «Ньяя-аватары» (букв. «Инкарнация логики») — одном из первых специально гносеологических трактатов у джайнов — Сиддхасена признает два основных источника знания: «непосредственный» (восприятие) и «опосредованный» (парокша), включая во второй, в отличие от Умасвати, умозаключение и слою авторитета как единый источник знания. Знание — результат реализации этих познавательных средств — может направляться на убеждение себя или других (свартха — параргха). В. К. Шохин
СИДЖВИК (Sidgwick) Генри (31 мая 1838, Скиптон, Йоркшир — 28 августа 1900, Кембридж) — английский философ, профессор моральной философии Кембриджского университета (1883). Получил образование в Кембридже, где преподавал сначала классическую филологию, затем философию, этику, политическую экономию, право. Владел несколькими иностранными языками, вт. ч. арабским и древнееврейским. Один из основателей и первый президент Общества психологического исследования (1882). С начала издания журнала «Mind» ( 1876) был его постоянным автором и спонсором. Среди наиболее значительных работ Сиджвика — «Очерки по истории этики» (1886), «Элементы политики» ( 1891). Наибольшую известность получила книга «Методы этики» (1874), выдержавшая семь изданий, переведенная на японский (1898) и немецкий (1909) языки. Этика, по Сиджиику, — это исследование о должном (ought) и правильном (right) в поведении людей. Оно включает выявление методов—рациональных процедур определения должного, правильного и ключевых практических принципов как
528
СИЛЛОГИСТИКА конечных оснований действий. Данная процедура осуществляется посредством освобождения от ошибок представлений о правильности поведения в обыденном сознании, в трудах философов, и построения строгой рациональной системы фундаментальных принципов морали. Сиджвик выделяет три вида конечных оснований действий: счастье (Happiness), превосходство (Excellence), или совершенство (Perfection), и долг (Duty), которым соответствуют
СИДОНСКИЙ Федор Федорович [11(23) февраля 1805, с. Архангельское Тверской губ. — 6(18) декабря 1873, Петербург] — русский философ и богослов. Учился в Тверской семинарии, в 1829 окончил Санкт-Петербургскую духовную академию, где был оставлен бакалавром. В 1835 навсегда удаляется из академии и служит приходским священником; в 1865—73 внештатный преподаватель философии в Санкт-Петербургском университете, в 1873 приглашается на штатную должность на кафедру богословия. «Введение в науку философии» (1833) Сидонского было первым серьезным исследованием философского познания на русском языке. Согласно Сидонскому, философия прошла три основных исторических этапа: изучение мира, блага и познавательного процесса. Основное средство философствующего разума — построение гипотетических суждений, основная проблема—способ перехода «философских догадок» в ряд «действительных мыслей». Исходный пункт философа не идеи и не общие положения разума (в понятиях разума происходит его опредмечивание), но опыт, понимаемый, однако, не в духе обычного эмпиризма, а в контексте существования «абсолютного в опыте — нашего Я». Метод философии складывается из анализа, синтеза и «метатетики» — постоянного сличения устанавливаемых разумом сверхэмпирических истин с действительностью. Между философствующим разумом и верой нет конфликта или противоречия: источник их един, и принятие истин Откровения сокращает путь рационального познания, который без того был бы значительно длиннее. В. К. Шохин
СИЛЛОГИЗМ (греч. ouXAoyiauoc) — вид дедуктивного умозаключения, в котором из двух высказываний (посылок) субъектно-предикатной структуры следует новое высказывание (заключение) той же логической структуры. Обычно силлогизмом называют категорический силлогизм, состоящий из трех терминов, попарно связанных в высказываниях посредством одного из следующих четырех логических отношений: «Всякое... есть...», «Ни одно... не есть...», «Некоторое... есть...», «Некоторое... не есть...» (обозначаемых соответственно буквами А, Е, I, О). Напр.: «Ни один кит (М) не есть рыба (Р), всякий кит (М) имеет рыбообразную форму (S); следовательно, некоторые имеющие рыбообразную форму (S) не есть рыбы (Р)». Высказывания, содержащие термин, не входящий в заключение силлогизма (средний термин, М), составляют посылки силлогизма. Посылка, содержащая предикат заключения (больший термин, f), называется большей посылкой. Посылка, содержащая субъект заключения (меньший термин, 5), называется меньшей посылкой. По положению среднего термина в посылках (в зависимости от того, является ли он субъектом или предикатом) силлогизм подразделяют на четыре фигуры. В зависимости от логических отношений, связывающих термины в высказываниях силлогизма, выделяют различные его модусы. A. j7. Субботин
СИЛЛОГИСТИКА (от греч. стиХЛоу^оцт — рассчитываю, считаю) — кванторная теория дедуктивных умозаключений, в которой исследуются логические связи между атрибутивными высказываниями, т. е. высказываниями, в которых утверждается или отрицается наличие у предметов некоторого атрибута. Первый пример силлогистики был построен Аристотелем (384—322 гг. до н. э.). Его система явилась не только первой логической теорией, но и одной из первых известных в истории науки теорий вообще.
529
СИЛЛОГИСТИКА Уникальное место силлогистики в логике определяется особым влиянием, которое она оказала на разработку философской проблематики. Оставаясь в течение многих веков единственным известным аппаратом дедукции, она во многом предопределяла характер и направленность теоретико-познавательных исследований. Напр., такие хорошо известные в истории философии антитезы, как «содержательное и формальное», «дискурсивное и чувственное», «рациональное и иррациональное», «интуитивное и рассудочное», всегда обсуждались с учетом гносеологического материала, фиксированного силлогистикой, которая выступала в качестве конкретного примера одной из сторон указанных противоположностей. Поэтому она была не только теорией дедукции, но и выполняла кардинальную объяснительную функцию при решении гносеологических проблем. Среди рассматриваемых в силлогистике атрибутивных высказываний различают высказывания о факте наличия или отсутствия у отдельного предмета или нескольких предметов какого-либо свойства (атрибута) и высказывания о характере наличия или отсутствия такого свойства. Первые высказывания называются ассерторическими, вторые — модальными. Иначе говоря, к числу атрибутивных высказываний относят высказывания следующих логических форм: Всякий а * есть ? — общеутвердительное высказывание. Всякий (Ни один) а * не есть ? — общеотрицательное, Некоторый а * есть ? — частноутвердительное, Некоторый а * не есть ? — частноотрицательное, а * есть ? — единичноутвердительное, а * не есть ? — единичноотрицательное, где * — либо пустое место, либо является одним из модальных операторов — необходимо (и) или возможно (0). В каждом атрибутивном высказывании имеется два термина: субъект — термин, обозначающий те предметы, о которых в высказывании нечто утверждается или отрицается, и предикат — термин, обозначающий то, что предицируется (утверждается или отрицается) об этих предметах. В Средние века высказывания первых четырех типов получили специальные обозначения: общеутвердительные стали называться высказываниями типа a (первая буква латинского слова «affirmo» — утверждаю), частноутвердительные стали называться высказываниями типа / (вторая гласная в том же слове), общеотрицательные стали относиться к высказываниям типа е (первая гласная буква в слове «nego» — отрицаю), а частноотрицательные — к высказываниям типа о (вторая гласная в слове «nego»). Эти обозначения оказались удобным средством сокращенного представления в языке ассерторических и модальных высказываний. Пользуясь ими, часто логическую структуру первых четырех типов высказываний выражают следующими соответственно формулами: cuz?, ae?, a/?, ao?. К настоящему времени силлогистика сформировалась как совокупность различных логических систем, которые можно подразделить на классы в зависимости от того, какого типа атрибутивные высказывания содержатся в языке системы, какого типа термины могут являться субъектами и предикатами этих высказываний, а также в зависимости от интерпретации самих атрибутивных высказываний. Аристотель и средневековые логики рассматривали два ища силлогистических теорий — ассерторическую и модальную. Часто под термином «силлогистика» имеют в виду именно ассерторическую силлогистику. В ее язык входят лишь ассерторические атрибутивные высказывания, в язык же модальной силлогистики входят как ассерторические, так и модальные высказывания. Силлогистика называется позитивной, если в ней не учитывается внутренняя структура терминов. Иначе говоря, каждый термин (субъект и предикат) трактуется как элементарное выражение, неразложимое на составные части. Если в языке теории содержится единственный термообразующий оператор терминного отрицания, позволяющий построить новый термин, являющийся отрицанием исходного, то такая система относится к негативной силлогистике. При этом с отрицательными терминами, скажем Р', связываются те предметы из универсума, которые не обладают свойством Р. Этот класс принято называть дополнением к Р в универсуме U. Если кроме этого вводятся и другие терминные операторы — сложение (объединение классов) и умножение (пересечение классов), то такая система называется расширенной силлогистикой. Если в системе допускается использование сингулярных терминов, то такая силлогистика называется сингулярной. В зависимости от характера интерпретации терминов, все силлогистические теории делятся на экзистенциальные и неэкзистенциальные. В первых запрещается использование пустых терминов, во вторых такого ограничения нет. Описанные выше виды атрибутивных высказываний относятся к числу простых высказываний. Но, применяя к ним логические операции, выражаемые пропозициональными связками, можно из простых высказываний строить сложные силлогистические высказывания. Напр., можно отрицать то или иное высказывание, строить из них конъюнктивные высказывания и т. д. В каждой силлогистике тем или иным способом задаются условия истинности атрибутивных высказываний. Обычно это делается с помощью т. н. кругов Эйлера (или диаграмм Венка), которые выступают в качестве модельных схем истинности атрибутивных высказываний. Напр., в традиционной силлогистике, которая является экзистенциальной системой, термины рассматриваются как знаки таких свойств (классов), которые являются непустыми и неуниверсальными. Понятие логического следования вводится в силлогистике следующим определением. Пусть А,, А^ ..., Ап, и В будут силлогистическими формулами. Тогда из посылок А,, А^ ..., Ап логически следует В, если и только если каждая модельная схема, на которой одновременно истинны все посылки А,, \,..., Ап является модельной схемой, на которой истинно В. Наличие логического следования обозначается записью Аг \,..., Ап |= В. В частном случае (при следовании формулы из пустого множества посылок) формула В называется общезначимой (законом
530
СИЛЛОГИСТИКА обращения (conversio), а в негативных силлогистиках — превращение (obversio) и различные виды противопоставления (contrapocisio). В позитивной силлогистике одним из важнейших видов опосредованных умозаключений является простой категорический силлогизм. В нем всегда содержится не более трех терминов — меньший, больший и средний. Меньшим термином является субъект заключения, а большим — тот, который является предикатом заключения. Термин же, являющийся общим для обеих посылок, называется средним. Посылка, содержащая меньший термин, называется меньшей посылкой, а содержащая больший термин — большей. Обычно условливаются помещать большую посылку на первое место, а под ней записывать меньшую посылку. Приняв эти условия, можно все простые категорические силлогизмы разделить по т. н. фигурам. Фигура — это множество простых категорических силлогизмов, имеющих одну и ту же структуру, определяемую расположением среднего термина в посылках. С точностью до порядка посылок выделяют следующие фигуры силлогизма: MVP P-|M Мг-Р Р7М S-^M S-JM mL-S M^-S S-P S-P S-P S-P Фигура 1 Фигура 2 Фигура 3 Фигура 4 Если в фигуре указать тип высказываний, стоящих на местах посылок и заключения, то получим разновидность данной фигуры, называемую модусом фигуры. Те модусы, для которых между посылками и заключением существует отношение логического следования, называются правильными. В традиционной силлогистике имеется 24 правильных модуса. В 1 фигуре: Barbara, Celarent, Darii, Ferio, Barbari, Celaront; во 2 фигуре: Baroko, Cesare, Camestres, Festino, Camestrop, Cesaro; в 3 фигуре: Bokardo, Disamis, Datisi, Ferison, Darapti, Felapton; в 4 фигуре: Camenop, Dimaris, Camenes, Fresison, Bramantip, Fesapo. В этих названиях гласные буквы слева направо указывают тип большей, меньшей посылок и заключения. Для проверки правильности рассуждений, строящихся в форме простого категорического силлогизма, имеется специальный перечень правил. Выполнение каждого правила является необходимым, а всех вместе — достаточным условием, чтобы считать некоторый модус правильным. Эти правила называются общими правилами силлогизма и подразделяются на правила терминов и посылок. Они таковы: Правила терминов: ( 1 ) должна быть посылка, в которой средний термин распределен; (2) если термин распределен в заключении, то он распределен и в посылке. Правила посылок: (3) должна иметься утвердительная посылка; (4) если утвердительными являются обе посылки, то заключение будет утвердительным высказыванием; (5) если имеется отрицательная посылка, то заключение — отрицательное высказывание. Другими формами опосредованных умозаключений являются сориты, которые в общем случае представляют собой выводы некоторого силлогистического утверждения из произвольного множества посылок. Вопрос о выводимости в общем случае может быть решен различным образом. Можно, напр., построить аксиоматическую дедуктивную теорию силлогистики и считать, что некоторое опосредованное умозаключение обосновано, если оно доказуемо в данной аксиоматической теории. На такую возможность обратил внимание уже Аристотель. Он взял в качестве исходных положений (аксиом) модусы Barbara, Celarent, Darii и Ferio 1 фигуры, а все остальные модусы сводил к указанным. При практическом осуществлении некоторого аргументаци- онного процесса обычно не пользуются развернутой формой силлогизма. На самом деле в аргументации обычно используют т. н. энтимемы, т. е. сокращенные формы рассуждения (с пропуском некоторых посылок или заключения). Иногда такие пропуски делаются намеренно, ибо недобросовестному спорщику не всегда бывает выгодно раскрывать подлинные свои цели и намерения, т. е. подлинные теоретические основания аргументации. Традиционная силлогистика, как указывалось, содержит два ограничения на используемые термины: они не должны быть пустыми и универсальными. В отличие от этого силлогистика, построенная самим Аристотелем, не содержала такого рода ограничений. Его понимание смыслов простых категорических высказываний можно задать посредством их перевода в исчисление предикатов следующим образом: сюр -» Vx(a(jc)D?(x)&3xa(jc), a*?->Vjt(a(jc)3-.?(;c) , a/?-»3jt(a(x)&?(*) , ao?
– >3x(a(;c)&-.?(jc) vi, jca(x) , где знак —> — показатель процедуры перевода. Отметим, что целый ряд соотношений, имевших место в традиционной силлогистике, в аристотелевской логике оказываются неверными. Напр., в аристотелевской логике неверны законы силлогистического тождества ни в форме SoS, ни в форме S/S. В негативной аристотелевской силлогистике остаются в силе лишь превращения от утвердительных высказываний к отрицательным и т. д. В то же время в аристотелевской силлогистике верны все 24 модуса простого категорического силлогизма. Кроме аристотелевской силлогистики имеются и другие силлогистики, отличающиеся друг от друга условиями истинности атрибутивных высказываний. Хорошо аргументированная система т. н. фундаментальной силлогистики была предложена Г. Лейбницем. Основные идеи, заложенные в ней, неоднократно повторялись различными исследователями: Де Морганом, Ф. Брентано, Ч. Пирсом, Б. Расселом, Д. Гильбертом. В языке логики предикатов лейбницевская интерпретация категорических высказываний выражается следующим образом: аао -> Vjc(a(x) з $(х) , aeu -> Vx(a(jc) r> -n? (x) , сс/р -» Hx(a(jc) & ? u) ao?
– > 3x(a (jc) & -i? (x) . Иная силлогистическая система была детально разработана Б. Больцано. В языке логики предикатов больцановская интерпретация может быть выражена следующим образом: aa?
– > Vx(a(x)z> ?(x) &3xa(*), ae?
– >Vx(a(x):D-,?(jt) &3xa(x), a/?
– >3x(a(x)&$(x) , ao?
– >3bc(a(jc)&-.?(jc) . Интересная силлогистика была разработана Л. Кэрроллом. Она основана на понимании смыслов категорических высказываний, выражаемом в языке логики предикатов следующим образом: aa$-*Vx(a(x)i}$(x) &3xa(x), o^?^Vjc(a(x)D-,?(jc), a/?->3x(a(*)&?(;c), ao?->3x(a(;t)&-,?(jt).
531
символ Одним из вариантов расширенной аристотелевской силлогистики является следующая аксиоматическая система: Al. yaoL&aefi z> ya?' А2. yia&ae$ A3, (a n ?)eY з (у na)e? A4. ae(P ny) = (ae? &cu*y) A5. ae( ? n y )' = (a*? ' & a^y ') A6. am' A7. aoa' A8.o^?^^?' A9.a/? зада A10. aa?'zxxtf? По определению вводятся следующие знаки: (Л = Я) <-> (Л z) Я) & (В => Л), a = ? <->ae?'&?ea', Онапа', 1наиа', где знаки «'» «п» «и» являются соответственно знаками тер- минных отрицаний, сложения и умножения; «=» — эквива- ленция, «=» равенство двух классов, «О» — пустой термин, «1» — универсальный термин. Данная система расширенной аристотелевской силлогистики представляет собой булеву алгебру (см. Алгебра логики), выраженную в терминах силлогистики. Для всех указанных систем показана их погружаемость в первопорядковое исчисление предикатов. Для сингулярной расширенной аристотелевской силлогистики показана ее дефинициальная эквивалентность элементарной онтологии Лесневского, т. е. атомной булевой алгебре. Что касается исследований в области модальных силлогис- тик то в настоящее время усилиями философов и логиков построены различные их варианты. Однако до сих пор не удается в полном объеме оправдать дедуктивные принципы модальной силлогистики Аристотеля. Лит.: Аристотель. Соч., т. 2. М., 1978; Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М., 1959; Маркин В. И. Силлогистические теории в современной логике, М., 1991; Thorn P. The syllogism, Munch., 1981. В. А. Бочаров
СИМВОЛ (от греч. auji?oAov — знак, сигнал, признак, примета залог, пароль, эмблема) — 1) синоним понятия «знак» (напр.," в лингвистике, информатике, логике, математике); 2) знак, предметное значение которого обнаруживается только бесконечной интерпретацией самого знака. Символ -знак который связан с обозначаемой им предметностью так, что а) предмет не может быть дан иначе, чем посредством данного знака-символа, б) знак-символ не может выражать другую предметность, оставаясь при этом самотождественным, в) знак-символ является не только средством для указания на предмет, но также и источником смысла (в предельном случае - единственным), г) интерпретация знака-символа не допускает конечных процедур и однозначной «расшифровки» но в то же время предполагает существование конкретного смысла и исключает произвольность толкования. В отличие от образа символ не самодостаточен и «служит» своему денотату (предмету), требуя не только переживания, но также проникновения и толкования. В искусстве — особенно в его высоких достижениях — фань между образом и символом трудноопределима, если не учитывать, что художественный образ приобретает символическое звучание, тогда как сам символ изначально связан со своим предметом. В отличие от понятия, для которого однозначность является преимуществом (по сравнению, напр., со словом естественного языка), сила символа в его многозначности и динамике перехода от смысла к смыслу. Находясь между понятием и образом, символ одновременно передает многозначность денотата, используя образные средства, и однозначность образа, используя понятийные средства. В отличие от аллегории и эмблемы символ не является иносказанием, которое снимается подстановкой вместо него прямого смысла: смысл символа не имеет простого наличного существования, к которому можно было бы отослать интерпретирующее сознание. В отличие от притчи и мифа символ не предполагает развернутого повествования (нарративной формы) и может иметь сколь угодно сжатую форму экспрессии. В отличие от метафоры символ может переносить свойства предметов и устанавливать те или иные их соответствия не для взаимоописания этих предметов, а для отсылки к «неописуемому». В отличие от знамения символ не является знаком временного или пространственного явления (приближения) сверхприродной реальности, поскольку допускает наличие бесконечно большой дистанции между собой и своим интенциональным предметом. Специфическимиотличиямисимволаотвсехупомянутыхзна- ковых тропов являются следующие его функции, значащие не меньше, чем общая для всех тропов проблема выражения заданного содержания: 1) способность символа к бесконечному раскрытию своего содержания в процессе соотнесения со своей предметностью при сохранении и «неотменимости» данной символической формы. В этом отношении оправдано понимание такого процесса не только как интерпретации заданного смысла, но и как одновременного порождения этого смысла; 2) способность символа, связанная с опытом его толкования, устанавливать коммуникацию, которая в свою очередь создает (актуально или потенциально) сообщество «посвященных», т. е. субъектов, находящихся в поле действия и относительной понятности символа (напр., церковь, направление в искусстве, эзотерический кружок, культурный ритуал); при этом эзотеричность символа уравновешивается его «демократичностью», поскольку каждый может найти свой, доступный ему уровень понимания символа, не впадая в профанацию; 3) устойчивое тяготение символа к восхождению от данных «частей» к действительному и предполагаемому «целому» символу. В этом случае он является местом встречи того, что само по себе несоединимо.
СИМВОЛ В ФИЛОСОФИИ. Уже у истоков философского мышления (досократики, Упанишады) мы находим искусство построения символов — в тех случаях, когда понятие сталкивается с трансцендентным. Но как философская проблема символ осознается (если говорить о западной традиции) Платоном который ставит вопрос о самой возможности адекватной формы абсолютного (ср. Федон, 99 d-100 b, где Сократ решается рассматривать «истину бытия» в отвлеченных понятиях чтобы не «ослепнуть» от сияния истины). Эйдосы, которые не суть ни абстракции, ни образы, в этом контексте можно понимать именно как символы. В то же время платоновский (и позднее — неоплатоновский) метод параллельного изложения истины как теории и как мифа в основном аллегоричен, а не символичен. Европейское средневековье делает символ одним из общекультурных принципов, однако предметом рефлексии и культивирования в первую очередь становятся эмблематические возможности символа, собственная же его специфика выявляется лишь в творческой практике культурного взлета 13 — нач. 14 в» Ситуация существенно