Только тогда, когда мы воспринимаем 'человеческое', связанное со смертностью, мы можем сказать, что все люди смертны, ибо воспринимать 'человеческое'-значит воспринимать всех людей, поскольку, только воспринимая всех людей, можно представить себе человека как такового, а не того или иного человека. Следовательно, можно сказать, что вывод типа 'некоторые люди смертны, поэтому и все люди смертны' не может считаться основой индукции. Такое толкование вывода логически не оправдано, ибо в нем незаконно распределен субъект 'люди'.С другой стороны, индуктивное умозаключение есть процесс обобщения отдельных данных нашего опыта к познанию сущности класса этих отдельных данных.
г) Классификация выводов
Мы уже видели, что вывод в индийской логике представляет собой комбинированное дедуктивно-индуктивное умозаключение, состоящее, по крайней мере, из трех категорических суждений. Поэтому в индийской логике все выводы являются чистыми силлогизмами категорического типа, формально достоверными и материально истинными. Выводы в ней не делятся на дедуктивные и индуктивные, непосредственные и опосредствованные, силлогистические и несиллогистические, чистые и смешанные, а имеют самостоятельную классификацию.
Наяйики классифицируют выводы тремя способами.
Вывод можно подразделить на свартху и парартху. Это психологическая классификация умозаключений, имеющая в виду применение вывода или цель, которой он служит. Вывод может предназначаться либо для получения некоторых знаний, либо для доказательства познанной истины другим людям. В первом случае мы Имеем вывод свартханумана (вывод для себя);
6о втором - парартханумана (вывод для других). Примером вывода первого типа является тот случай, когда человек, увидев вначале клубы дыма над холмом, припоминает затем неизменную связь дыма с огнем и делает наконец из этого вывод о наличии огня на холме. Мы будем иметь вывод парартха в том случае, когда налицо стремление убедительно доказать истину логического заключения другим людям. Например, человек, сделавший вывод или знающий о существовании огня на холме, пытаясь убедить в этом сомневающегося или оспаривающего истинность его познания, будет рассуждать способом парартха. Он рассуждает следующим образом: 'Холм должен быть горящим, потому что он дымится, а все, что дымится,- горит, как, например, в кухонном очаге; холм также дымится; следовательно, он горит'.
Вторым способом классификации выводов является деление их на пурвават, шешават и саманьятодришта2. Такое деление имеет отношение к природе вьяпти - всеобщей связи между средним и большим терминами. Тогда как деление выводов на пурвават и шешават основывается на причинном единообразии, первый способ классификации выводов основывается на непричинном единообразии. Причина определяется как нечто неизменно и необусловленно предшествующее следствию. В свою очередь, следствие является неизменными необусловленным последствием причины 3. Вывод пурвават представляет собой выведение невоспринимаемого следствия из воспринимаемой причины, например вывод о предстоящем дожде из появления на небе темных тяжелых туч. Вывод же шешават позволяет нам найти невоспринимаемую причину воспринимаемого следствия, например вывод о прошедшем дожде из видимого помутнения и ускорения течения реки. В этих двух видах вывода вьяпти является единообразным отношением причинности между средним и большим терминами силлогизма. Таким образом, оба эти вида вывода подчинены так называемой 'научной индукции'.
Однако в выводе саманьятодришта неизменная связь среднего и большего терминов не зависит от причинного единообразия. Средний термин не является по отношению к большему ни причиной, ни следствием. Мы выводим одно из другого не потому, что знаем их причинную зависимость, но на том основании, что они единообразно связаны в нашем опыте. Так, при наблюдении различных положений луны через большие промежутки времени мы делаем вывод о том, что она движется, хотя ее движение может и не восприниматься нами. Ведь в других случаях всякий раз, когда мы воспринимаем изменение положения какой-либо вещи, мы тем самым воспринимаем и ее движение. Из этого мы делаем вывод о движении луны, хотя движение небесных тел нами и не воспринимается. Подобно этому мы можем заключить о наличии раздвоенного копыта у неизвестного нам животного по одному тому, что видим у него рога. Эти выводы зависят не от причинной связи, но от некоторых наблюдаемых моментов общего сходства различных объектов опыта. Таким образом, вывод саманьятодришта похож на формально-логический аргумент по аналогии .
Третьим способом классификации выводов является подразделение их на кеваланвайи, кева-лавьятиреки и анваявьятиреки. Такая классификация более логична, так как она зависит от природы индукции, посредством которой мы познаем вьяп/пи - основу вывода. Вывод называется кеваланвайи, когда он основывается на среднем термине, только положительно связанном с большим термином. Познание вьяпти между средним и большим терминами в этом случае достигается только методом их согласованного присутствия (анвая), ибо обратного примера - их согласованного отсутствия - нет. Это можно проиллюстрировать на следующем выводе:
Все познаваемые объекты именуемы;
горшок - познаваемый объект;
следовательно, горшок именуем.
Большая посылка этого вывода есть общеутвердительное суждение, в котором предикат ('именуемое') является утверждением, относящимся ко всем познаваемым объектам. И мы действительно не можем отрицать данное отношение предиката к субъекту и говорить, что имеется такой познаваемый объект, который может не иметь названия. Меньшая посылка и заключение этого вывода также являются общеутвердительными суждениями и не могут быть отрицательными. Отсюда по своей логической форме утот вывод является силлогизмом первого модуса первой фигуры, технически называемым barbara.
Вывод кевалавьятиреки - это такой вывод, в котором средний термин только отрицательно связан с большим. Он зависит от вьяпти между отсутствующим большим и отсутствующим средним терминами. Значит, и познание вьяпти достигается здесь методом согласованного отсутствия, поскольку нет положительного примера согласованного присутствия среднего и большего терминов, исключая меньший. Это иллюстрируется наяйиками следующим образом:
То,что не отлично от других элементов,не имеет запаха;
земля имеет запах;
следовательно, земля отлична от других элементов.
В этом выводе большей посылкой является общеотрицателыюе суждение,в котором предикат (средний термин вывода -'запах') отрицается у субъекта (отрицательного большего термина вывода-'отличающееся от других элементов'). Приписывать же предикат-'запах'-какому-либо другому субъекту, кроме 'земли', которая представляет собой меньший термин вывода,- невозможно. Отсюда единственным способом связи среднего термина с большим является отрицательный способ высказывания: 'Все,что не отличается от других элементов, не имеет запаха'. Значит, большая посылка должна быть общеотрицательным суждением, получаемым только методом согласованного отсутствия большего и меньшего терминов. Меньшая посылка представляет собой утвердительное суждение, и хотя одна из посылок является отрицательной, заключение тоже получается утвердительным, что противоречит общим правилам силлогизма в формальной логике. Отсюда мы видим, что этот вид вывода не имеет сходного модуса силлогизма в формальной логике, и мы не должны насильственно превращать такое заключение индийской логики в отрицательное суждение.
Вывод называется анваявьятиреки в том случае, если его средний термин связан с большим как положительно, так и отрицательно. Неизменная связь между большими средним терминами имеется в нем как в случае наличия этих терминов, так и в случае их отсутствия. Поэтому познание, общего суждения основывается на объединенном методе согласованного присутствия и отсутствия. Общее суждение утвердительно тогда, когда оно является результатом наблюдаемых положительных примеров согласованности присутствия, и отрицательно в том случае, если оно основывается на наблюдаемых отрицательных фактах согласованного отсутствия среднего и большего терминов. Различие между обще утвердительным и общеотрицательным суждениями состоит в том,что субъект положительного суждения становится предикатом, а противоречащее предикату становится субъектом соответствующего отрицательного суждения. Отсюда вывод анваявьятиреки может быть основан как на общеутвердительном, так и на общеотрицательном суждении. Это иллюстрируется следующими двумя выводами:
1) Все дымящиеся объекты горят;
холм дымится;
следовательно, холм горит.
2) Ни один не горящий объект не дымится;
холм дымится;
следовательно, холм горит.
д) Ошибки в выводах
Все ошибки вывода в индийской логике считаются материальными, существенными ошибками. Поскольку выводы имеют логическую структуру, это относится ко всем выводам. Строго говоря, в логике нет ошибочной формы вывода, поскольку все выводы должны быть облечены в ту или иную достоверную форму. Отсюда, если в выводе имеется какая-либо ошибка, то это должно быть результатом материальных условий, от которых зависит истина составляющих вывод посылок. Здесь следует отметить, что в аристотелевской классификации ошибок - с делением их на in dictione и extra dictionem - не упоминаются формальные ошибки вывода, как, например, нераспределенность среднего термина или незаконное распределение большего или меньшего термина и т. д. Причина этого, по словам Итона, заключается в том, что для тех, кто овладел искусством мышления по правилам силлогизма, формальные ошибки столь незначительны. что при порочных аргументах они вряд ли будут иметь место. Что же касается ошибок in dictione, то есть таких ошибок, которые возникают из-за неточного употребления слов, то все они включаются наяйиками в состав ошибок типа чхала, джати и ниграхастхана с их многочисленными подразделениями.