Стоики считали родовые понятия продуктами воображения, которым ничего не соответствует в объективной действительности. Родовые понятия охватывают бесконечное множество однородных предметов и явлений, и на них основываются общие суждения, имеющие огромное познавательное значение, так как из них слагается научное знание. Здесь учение стоиков совершает скачок от эмпиризма к рационализму; этот скачок остается у них необоснованным, поскольку ими не определено и не уяснено, каким образом общие понятия, не отражающие объективной действительности, могут служить основанием науки
Основные положения теории познания стоической школы установил ее основатель Зенон. Всесторонняя же разработка теории познания и логики Стой принадлежит Хрисиппу, бывшему главой школы с 230 по 207 г. до н. э.; его называют «вторым основателем Стой». Хрисипп подробно разработал стоическую силлогистику, в которой главное место занимали условные и дизъюнктивные силлогизмы. В разработку логики Хрисипп ввел тот педантический формализм, который позже стал господствующей чертой схоластической логики.
По учению стоиков, признаком всякого истинного положения является его логическая доказуемость. Поэтому главным разделом логики в узком значении этого слова является учение о доказательстве (как и у Аристотеля). Всякое доказательство состоит из умозаключений. Составными же частями умозаключения являются суждения. Стоики полагают, что только суждениям принадлежит признак истинности или ложности. Что касается умозаключений, то, по их мнению, можно говорить лишь об их формальной правильности или неправильности.
Суждения стоики делили на простые (категорические) и сложные. Простые суждения они, вслед за Аристотелем, классифицировали по качеству, количеству и модальности. Сложные же суждения стоики делили на гипотетические (условные), разделительные, соединительные и на другие виды. Хрисипп считал, что основными и первичными умозаключениями являются не категорические, а те, в которых большей посылкой является сложное суждение (гипотетическое, разделительное, соединительное).
Выдвигая на первый план гипотетические (условные) умозаключения, стоики указывали на возможность превращения категорических и разделительных суждений в условные путем придания категорическим и разделительным суждениям формы условных суждений. Так, суждение «А есть В» можно представить в форме: «Если есть А, то есть и В», а суждение «А есть или В, или С» можно облечь в форму: «Если есть А, то оно есть или В, или С».
По учению стоиков, для истинности заключения необходимы два условия: во-первых, чтобы посылки в силлогизме были истинными суждениями и, во-вторых, чтобы вывод заключения из посылок был формально правильным.
Трактуя об «обозначаемом», стоики все высказывания делят на неполные и полные, т. е. на предикаты и предложения. Из предложений, по их учению, суждениями являются те, в которых что-нибудь утверждается или отрицается и которым присуща или истинность, или ложность.
Отрицая объективное существование общего, стоики совершенно по-новому, в сравнении с Аристотелем, строят свое учение о понятии и суждении. Поскольку в своей философской системе стоики стояли на номиналистической позиции, в их логике деление на роды и виды занимает весьма незначительное место, хотя они и не игнорировали совсем это деление.
Различие между стоической и аристотелевской логикой хорошо видно на примере теории дефиниции. В учении стоиков об определении нет вопроса ни о роде, ни о виде, ни о сущности. По их учению, дефиниция есть перечисление признаков, присущих вещи. Так, Хрисипп определял дефиницию как «отчет о собственном», а Антипатр – как «речь, разъясняющую вполне посредством анализа».
По учению стоиков, дефиниция не указывает видообразующего отличия, она перечисляет различия вообще. То, что имя выражает в целом, дефиниция выражает более подробно, более детально. Так, например, стоики дают следующее определение человека: «Животное разумное, смертное, обладающее умом и способное к науке».
Подобно теории дефиниции, и теория логического деления у стоиков носит номиналистический характер. Они не признают деления, основанного на самой природе вещей, и поэтому допускают множество различных способов логического деления.
Иначе, чем Аристотель, стоики трактуют и вопрос о категориях. Существенное различие в понимании категорий у стоиков и Аристотеля Прантль и Брошар объясняют тем, что у стоиков категории трактуются номиналистически и не рассматриваются как роды сущего. В отличие от Аристотеля они строят учение о категориях на принципе субординации, а не на принципе координации.
В системе категорий стоиков каждая предыдущая категория входит в последующую, получая в ней новую определенность. Из аристотелевских категорий у стоиков остаются только четыре: субстанция, качество, состояние и отношение. Таблица категорий у стоиков принимает следующий вид: 1) субстрат, или субстанция, 2) субстанция, обладающая определенным качеством, 3) субстанция, находящаяся в определенном состоянии, обладающая определенным качеством, и 4) субстанция, находящаяся в определенном отношении, обладающая определенным состоянием и имеющая определенное качество.
Таким образом, у стоиков по сравнению с Аристотелем изменяются смысл понятия «категория» и его роль в процессе познания.
Поскольку стоики считали общие (родовые) понятия чисто субъективными образованиями, которым ничто не соответствует в объективной действительности, они подобным же образом рассматривали и категории. Поэтому для них категории не являются наивысшими родами сущего, тем более что, по их учению, все сущее однородно (существуют лишь единичные тела). У стоиков категории являются лишь различными способами мышления. О каждом теле мы можем мыслить как о субстанции, и как об обладающем определенным качеством, и как о находящемся в каком-либо состоянии и в том или ином отношении к другим телам.
Этот различный подход к вещам находит свое выражение как в области мышления, так и в области языка, в логических и грамматических категориях. Основанием логического деления категорий у стоиков служит различие мыслительного подхода к изучаемой вещи, различие принимаемой в том или ином случае точки зрения на нее.
Ё отличие от Аристотеля стоики признают единую наивысшую универсальную категорию, охватывающую все сущее и все стороны его. Такой категорией является субстанция (тело). Но над этой категорией у стоиков стоит еще другая категория – «нечто», охватывающая не только все существующее, но и воображаемое, не только телесное, но и бестелесное.
К предметам, не имеющим субстанционального существования, стоики относят пространство, пустоту, время и умопостигаемые чистые объекты мысли. К чистым объектам мышления относятся такие понятия, как качество, состояние и отношение, потому что они как таковые реально не существуют, поскольку реально существуют только отдельные тела, имеющие определенные качества и состояния и стоящие в определенных отношениях к другим телам. Различие между качеством и состоянием стоики усматривают в том, что первое относится к самой сущности субстанции. Качество есть существенное постоянное свойство тела, а состояние представляет собой временное, изменяющееся пребывание вещи в движении или покое и т. п. Случайным, преходящим свойством вещей является и отношение. Так, один и тот же (предмет то движется, то находится в покое, и отношения предметов к другим предметам постоянно изменяются.
Благодаря наличию определенного качества каждая вещь есть именно то, что она из себя представляет, и имеет свои особенности, отличающие ее от других вещей. Однако, хотя понятие качества само по себе и мыслится стоиками как объект чистой мысли, они учат, что всякое качество, присущее какой-либо отдельной единичной вещи (например, красный цвет той или иной вещи, но не красный цвет вообще), реально существует как особое тело природы, проникающее данную единичную вещь.
Таким образом, у стоиков качество рассматривается в двояком смысле: как индивидуальное качество каждой отдельной вещи, которое реально существует, и как общее качество, которое реально не существует и есть объект чистой мысли. В отличие от качества, являющегося существенным свойством вещей, состояния и отношения являются случайными, преходящими свойствами их.
