Зенон и Хрисипп отвергают учение о том, что суждение есть включение субъекта суждения в некоторый класс. По учению стоиков, в суждениях речь идет не о родах, которые содержат в себе виды, но об индивидах и группах качеств, связанных между собой по определенным законам. Если Сократ имеет качества, выражаемые словом «человек», то он имеет и качество, выражаемое словом «смертный», входящее в исходные качества. Следовательно, не следует заниматься фигурами и модусами категорического силлогизма. Стоики считали аристотелевскую силлогистику пустым занятием. В. Брошар полагает, что Хрисипп в не дошедшем до нас сочинении «О бесполезных силлогизмах» (в трех книгах), о котором упоминает Гален, дал критику аристотелевской силлогистики.
Стоики сводят все умозаключения к пяти элементарным типам условной и дизъюнктивной форм. Они подчеркивают, что в умозаключениях речь идет не об отношениях между понятиями, а об отношениях между реальными конкретными вещами. Вся теория силлогизмов у стоиков сводится к весьма простым по сравнению с силлогистикой Аристотеля формам.
Сведение сложных силлогизмов к простым у стоиков называлось анализом. Этот процесс сведения иногда был весьма искусствен, при этом стоики прибегали к различным утонченным приемам, которые часто служили предметом насмешек со стороны скептиков. Стоической логике не чужда была и та пустая, бесплодная игра в «глубокие» различия и искусственные построения, которая позже стала характерной чертой схоластической логики.
Учение о пяти основных формах силлогизмов было дано Хрисиппом.[FIXME] i 1 *(
У Хрисиппа условное умозаключение выступает в двух модусах:
I. Если есть А, то есть и В А есть
Следовательно, есть и В.
II. Если есть А, есть и В В нет
Следовательно, нет и А.
Разделительное умозаключение, по Хрисиппу, тоже имеет два модуса:
I. Может быть или А, или В
Есть А
Следовательно, нет В.
II. Может быть или А, или В
А нет
Следовательно, есть В.
Схема соединительного силлогизма, по Хрисиппу, имеет следующую форму:
I. A и В не могут быть вместе А есть
Следовательно, В нет.
У стоиков в основе учения об умозаключении лежала теория знаков. Понятие знака, которое в стоической теории познания сперва относится к словам, затем употребляется в более широком смысле, приобретает новое значение. Знаком называется каждое явление (или предмет), которое закономерно связано с другими явлениями и предметами, вследствие чего первые служат средством для познания вторых.
Теория знаков возникла и развилась прежде всего в эмпирической школе медицины. Врач-эмпирик пользуется «знаками», т. е. симптомами болезни. Эти знаки дают возможность ставить диагноз, указывают на улучшение или ухудшение состояния больного, позволяют сделать прогноз. Они, таким образом, говорят не только о настоящем, но и о будущем.
Уже Аристотель говорил об умозаключениях от знаков, но у него это был лишь особый вид несовершенных умозаключений, не имеющих научного познавательного значения.
Стоики делили все предметы на являющиеся и невоспринимаемые. Являющиеся познаются непосредственно ощущением. Для познания их нет надобности в знаках, в то время как для познания невоспринимаемых предметов знаки необходимы: они познаются лишь путем умозаключений от знаков.
Невоспринимаемые предметы стоики делили на три класса: 1) предметы совершенно и всегда непознаваемые (вследствие ограниченности человеческого знания, которое не в состоянии охватить все бесконечное множество предметов); так, например, человеку недоступно познать четным или нечетным является число звезд на небе; 2) предметы, временно невоспринимаемые в зависимости от данных обстоятельств (например, город Афины сейчас не воспринимается мною); 3) предметы, которые по самой своей природе непосредственно непознаваемы и могут быть познаны лишь через посредство других предметов (знаков). Обозначающие последнюю категорию предметов знаки стоики называли индикативными. Индикативные знаки раскрывают нам природу этого класса невоспринимаемых вещей. Так, например, выделение пота есть индикативный знак для пор кожи; движение тела человека есть индикативный знак существования в нем души, причем в этом случае отношение между знаком и вещью мыслится стоиками как причинная связь (душа есть причина движения тела).
Стоики (как свидетельствует Филодем) ввели различение двух видов индикативных знаков: они делили их на общие и частные. Общий индикативный знак является знаком для многих различных предметов и потому не может служить основанием для умозаключения. Например, высокая температура является знаком не одной определенной болезни, а ряда различных болезней, и поэтому она не может служить достаточным основанием для диагноза. Только частные знаки признаются стоиками истинными индикативными знаками, так как они относятся только к одному предмету или к одному классу предметов.
Свое учение об умозаключениях стоики, как и эпикурейцы, строили на теории знаков, но в понимании выводов «от знаков» между этими двумя школами было существенное различие. В отношении определения логики стоики и эпикурейцы согласны в том, что логика есть «наука о знаках и обозначаемом ими». Это определение логики встречается и у стоика Хрисиппа, и у эпикурейца Филодема. Однако сами понятия «знак» и «обозначаемое знаком» трактуются стоиками и эпикурейцами по-разному.
Стоическое учение о знаках Секст Эмпирик излагает следующим образом. Он говорит, что стоики в познавательном акте различали три момента, неразрывно связанные между собой: во-первых, обозначаемое знаком; во-вторых, сам знак; в-третьих, объект мысли. Из них знак есть слово, обозначаемое знаком есть то, на что указывает слово (смысл слова), и, наконец, объект мысли есть предмет, существующий сам по себе (вне нашего сознания), к которому относится наша мысль. Два из этих моментов материальны – слово и объект, а один – нематериален, именно то, что обозначается знаком. Последнее – то содержание мысли, которое может быть истинным и ложным. Этот третий момент (смысловой) надо отличать от слова, так как люди, не владеющие греческим языком, хотя и слышат греческие слова, но не понимают их. Эпикурейцы отрицали существование этого третьего момента. Они учили, что слова относятся только к самим объектам.
Таким образом, стоики стояли на позиции умеренного номинализма (концептуализма), а позицией эпикурейцев был радикальный номинализм.
Как выше было сказано, стоики в своей логике на первое место ставили гипотетическую пропозицию (условное предложение). Знак они определяли как правильное условие, которое является предшествующей частью условного предложения, порождающей заключение в условном силлогизме. В этом определении отношение между знаком и тем, что он обозначает, выражено в форме гипотетической пропозиции: «Если Р, то Q». Если имеется такое отношение, то Р есть знак для Q. По учению стоиков, это отношение знаков к обозначаемым ими предметам является сущностью всякого рассуждения. В основе всякого рассуждения лежит положение «если это, то и то», которое вытекает из более общего положения стоической системы, согласно которому в природе все находится во взаимной связи, все детерминировано, всюду господствует строгая закономерность.
