Этот вид умозаключений получил позже название «умозаключений a fortiori».
Название «умозаключения по качеству», которое было дано перипатетиками умозаключениям «из степени», объясняется тем, что более высокая, менее высокая и равная степени здесь обычно являются определениями качества.
Легко видеть, что эти умозаключения суть в основе своей прикладные умозаключения – «введения в другой форме».
Однако Теофраст ставит умозаключения по качеству («из большей, меньшей и равной степеней») рядом с умозаключениями по переиначиванию. Их отношение, по Теофрасту – координация, а не субординация.
В основном теофрастовская теория умозаключений «по переиначиванию» движется по аристотелевскому пути. Но что существенно отличает учение Теофраста от аристотелевской концепции, – это то место, которое у него занимают чистые гипотетические умозаключения позднейшей логики (сам Теофраст называет их силлогизмами «по аналогии»). Это – умозаключения, в которых из двух условных суждений выводится третье условное.
Теофраст делит силлогизмы по аналогии, как и силлогизмы в собственном смысле слова (категорические силлогизмы), на три фигуры. Вторая фигура характеризуется тем, что в ней посылки от одинаковых оснований ведут к различным следствиям. В третьей фигуре посылки от различных оснований ведут к одинаковым следствиям.
Таким образом, система форм этих умозаключений расходится с порядком фигур категорических умозаключений. Но это изменение является усовершенствованием теории, ибо в основу построения теории силлогизмов по аналогии кладется закон, что с основанием дано следствие и с уничтожением следствия уничтожается и основание. Теория силлогизмов по аналогии Теофраста примыкает, таким образом, не к теории категорических силлогизмов, а к теории силлогизмов «по переиначиванию».
Введение силлогизмов по аналогии придает теориям гипотетических умозаключений Теофраста новый характер. Основным делением гипотетических умозаключений в логике Теофраста является деление их на полные и смешанные, в которые входят гипотетическая и дейктическая посылки.
И Теофраст, подобно Аристотелю, склонен ограничивать гипотетические умозаключения областью ненаучной демонстрации, имеющей более слабую доказательную силу. У Аристотеля гипотетические умозаключения располагаются по степени доказательной силы в ряд ступеней, в зависимости от особенностей их гипотез, и заканчиваются умозаключениями «от простого соглашения», которые не могут претендовать ни на какую объективную силу доказательства. В своей теории гипотетических умозаключений Аристотель подчеркивает их субъективно-диалектический характер. И это может служить указанием на то, что эти умозаключения взяты из практики диалектических дискуссий.
Гипотетические умозаключения такого рода не были открытием Аристотеля, они были способом аргументации, часто применявшимся в научных спорах и беседах, и уже Платон пытался построить их теорию.
Ввиду такого широкого употребления гипотетических умозаключений Аристотель счел нужным исследовать их отношение к силлогизму. Но в особенности побудило Аристотеля заняться ими в «Первой Аналитике» отношение этих умозаключений к апагогическому доказательству. По силе демонстрации апагогический прием стоит наряду с дейктическим, т. е. наряду с самим силлогизмом, несмотря на то, что по своей логической структуре он принадлежит к гипотетическим умозаключениям. Таким образом, апагогические доказательства, с одной стороны, примыкают к силлогистическим формам, с другой – к диалектическим гипотетическим умозаключениям.
Индукция
Особое место в логике Аристотеля и в его теории познания занимает индукция.
Аристотель различает умозаключения, в которых вывод осуществляется от общего к частному и в которых вывод осуществляется от единичного и частного к общему. Сопоставляя дедукцию и индукцию, Аристотель говорит, что дедукция отличается большей строгостью и является «первой по природе», более соответствующей объективному порядку вещей и их зависимости, индукция же ближе нам, менее строга и более ясна и наглядна.
Отличие индуктивного умозаключения от «силлогизма через средний термин» Аристотель видит в следующем: индукция показывает отношение большего термина к среднему через меньший, а силлогизм – отношение большего термина к меньшему через средний. Иными словами, в индуктивном умозаключении доказывается присущность большего термина среднему через меньший: среднему термину присущ в качестве предиката больший термин на основании того, что последний присущ всем или некоторым предметам, составляющим объем среднего термина. В том случае, если больший термин присущ всем предметам, входящим в объем среднего термина, общеутвердительное заключение будет вполне достоверным и мы будем иметь тот вид индукции, который позже получил название полной.
Только полную индукцию Аристотель признает строго научной и относит ее к аподейктике, неполную же индукцию он относит к диалектическим и главным образом к риторическим умозаключениям. Отмечая доказательную силу полной индукции, Аристотель называет ее «силлогизмом по индукции».
По своей логической структуре полная индукция представляет собой умозаключение по третьей фигуре категорического силлогизма (по модусу Darapti), но с той особенностью, что здесь тот из терминов, который служит предикатом меньшей посылки, по объему совпадает с субъектом этой посылки, которая заключает в себе все единичные вещи или виды, входящие в понятие этого предиката, вследствие чего меньшая посылка обратима без ограничения; отсюда получается силлогизм первой фигуры (по модусу Barbara) с необходимым общеутвердительным заключением. Аристотель приводит следующий пример. Мы имеем две посылки: 1) «Все люди, лошади, мулы и т. д. долговечны» и 2) «Все люди, лошади, мулы и т. д. не имеют желчи». В том случае, когда меньшая посылка обратима без ограничения, т. е. когда виды, перечисленные в субъекте этой посылки, охватывают всех живых существ, не имеющих желчи, мы посредством обращения меньшей посылки получим такое общеутвердительное суждение, которое в соединении с первой имеющейся посылкой даст первый модус первой фигуры силлогизма (Barbara). Следовательно, мы будем иметь полноценный достоверный вывод (аподейктическое умозаключение).
Но если меньшая посылка не обратима без ограничения, так как нет основания считать, что перечисленные виды суть все виды живых существ, не имеющих желчи, то заключение (согласно правилу первой фигуры) может быть только частным суждением. Следовательно, неполная индукция не может дать достоверного общего заключения. Если же мы в этом случае примем в качестве заключения общее суждение, то этот наш вывод будет только возможным или вероятным, но отнюдь не необходимым и достоверным.
Таким образом, неполная индукция, по учению Аристотеля, не может претендовать на аподейктическую достоверность, она может претендовать только на диалектическую или риторическую вероятность.
Таким образом, Аристотель недооценивает познавательное значение неполной индукции. В этой низкой оценке неполной индукции – односторонность логики Аристотеля. Причину этого обычно видят в том, что в то время опытное естествознание только зарождалось, но в действительности причина заключается в идеалистическом понимании причинности, с которой теория индукции неразрывно связана.
