Как наука справляется с дефектной достоверностью этого процесса рассуждения? Ответ заключается в том, что вероятность вывода может проходить через все степени от простого предположения до максимальной вероятности, которая практически неотличима от достоверности. Вероятность тем больше, чем чаще неполная индукция такого рода оказывалась правильной в последующем опыте. Соответственно, в нашем распоряжении есть ряд выражений, которые в своей простейшей и наиболее общей форме имеют вид: если элемент A встречается в вещи, то элемент B также находится в ней (в пространственном или временном отношении).
Если отношение временное, это общее утверждение известно под каким-либо таким именем, как закон причинности. Если оно пространственное, говорят об идее (в платоновском смысле), или типе вещи, о субстанции и т. д.
Из представленных здесь соображений мы получаем легкий ответ на многие вопросы, которые часто обсуждаются в самых разных смыслах. Во-первых, вопрос о всеобщей значимости закона причинности. Все попытки доказать такую значимость провалились, и осталось только указание на то, что без этого закона мы чувствовали бы невыносимую неуверенность по отношению к миру. Из этого, однако, мы видим совершенно ясно, что здесь речь идет лишь о целесообразности. Из непрерывного потока наших переживаний мы выискиваем те группы, которые всегда можно найти снова, чтобы иметь возможность заключить, что если дан элемент A, то будет присутствовать элемент B. Мы не находим это отношение как «данное», но мы вкладываем его в наши переживания, в том, что мы считаем части, которые соответствуют отношению, как принадлежащие вместе.
То же самое можно сказать о пространственных комплексах. Такие факторы, которые всегда, или во всяком случае часто, встречаются вместе, принимаются нами как «принадлежащие вместе», и из них формируется понятие, которое охватывает эти факторы. Вопрос о «почему» здесь, как и с временными комплексами, не имеет определенного смысла. Есть бесчисленное множество вещей, которые случаются вместе один раз, на которые мы не обращаем внимания, потому что они случаются только один раз или редко. Знание факта, что такое единичное совпадение существует, ничего не дает, так как из наличия одного фактора оно не ведет к выводу о наличии другого и поэтому не делает возможным предсказание. Из всех возможных и даже действительных комбинаций нас интересуют только те, которые повторяются, и этот произвольный, но целесообразный выбор создает впечатление, что мир состоит только из комбинаций, которые могут повторяться; что, иными словами, закон причинности или типа является общим. Насколько общее или ограниченное применение имеют эти законы, — это скорее вопрос нашего мастерства в нахождении постоянных комбинаций среди тех, что присутствуют, чем вопрос объективного природного факта.
Таким образом, мы видим развитие и преследование всех наук, происходящее таким образом, что, с одной стороны, обнаруживается все больше и больше постоянных комбинаций, а с другой стороны, находятся более всеобъемлющие отношения такого рода, посредством которых элементы объединяются друг с другом, которые раньше никто даже не пытался свести вместе. Так науки растут как в смысле возрастающего усложнения, так и в смысле возрастающего объединения.
Если мы рассмотрим с этой точки зрения развитие и процедуру различных наук, мы найдем рациональное деление всей суммы науки в вопросе об объеме и множественности комбинаций или групп, рассматриваемых в них. Эти два свойства в некотором смысле антитетичны. Чем проще комплекс, то есть чем меньше элементов собрано в нем, тем чаще он встречается, и наоборот. Можно поэтому расположить все науки таким образом, чтобы начинать с наименьшей множественности и наибольшего объема и заканчивать наибольшей множественностью и наименьшим объемом. Первая наука будет самой общей и поэтому будет содержать самые общие и поэтому самые бесплодные понятия; последняя будет содержать самые специфические и поэтому самые богатые.
Что это за ограничивающие понятия? Самое общее — это понятие вещи, то есть любой кусок опыта, произвольно схваченный из потока наших переживаний, который может быть повторен. Самое специфическое и богатое — это понятие человеческого общения. Между наукой о вещах и наукой о человеческом общении все другие науки оказываются расположенными в регулярной градации. Если проследить схему, получается следующий набросок:
1.Theory of order.⎫ 2.Theory of numbers, or arithmetic.⎬Mathematics. 3.Theory of time.⎪ 4.Theory of space, or geometry.⎭ 5.Mechanics.⎫ 6.Physics.⎬Energetics. 7.Chemistry.⎭ 8.Physiology.⎫ 9.Psychology.⎬Biology. 10.Sociology.⎭
Эта таблица произвольна в той мере, в какой принятые ступени могут быть увеличены или уменьшены по мере необходимости. Например, механику и физику можно было бы взять вместе; или между физикой и химией можно было бы вставить физическую химию. Точно так же между физиологией и психологией могло бы найти место антропология; или первые пять наук могли бы быть объединены под математикой. Как делать эти деления — это чисто практический вопрос, который будет решен в любое время в соответствии с целями деления; и спор по этому поводу почти бесполезен.
Я хотел бы, однако, обратить внимание на три большие группы: математику, энергетику и биологию (в широком смысле). Они представляют собой решающую регулятивную мысль, которую человечество выработало, внесло до этого времени, к научному овладению своим опытом. Упорядочение — это фундаментальная мысль математики. От механики до химии понятие энергии является самым важным; а для последних трех наук это понятие жизни. Математика, энергетика и биология, следовательно, охватывают совокупность наук.
Прежде чем мы перейдем к более близкому рассмотрению этих наук, будет хорошо предвосхитить другое возражение, которое может быть выдвинуто на основе следующего факта. Помимо названных наук (и тех, что лежат между ними), есть много других, таких как геология, история, медицина, филология, которые мы с трудом можем расположить в вышеприведенной схеме, которые, однако, должны быть приняты во внимание тем или иным образом. Они часто характеризуются тем фактом, что они стоят в отношении с несколькими из названных наук, но еще больше следующим обстоятельством. Их задача — не, как это верно для чистых наук, названных выше, открытие общих отношений, но они относятся скорее к существующим сложным объектам, чье происхождение, объем, протяженность и т. д., короче говоря, чьи временные и пространственные отношения они должны открыть или «объяснить». Для этой цели они используют отношения, которые предоставлены в их распоряжение первыми названными чистыми науками. Эти науки, следовательно, лучше было бы назвать прикладными науками. Однако в этой связи нам не следует думать только или даже главным образом о технических приложениях; скорее выражение используется для указания на то, что взаимные отношения частей объекта должны быть призваны к памяти путем применения общих правил, найденных в чистой науке.
В то время как в такой задаче процесс абстракции чистой науки неприменим (ибо опущение определенных частей и концентрация на других, которая характерна для них, исключена природой задачи), все же в данном случае обычно очевидна необходимость привлечения различных чистых наук для целей объяснения.
Астрономия — одна из этих прикладных наук. Прежде всего она покоится на механике, а в своей инструментальной части — на оптике; в своем нынешнем развитии на спектроскопической стороне, однако, она заимствует значительную часть химии. Точно так же история — это прикладная социология и психология. Медицина использует все вышеупомянутые науки, вплоть до психологии и т. д.
Важно ясно осознать природу этих наук, поскольку из-за их сложной природы они сопротивляются расположению среди чистых наук, в то время как из-за их практической значимости они все же требуют рассмотрения. Последний факт придает им также своего рода произвольный или случайный характер, поскольку их развитие в значительной степени обусловлено особыми потребностями времени. Их число, говоря в общем, очень велико, поскольку каждая чистая наука может быть превращена в прикладную науку различными способами; и поскольку в дополнение у нас есть комбинации двух, трех или более наук. Более того, метод процедуры в прикладных науках фундаментально отличается от такового в чистых науках. В первых речь идет о максимально возможном анализе единого данного комплекса на его научно понятные части; в то время как чистая наука, с другой стороны, рассматривает много комплексов вместе, чтобы выделить из них их общий элемент, но прямо отказывается от полного анализа единого комплекса.
В научной работе, как она проявляется на практике, чистая и прикладная наука отнюдь не разделены резко. С одной стороны, вспомогательные средства исследований, такие как аппаратура, книги и т. д., требуют от чистого исследователя знаний и применения в прикладной науке; а с другой стороны, прикладной ученый часто неспособен выполнить свою задачу, если он сам не становится на время чистым исследователем и не устанавливает или не открывает недостающие общие отношения, которые ему нужны для его задачи. Разделение и дифференциация двух форм науки были необходимы, однако, поскольку метод и цель каждой представляют существенные различия.
Чтобы рассмотреть метод процедуры чистой науки более внимательно, давайте вернемся к таблице на страницах 339, 340 и обратим внимание на отдельные науки по отдельности. Теория упорядочения была упомянута первой, хотя это место обычно отводится математике. Однако математика имеет дело с понятиями числа и величины как фундаментальными, в то время как теория упорядочения не использует их. Здесь фундаментальное понятие — это скорее вещь или объект, от которого не требуется или не рассматривается ничего больше, кроме того, что он является фрагментом нашего опыта, который может быть изолирован и останется таковым. Это не должна быть произвольная комбинация; такая вещь имела бы только сиюминутную длительность, и задача науки, узнать неизвестное из данного, не могла бы найти применения. Скорее этот элемент должен иметь такую природу, что он может быть охарактеризован и узнан снова, то есть он должен уже иметь концептуальную природу. Поэтому только части нашего опыта, которые могут быть повторены (которые одни могут быть объектами науки), могут быть охарактеризованы как вещи или объекты. Но говоря это, мы сказали все, что требовалось от них. В других отношениях они могут быть такими же разными, как это только мыслимо.
Если задается вопрос, что можно сказать научно о неопределенных вещах такого рода, то именно отношения упорядочения и ассоциации дают ответ. Если мы называем любую определенную комбинацию таких вещей группой, мы можем расположить такую группу разными способами, то есть мы можем определить для каждой вещи отношение, в котором она должна стоять к соседней вещи. Из каждого такого расположения вытекают не только указанные отношения, но и большое количество новых, и оказывается, что когда даны первые отношения, остальные всегда следуют подобным же образом. Это, однако, есть тип научного суждения или закона природы (страница 335). Из наличия определенных отношений упорядочения мы можем вывести наличие других, которые мы еще не продемонстрировали.
Чтобы проиллюстрировать этот факт примером, давайте подумаем о вещах, расположенных в простом ряду, в то время как мы выбираем одну вещь как первый член и ассоциируем другую с ней как следующую за ней; с последней ассоциируется другая и т. д. Тем самым положение каждой вещи в ряду определяется только в отношении к непосредственно предшествующей вещи. Тем не менее положение каждого члена во всем ряду, и поэтому его отношение к каждому другому члену, определяется этим. Это видно в ряде специальных законов. Если мы дифференцируем бывшие и последующие члены, мы можем сформулировать суждение, среди прочих, если B — последующий член по отношению к A, а C по отношению к B, то C также является последующим членом по отношению к A.
Правильность и значимость этого суждения кажется нам вне всяких сомнений. Но это только результат того факта, что мы способны продемонстрировать его очень легко в бесчисленных единичных случаях и так его продемонстрировали. Мы знаем только случаи, которые соответствуют суждению, и никогда не испытывали противоречащего случая. Называть такое суждение, однако, необходимостью мышления, не представляется мне правильным. Ибо выражение «необходимость мышления» может покоиться только на том факте, что каждый раз, когда суждение мыслится, то есть каждый раз, когда кто-то вспоминает его демонстрацию, его подтверждение всегда возникает. Но всякий род ложного суждения также мыслим. Неоспоримым доказательством этого является факт, что так много того, что ложно, на самом деле мыслится. Но основывать доказательство правильности суждения на невозможности мыслить его противоположность — это невозможная затея, потому что всякий род чепухи может быть мыслим: там, где доказательство считалось данным, всегда была путаница мысли и интуиции, доказательства или осмотра.
Этим одним суждением, конечно, теория порядка не исчерпывается, ибо здесь речь идет не о развитии этой теории, а об примере природы проблем науки. Из дальнейших вопросов мы кратко обсудим проблему ассоциации.
Если у нас даны две группы A и B, можно ассоциировать с каждым членом A один из B; то есть мы определяем, что определенные операции, которые могут быть проведены с членами A, также должны быть проведены с членами B. Теперь мы можем начать с простого выполнения ассоциации, член за членом. Тогда у нас будет один из трех результатов: A будет исчерпана, в то время как члены B еще останутся, или B будет исчерпана первой, или, наконец, A и B будут исчерпаны одновременно. В первом случае мы называем A беднее B; во втором B беднее A; в третьем оба количества одинаковы.
Здесь впервые мы наталкиваемся на научное понятие равенства, которое требует обсуждения. Не может быть речи о полном тождестве двух групп, которые были названы равными, ибо мы сделали предположение, что члены обеих групп могут быть любой природы. Они могут тогда быть такими разными, как возможно, рассматриваемые по отдельности, но они одинаковы как группы. Как бы я ни располагал члены A, я могу сделать подобное расположение членов B, поскольку каждый член A имеет один из B, ассоциированный с ним; и по отношению к свойству упорядочения нет никакой разницы, наблюдаемой между A и B. Если, однако, A беднее или богаче B, эта возможность прекращается, ибо тогда одна из групп имеет члены, которым не соответствует ни один из членов в другой группе; так что операции, проведенные с этими членами, не могут быть проведены с членами другой группы.
Равенство в научном смысле, следовательно, означает эквивалентность, или возможность подстановки в совершенно определенных операциях или для совершенно определенных отношений. Помимо этого, вещи, которые называются подобными, могут показывать любые различия вообще. Общий научный процесс абстракции снова легко виден в этом специальном случае.
На основе только что данных определений мы можем установить дальнейшие суждения. Если группа A равна B, а B равна C, то A также равна C. Доказательство этого в том, что мы можем соотнести каждый член A с соответствующим членом B, и по гипотезе ни один член не останется. Затем C располагается по отношению к B, и здесь также ни один член не остается. Этим процессом каждый член A, через связующее звено члена B, ассоциируется с членом C, и эта ассоциация сохраняется, даже если мы вырежем группу B. Поэтому A и C равны. Тот же процесс рассуждения может быть проведен для любого количества групп.
Точно так же можно продемонстрировать, что если A беднее B, а B беднее C, то A также беднее C. Ибо в ассоциации B с A некоторые члены B остаются по гипотезе, и точно так же некоторые члены C остаются, если ассоциировать C с B. Поэтому в ассоциации C с A остаются не только те члены, которые не могли быть ассоциированы с B, но также те члены C, которые выходят за пределы B. Это суждение может быть расширено на любое количество групп и позволяет расположить ряд различных групп в простой серии, начиная с самой бедной и выбирая каждую следующую так, чтобы она была богаче предыдущей, но беднее следующей. Из только что установленного суждения следует, что каждая группа так расположена по отношению ко всем другим группам, что она богаче всех предыдущих и беднее всех последующих. [3]
В этой дедукции научного суждения или законов простейших видов процесс дедукции и природа результата становятся особенно ясными. Мы приходим к такому суждению путем выполнения операции и выражения результата ее. Это выражение позволяет нам избежать повторения операции в будущем, поскольку в соответствии с законом мы можем указать результат немедленно. Таким образом достигается сокращение и, следовательно, облегчение проблемы, которое тем значительнее, чем больше количество сэкономленных операций.
Если у нас есть ряд равных групп, мы знаем по процессу ассоциации, что все операции по отношению к упорядочению, которые мы можем выполнить с одной из них, могут быть выполнены со всеми другими. Достаточно, следовательно, определить свойства упорядочения одной из этих групп, чтобы знать немедленно свойства всех других. Это чрезвычайно важное суждение, которое постоянно используется для самых различных целей. Всякое говорение, письмо и чтение покоится на ассоциации мыслей со звуками и символами, и, располагая знаки в соответствии с нашими мыслями, мы добиваемся того, что наши слушатели или читатели думают подобные мысли в подобном порядке. Подобным образом мы используем различные системы формул в различных науках, особенно в более простых науках; и эти формулы мы соотносим с явлениями и используем вместо самих явлений и можем поэтому вывести из них определенные характеристики явлений, не будучи вынужденными использовать последние. Сила этого процесса проявляется очень поразительно в астрономии, где, используя определенные формулы, ассоциированные с различными небесными телами, мы можем предсказать будущие положения этих тел с высокой степенью приближения.