Большая Советская Энциклопедия (ЛО)

    Логические идеи мегариков были ассимилированы в философской школе стоиков, основанной около 300 до н. э. Гл. фигурой этой школы был Хрисипп, принявший критерий Филона для импликации и двузначности принцип как онтологическую предпосылку Л. В сочинениях стоиков Л. высказываний предшествует аристотелевской силлогистике, оформляясь в систему правил построения и правил вывода высказываний. Последние по примеру Аристотеля тоже называются силлогизмами. Идея дедукции формулируется более четко, чем у мегариков, в виде след. предписания: условием формальной правильности заключения В из посылок А₁, А₂,..., A_n является истинность импликации (A₁ & A₂ &... & A_n) 'E В. Аргументы, основанные на понимании высказываний только как функций истинности, стоики называли формальными; они могут вести от ложных посылок к истинным следствиям. Если же во внимание принималась содержательная истинность посылок, формальные аргументы назывались истинными. Если посылки и заключения в истинных аргументах относились соответственно как причины и следствия, аргументы называются доказывающими. В общем случае «доказывающие аргументы» стоиков предполагали понятие о естественных законах. Стоики считали их аналитическими и возможность их доказательства посредством аналогии и индукции отрицали. Т. о., развитое стоиками учение о доказательстве шло за пределы Л. в область теории познания, и именно здесь «дедуктивизм» стоиков нашёл себе философского противника в лице радикального эмпиризма школы Эпикура — последней наиболее важной для истории Л. школы античности. В споре со стоиками эпикурейцы защищали опыт, аналогию, индукцию. Они положили начало индуктивной Л., указав, в частности, на роль противоречащего примера в проблеме обоснования индукции и сформулировав ряд правил индуктивного обобщения.

  Эпикурейской «каноникой» заканчивается история логической мысли ранней античности. На смену приходит поздняя античность, эклектически сочетающая аристотелизм и стоицизм. Её вклад в Л. ограничивается по существу переводческой и комментаторской деятельностью поздних перипатетиков (Боэт Сидонский, Александр Эгский, Адраст, Гермин, Александр Афродизийский, Гален и др.) и неоплатоников (Порфирий, Прокл, Симпликий, Марий Викторин, Апулей, Августин, Боэций, Кассиодор и др.). Из нововведений эллино-римских логиков заслуживают внимания логический квадрат Апулея, дихотомическое делениеи объёмная трактовка терминов силлогизма у Порфирия, идеи аксиоматизации Л. и Л. отношений у Галена, зачатки истории Л. у Секста Эмпирика и Диогена Лаэрция, наконец, подготовившие терминологию средневековой Л. переводы греческих текстов на латинский язык, в частности «Введения» Порфирия Марием Викторином и сочинений Аристотеля, входящих в «Органон», Боэцием. (Именно в логическом словаре Боэция впервые, по-видимому, появляются понятия «субъект», «предикат», «связка», в терминах которых на протяжении многих последующих столетий логики анализировали высказывания.) Под влиянием доктрины стоиков, заимствованной неоплатонизмом, Л. постепенно сближается с грамматикой. В энциклопедии той эпохи — «Сатириконе» Марциана Капеллы — в качестве одного из семи свободных искусств Л. объявляется необходимым элементом гуманитарного образования.