Ошибки и заблуждения происходят не от чувственных данных, а от того, что к ним привносит рассудок, как он истолковывает эти данные, к чему их относит, в чем усматривает их причину.
Об эпикурейском учении о познавательной роли пролепсиса Диоген Лаэрций («Жизнеописания…», X, 33) сообщает: «Всякая вещь становится предметом ясного познания благодаря обозначению ее именем. И вообще мы не могли бы исследовать того, что является предметом наших исканий, если бы мы уже раньше не знали его. Так, например, мы не могли бы ответить на вопрос: „Лошадь или бык тот предмет, который стоит вдали?“, так как для ответа на этот вопрос нужно заранее знать внешний вид лошади и быка соответственно пролепсисам о них. Равным образом мы не в состоянии ни одну вещь обозначить именем, если мы раньше не познали родовой образ ее соответственно пролепсису. Итак, пролепсисам присуща ясность».
Как видно из этого сообщения Диогена Лаэрция, эпикурейская философия глубоко раскрывала неразрывную связь языка с мышлением.
Эпикур развил дальше демокритовскую логику, отличную как от аристотелевской, так и от стоической.
В логике Эпикура не было места для учения о родах и видах, о дефиниции и логическом делении понятий. И это потому, что для номинализма Эпикура существуют лишь имена, являющиеся обозначением вещей, и вещи с их качествами. В его философской системе, разумеется, имеются и определения, и логические деления, но они иного характера, чем у Аристотеля.
Хотя у Эпикура отсутствует учение о категориях в собственном смысле, однако им дано учение о наивысших классах, на которые распадается все существующее.
Все существующее Эпикур делит прежде всего на тела и пустоту (ее он называет иногда «бестелесное»). «Телесное», по Эпикуру, делится на самостоятельно существующие субстанции и на присущие им свойства, которые сами по себе не существуют. Свойства всегда существуют лишь как неразрывно связанные с телом, тело же имеет свою собственную постоянную природу.
Свойства являются «ближайшими определениями тела», т.е. тем, что определяет тело, высказывается о нем, раскрывает его различные стороны, но что само по себе не существует.
Наконец, в качестве совершенно своеобразного объекта, не подходящего ни под одну из указанных выше категорий (тело, свойство и пустое пространство), Эпикур называет время. Он говорит, что время мы мыслим как своеобразный признак движения и делим его на дни, часы и их части.
Эпикур учит, что для познания необходимо иметь надежные знаки, которые могли бы служить для нас указанием на ожидающее нас будущее и на то, что скрыто от нас Подобно стоикам, Эпикур свое учение об умозаключении и доказательстве строил на теории знаков, но при наличии некоторых общих исходных положений имеется и глубокое различие между эпикурейской и стоической теориями умозаключений и доказательств.
В логике эпикурейцев, как в логике стоиков, важную роль играло различение разных видов знаков. Прежде всего они делили знаки на общие и частные. Различие между ними определялось следующим образом. Общий знак существует независимо от того, существует или не существует обозначаемый им невоспринимаемый объект, и, следовательно, общий знак не пригоден для того, чтобы служить основанием индукции. В отличие от общего знака, частный знак существует лишь в том случае, если обозначаемый им невоспринимаемый предмет существует.
Например, затрудненное дыхание является общим знаком для воспаления легких, так как оно наблюдается и при других заболеваниях. Но дым есть частный знак для огня, так как дыма без огня не бывает. Поэтому отрицание существования обозначаемого частным знаком предмета является отрицанием существования и этого частного знака,
По мнению стоиков, частные знаки устанавливаются путем чисто формальной проверки. В противоположность этому эпикурейцы утверждали, что отношение между знаком и обозначаемым им предметом познается только на основе чувственного восприятия путем индукции или аналогии. По эпикурейскому учению, мы умозаключаем о природе невоспринимаемых объектов путем аналогии с объектами нашего чувственного опыта. Соглашаясь со стоиками, что умозаключения от общих знаков несостоятельны, эпикурейцы расходились со стоиками в понимании частных знаков.
Частные знаки, по учению эпикурейцев, не имеют логической связи с обозначаемыми ими предметами (как это принимали стоики). Вместо логической необходимости, которую тут усматривали стоики, эпикурейцы критерием частного знака признают «непостижимость». Эта непостижимость есть эмпирический критерий, основанный на прошлом опыте.
Умозаключение от знаков имеет доказательную силу, если непостижимо, чтобы знак существовал, когда обозначаемый им предмет не существует. Умозаключение, основанное на непостижимости, вполне достоверно. В отличие от стоиков, которые связь между частным знаком и обозначаемым им предметом истолковывали как связь логически необходимую и рациональную, эпикурейцы считали ее чисто эмпирической. В этом заключается основной пункт разногласия между эпикурейцами и стоиками в учении об умозаключении.
Основным принципом теории познания и логики эпикурейцев является основоположение, что одни явления служат знаками других и равным образом наблюдаемые явления служат знаками невоспринимаемого, скрытого от нас.
Эпикурейцы учили, что умозаключения бывают двоякого рода: в одних из них вывод следует от воспринимаемых вещей к временно не воспринимаемым, в других же от воспринимаемых вещей – к вещам по самой своей природе не воспринимаемым, созерцаемым лишь умом (как, например, атомы и пустота).
Таким образом, проводится различие между выводами о предметах, временно не воспринимаемых, и выводами о предметах, не воспринимаемых по своей природе.
Если в центре логики Аристотеля стояло учение о категорическом силлогизме, а в логике стоиков – учение о гипотетическом (условном) умозаключении, то в эпикурейской логике центральное место занимают индукция с аналогией и гипотеза. В этом – своеобразие эпикурейской логики и ее глубокое отличие от аристотелевской и стоической логики.
Отстаивая индукцию и аналогию как основу научного знания, эпикурейцы говорили, что не всякая индукция и аналогия достоверны. Чтобы они давали истинные выводы и имели научное познавательное значение, они должны удовлетворять ряду требований. Прежде всего наблюдения, на которых они построены, должны быть тщательными и возможно более широкими. Достоверный общий вывод из эмпирических данных путем индукции может быть получен лишь в том случае, если он сделан на основе существенных сходств, а не случайных. Эпикурейская логика учила, что надо остерегаться поспешных выводов.
Эпикурейцы подчеркивали, что всегда нужно стремиться для тех положений, которые получены путем логического вывода, найти подтверждение в самом непосредственном опыте, в данных чувственного восприятия. Где только возможно, должно обращаться к свидетельству непосредственного чувственного опыта. Как видно из сочинения Филодема «О знаках и обозначениях», теория индукции и аналогии предполагает единообразие природы: в различных предметах и явлениях, принадлежащих к одному классу, имеются общие свойства, которые присущи и всем прочим предметам этого класса. Из этой предпосылки исходит эпикурейская теория индукции и аналогии. Индукция и аналогия есть путь, ведущий от данного к познанию неизвестного. Защищая индукцию и аналогию от нападок стоиков, эпикурейцы заявляли, что без них невозможно познать природу.