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

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

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

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

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

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

Выдвигая на первый план гипотетические (условные) умозаключения, стоики указывали на возможность превращения категорических и разделительных суждений в условные путем придания категорическим и разделительным суждениям формы условных суждений. Так, суждение «А есть В» можно представить в форме: «Если есть А, то есть и В», а суждение «А есть или В, или С» можно облечь в форму: «Если есть А, то оно есть или В, или С».

По учению стоиков, для истинности заключения необходимы два условия: во-первых, чтобы посылки в силлогизме были истинными суждениями и, во-вторых, чтобы вывод заключения из посылок был формально правильным.

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

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

Различие между стоической и аристотелевской логикой хорошо видно на примере теории дефиниции. В учении стоиков об определении нет вопроса ни о роде, ни о виде, ни о сущности. По их учению, дефиниция есть перечисление признаков, присущих вещи. Так, Хрисипп определял дефиницию как «отчет о собственном», а Антипатр – как «речь, разъясняющую вполне посредством анализа».

По учению стоиков, дефиниция не указывает видообразующего отличия, она перечисляет различия вообще. То, что имя выражает в целом, дефиниция выражает более подробно, более детально. Так, например, стоики дают следующее определение человека: «Животное разумное, смертное, обладающее умом и способное к науке».

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

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