Природа суждения также понимается стоиками иначе, чем в аристотелевской логике.

Особенностью стоического учения о суждении было то, что они исходили не из категорического суждения, как Аристотель, а из сложной «пропозиции» – условного суждения. Пропозицию стоики истолковывают как «совокупное», т. е. как соединение двух предложений, находящихся в определенном логическом отношении друг к другу. Такое понимание природы суждений у стоиков обусловлено номиналистическим характером их логики. Стоики стремятся как можно меньше пользоваться общими понятиями. Для стоической логики были малопригодны такие суждения и умозаключения, в которых речь идет о связи между общим и единичным или между двумя общими понятиями. Более приемлемыми для них были условные суждения, утверждающие, что если дан один факт, то вместе с ним дан и другой факт, или если какая-либо конкретная вещь обладает таким-то качеством, то она обладает и другим определенным качеством. Поэтому стоики стремятся все рассуждения облечь в форму условных суждений: «Если Сократ человек, то он смертен», «Если наступает день, то становится светло» и т. п. Стоики не отрицают пользы категорических суждений в жизненной практике, но их роль в логике стоиков сводится к констатации данных непосредственного чувственного восприятия.

Но, поскольку науке для достижения новых истин приходится оперировать выводами, логика есть наука о выводах. По своей природе условные суждения имеют форму вывода, причем наиболее естественную и простую форму, поэтому, по мнению стоиков, логика и должна начинать свое исследование с анализа условных суждений. Вследствие этого в логике нет места для количественной характеристики суждений. Стоики не могут принять аристотелевский логический квадрат и ло-иному строят учение о природе контрарных и контрадикторных суждений, вкладывают иной смысл в термины «противоположный» и «противный».

Зенон и Хрисипп отвергают учение о том, что суждение есть включение субъекта суждения в некоторый класс. По учению стоиков, в суждениях речь идет не о родах, которые содержат в себе виды, но об индивидах и группах качеств, связанных между собой по определенным законам. Если Сократ имеет качества, выражаемые словом «человек», то он имеет и качество, выражаемое словом «смертный», входящее в исходные качества. Следовательно, не следует заниматься фигурами и модусами категорического силлогизма. Стоики считали аристотелевскую силлогистику пустым занятием. В. Брошар полагает, что Хрисипп в не дошедшем до нас сочинении «О бесполезных силлогизмах» (в трех книгах), о котором упоминает Гален, дал критику аристотелевской силлогистики.

Стоики сводят все умозаключения к пяти элементарным типам условной и дизъюнктивной форм. Они подчеркивают, что в умозаключениях речь идет не об отношениях между понятиями, а об отношениях между реальными конкретными вещами. Вся теория силлогизмов у стоиков сводится к весьма простым по сравнению с силлогистикой Аристотеля формам.

Сведение сложных силлогизмов к простым у стоиков называлось анализом. Этот процесс сведения иногда был весьма искусствен, при этом стоики прибегали к различным утонченным приемам, которые часто служили предметом насмешек со стороны скептиков. Стоической логике не чужда была и та пустая, бесплодная игра в «глубокие» различия и искусственные построения, которая позже стала характерной чертой схоластической логики.

Учение о пяти основных формах силлогизмов было дано Хрисиппом.[FIXME] i 1 *(

У Хрисиппа условное умозаключение выступает в двух модусах:

I. Если есть А, то есть и В А есть

Следовательно, есть и В.

II. Если есть А, есть и В В нет

Следовательно, нет и А.

Разделительное умозаключение, по Хрисиппу, тоже имеет два модуса:

I. Может быть или А, или В

Есть А

Следовательно, нет В.

II. Может быть или А, или В

А нет

Следовательно, есть В.

Схема соединительного силлогизма, по Хрисиппу, имеет следующую форму:

I. A и В не могут быть вместе А есть

Следовательно, В нет.

У стоиков в основе учения об умозаключении лежала теория знаков. Понятие знака, которое в стоической теории познания сперва относится к словам, затем употребляется в более широком смысле, приобретает новое значение. Знаком называется каждое явление (или предмет), которое закономерно связано с другими явлениями и предметами, вследствие чего первые служат средством для познания вторых.

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

Уже Аристотель говорил об умозаключениях от знаков, но у него это был лишь особый вид несовершенных умозаключений, не имеющих научного познавательного значения.

Стоики делили все предметы на являющиеся и невоспринимаемые. Являющиеся познаются непосредственно ощущением. Для познания их нет надобности в знаках, в то время как для познания невоспринимаемых предметов знаки необходимы: они познаются лишь путем умозаключений от знаков.

Невоспринимаемые предметы стоики делили на три класса: 1) предметы совершенно и всегда непознаваемые (вследствие ограниченности человеческого знания, которое не в состоянии охватить все бесконечное множество предметов); так, например, человеку недоступно познать четным или нечетным является число звезд на небе; 2) предметы, временно невоспринимаемые в зависимости от данных обстоятельств (например, город Афины сейчас не воспринимается мною); 3) предметы, которые по самой своей природе непосредственно непознаваемы и могут быть познаны лишь через посредство других предметов (знаков). Обозначающие последнюю категорию предметов знаки стоики называли индикативными. Индикативные знаки раскрывают нам природу этого класса невоспринимаемых вещей. Так, например, выделение пота есть индикативный знак для пор кожи; движение тела человека есть индикативный знак существования в нем души, причем в этом случае отношение между знаком и вещью мыслится стоиками как причинная связь (душа есть причина движения тела).

Стоики (как свидетельствует Филодем) ввели различение двух видов индикативных знаков: они делили их на общие и частные. Общий индикативный знак является знаком для многих различных предметов и потому не может служить основанием для умозаключения. Например, высокая температура является знаком не одной определенной болезни, а ряда различных болезней, и поэтому она не может служить достаточным основанием для диагноза. Только частные знаки признаются стоиками истинными индикативными знаками, так как они относятся только к одному предмету или к одному классу предметов.

Свое учение об умозаключениях стоики, как и эпикурейцы, строили на теории знаков, но в понимании выводов «от знаков» между этими двумя школами было существенное различие. В отношении определения логики стоики и эпикурейцы согласны в том, что логика есть «наука о знаках и обозначаемом ими». Это определение логики встречается и у стоика Хрисиппа, и у эпикурейца Филодема. Однако сами понятия «знак» и «обозначаемое знаком» трактуются стоиками и эпикурейцами по-разному.

Стоическое учение о знаках Секст Эмпирик излагает следующим образом. Он говорит, что стоики в познавательном акте различали три момента, неразрывно связанные между собой: во-первых, обозначаемое знаком; во-вторых, сам знак; в-третьих, объект мысли. Из них знак есть слово, обозначаемое знаком есть то, на что указывает слово (смысл слова), и, наконец, объект мысли есть предмет, существующий сам по себе (вне нашего сознания), к которому относится наша мысль. Два из этих моментов материальны – слово и объект, а один – нематериален, именно то, что обозначается знаком. Последнее – то содержание мысли, которое может быть истинным и ложным. Этот третий момент (смысловой) надо отличать от слова, так как люди, не владеющие греческим языком, хотя и слышат греческие слова, но не понимают их. Эпикурейцы отрицали существование этого третьего момента. Они учили, что слова относятся только к самим объектам.