Александр Маковельский - История логики

Благодаря наличию определенного качества каждая вещь есть именно то, что она из себя представляет, и имеет свои особенности, отличающие ее от других вещей. Однако, хотя понятие качества само по себе и мыслится стоиками как объект чистой мысли, они учат, что всякое качество, присущее какой-либо отдельной единичной вещи (например, красный цвет той или иной вещи, но не красный цвет вообще), реально существует как особое тело природы, проникающее данную единичную вещь.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Есть А

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

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

А нет

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

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

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

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

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

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

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

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

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