Итак, все наше знание основывается на опыте, на фактах, ибо ощущения, испытываемые нами под влиянием различных причин, и составляют то, что мы называем фактами.
Само абстрактное суждение представляет собой не что иное, как сложное выражение соотношения между фактами. Мы знаем только факты, и все наши рассуждения сводятся к тому, что мы на основании известных фактов заключаем о неизвестных. Истина есть согласие с фактами и, следовательно, единственный критерий истины есть опыт.
Это положение есть краеугольный камень всей философии Милля. Ему случалось в течение своей жизни изменять взгляды на многие философские вопросы, но относительно этого пункта он был совершенно непоколебим и не вступал ни в какие компромиссы с противниками. Вопрос о критерии истины он признавал основанием всякой философской системы; кто утверждал существование другого критерия, тот, по его мнению, принадлежал к метафизической школе.
Но помимо чисто философского значения правильного разрешения вопроса о критерии истины, Милль приписывал ему громадное нравственное влияние на характер человека и был глубоко убежден, что в общественной жизни только те могут настойчиво и энергично бороться с устарелыми учреждениями, основанными на принципе авторитета, кто по своим философским убеждениям отрицает сверхчувственное происхождение знания. Учение о врожденных идеях казалось Миллю прочной опорой всяких политических и религиозных предрассудков, и потому он думал, что социальная реформа сделается возможной только когда в области философии будет твердо установлен принцип опытного происхождения всего нашего знания.
Идеалисты и метафизики, несогласные с этими взглядами, ссылаются обыкновенно на пример математических аксиом, истинность которых познается помимо всякого опыта, а отрицание которых представляется нам совершенно немыслимым. Так, например, геометрическая аксиома, что «две прямые линии не могут заключать пространства», не могла возникнуть из опыта по следующим причинам: во-первых, опыт никогда не мог нас убедить, что две прямые линии, продолженные на громадное расстояние – тысячи и миллионы верст, не пересекутся более одного раза, ибо такого опыта мы никогда не делали; во-вторых, мы вовсе не нуждаемся в опыте, чтобы убедиться в истинности этой аксиомы: нам для этого достаточно воспроизвести две прямые линии в своем воображении; в-третьих, истины, выведенные из опыта, никогда не кажутся нам необходимыми. Так, например, мы из ежедневного опыта убеждаемся, что после ночи всегда следует день, и, несмотря на это, мы легко можем представить себе, что ночь будет продолжаться неопределенно долгое время и день никогда не наступит. Между тем попробуем отрицать математические аксиомы – попробуем представить себе, что две прямые линии заключают собой пространство, и мы немедленно убедимся в полной невозможности вызвать в своем уме требуемое представление. На основании всего этого идеалисты утверждают, что наше знание математических аксиом не вытекает из опыта, а прирождено нашей познавательной способности.
Возражение это очень серьезно и всегда составляло твердыню идеализма. Милль прекрасно сознавал важность неприятельской позиции и направлял все силы своей аргументации, чтобы выбить из нее врага. Он должен был согласиться с идеалистами, что воспроизведение геометрических фигур в воображении совершенно заменяет геометрический опыт. Это зависит от простоты и несложности пространственных восприятий, к которым мы привыкли с раннего детства; постоянно испытываемые нами впечатления времени и пространства воспроизводятся нами в воображении лучше, чем все остальные впечатления внешнего мира. Поэтому относительно математических аксиом внутренний духовный опыт с полным успехом может заменить действительные наблюдения.
Геометрическая фигура, которую я рисую в своем воображении, совершенно подобна такой же фигуре, нарисованной на бумаге, и с одинаковым успехом может служить основанием для моих выводов. Правда, мы никогда не видели двух прямых линий, продолженных на миллионы верст, но чтобы убедиться, что они не заключают пространство, нам не нужно следить за ними на громадные расстояния; достаточно перенестись мысленно в ту точку, где они пересеклись во второй раз, чтобы ясно увидеть, что линии перестали быть прямыми и изогнулись.
Наконец, что касается утверждения идеалистов относительно немыслимости отрицания аксиом, то оно, по мнению Милля, основано на малом знакомстве с историей человеческой мысли. Многое из того, что мы считаем теперь мыслимым, признавалось немыслимым для наших предков, и наоборот. Так, например, в средние века против шарообразности Земли выставляли следующий аргумент: если бы Земля была шарообразна, то существовали бы люди, обращенные к нам ногами; они должны были бы ходить вниз головой, а это признавалось немыслимым. Теперь мы знаем, что антиподы существуют, и не видим в этом ничего немыслимого. Милль приводит еще несколько подобных примеров для доказательства своей мысли. Он объясняет психологическую невозможность отрицать математические аксиомы тем, что в нашем уме образовались прочные и неразрывные ассоциации представлений времени и пространства, от которых мы освободиться не в силах.
Таким образом, все наше знание исчерпывается знанием фактов. Каким же путем мы можем открывать новые истины, восходить от известных фактов к неизвестным? Средневековая логика признавала только один такой путь – силлогизм.
Силлогизм – это цепь умозаключений, построенных по известному типу: большая посылка содержит в себе какое-нибудь общее положение относительно целого класса явлений, например, «все люди смертны»; меньшая посылка констатирует принадлежность к этому классу какого-либо отдельного явления, например, «я – человек»; вывод состоит в том, что отдельному явлению приписываются свойства класса, например, «я смертен».
Но узнаем ли мы при помощи силлогизма что-либо новое? Когда я говорю, что все люди смертны, то этим я утверждаю смертность Ивана, Петра, Андрея – словом, смертность каждого человека, в том числе и меня самого; следовательно, вывод «я смертен» с самого начала заключается в большой посылке, и мы не подвинулись ни на шаг в открытии истины. Если только признать, что задача силлогизма заключается в том, чтобы открывать в особи свойства, известные нам относительно целого класса, то силлогизм обратится в пустую игру слов, ненужную тавтологию, замену одного выражения другим.
Между тем в действительности это не так. Хотя формально основанием силлогизма служит большая посылка, в сущности, мы исходим совсем из другого. Большая посылка играет роль записной книги, куда мы для памяти заносим свои впечатления. Когда нам нужно сделать вывод относительно какого-нибудь отдельного случая, мы вынимаем книжку и справляемся с ее содержанием.
Так, например, когда я говорю, что я смертен, то истинным основанием моего умозаключения служит наблюдение, что все люди, жившие раньше меня, умерли. Другими словами, я делаю свой вывод не из общего положения, а из отдельных частных случаев, которые мне приходилось наблюдать или о которых я знаю со слов других людей. Итак, мы заключаем в силлогизме от частного к частному; большая посылка играет лишь вспомогательную роль при наших умозаключениях. Но мы можем прекрасно обходиться без ее помощи; животные, дети и люди малообразованные всегда заключают от частных случаев к частным, не облекая своих наблюдений в форму общих положений.
Мы видим, что и при силлогизме источником нашего знания все-таки остается наблюдение и опыт. Другими словами, всякому силлогизму должно предшествовать обобщение частных случаев, то есть индукция.
Разработка теории индукции составляет главную заслугу Милля. По форме силлогизм противоположен индукции; в первом случае мы нисходим от общего к частному, а во втором – восходим от частного к общему. На основании наблюдения отдельных явлений мы заключаем относительно целого класса, обобщаем частные случаи и получаем возможность предсказывать такие явления, которые были совершенно недоступны непосредственному наблюдению.
Этот процесс и называется индукцией. Существенным его признаком является то, что он всегда расширяет наше знание. Если мы констатируем известное свойство целого ряда особей на основании того, что мы их нашли у каждой особи в отдельности, то этот вывод не будет индукцией, а простой заменой одного выражения другим. Так, например, если мы заключим на основании изучения формы правления американских государств, что все самостоятельные государства Америки – республики, то наш вывод не будет шире посылок и потому не составит индукции.