История логики.

Эпикур развил дальше демокритовскую логику, отличную как от аристотелевской, так и от стоической.

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

Хотя у Эпикура отсутствует учение о категориях в собственном смысле, однако им дано учение о наивысших классах, на которые распадается все существующее.

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

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

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

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

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

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

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

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

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

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

Эпикурейцы учили, что умозаключения бывают двоякого рода: в одних из них вывод следует от воспринимаемых вещей к временно не воспринимаемым, в других же от воспринимаемых вещей — к вещам по самой^ своей природе не воспринимаемым, созерцаемым лишь умом (как, например, атомы и пустота).

Таким образом, проводится различие между выводами о предметах, временно не воспринимаемых, и выводами о предметах, не воспринимаемых по своей природе.

Если в центре логики Аристотеля стояло учение о категорическом силлогизме, а в логике стоиков — учение о гипотетическом (условном) умозаключении, то в эпикурейской логике центральное место занимают индукция с аналогией и гипотеза. В этом — своеобразие эпикурейской логики и ее глубокое отличие от аристотелевской и стоической логики.