Этот кажущийся парадокс происходит из наивного предположения о том, что только существующие вещи имеют определенный и объективный характер. Довольно несложно заметить, что мир науки, т. е. мир, в отношении которого имеется истинное знание, не может сводиться только к действительно существующим объектам и должен включать в себя все их возможные функции и сочетания. Рассмотрим такие элементарные суждения, как «углерод горит», «лед тает при 0 °C», «металлы проводят тепло и электричество», и т. п. Во всех этих суждениях говорится о классах или видах возможностей таких в идеальном смысле непрерывных или рекуррентных веществ, которые мы называем «углеродом», «льдом» или «металлом». В действительности наличествует лишь одна из неопределенного числа возможностей. Действительность является мгновением перехода от прошлого, которого уже нет, к будущему, которого еще нет. Можно сказать, что логика отбрасывает то, что является совершенно невозможным, и тем самым детерминирует область того, что при отсутствии соответствующего эмпирического знания является в абстрактном смысле возможным. История и науки о том, что существует в природе, отбрасывают некоторые из возможных суждений как ложные, например, такие, как те, в которых утверждается, что существуют свободные от трения двигатели, свободные тела, совершенно негибкие рычаги и т. д. Эти суждения отбрасываются, поскольку они несовместимы с суждениями, которые мы считаем истинными в отношении реального мира. Но реальный мир в каждый момент времени является лишь одним из числа возможных сочетаний вещей. Суждение, ложность которого доказана при одном наборе допущений, может оказаться истинным при другом. Таким образом, логические отношения сами по себе не достаточны для детерминации того, что существует в действительности, но они присутствуют при детерминации любого из возможных сочетаний вещей. Существенные свойства, детерминирующие ценность 100 долларов, остаются одними и теми же, независимо от того, есть у нас эта сумма или нет.
§ 6. Применение логики
Как и любая другая наука, логика нацелена на достижение истины в своей конкретной сфере и в малой степени связана с ценностью этих истин или возможностями их применения. Логически последовательным может быть и злодей. Однако правильное умозаключение является столь важной и неотъемлемой частью процесса постижения истины (процесса, который в своей развитой форме именуется нами научным методом), что исследование того, каким образом логика присутствует в этом процессе, является естественным расширением нашей науки, точно так же как сфера чистой математики расширяется и развивается посредством ее практического применения. Данная тема будет подробно исследована во второй книге настоящего тома. На данном этапе мы, тем не менее, можем указать некоторые способы, с помощью которых формальная, дедуктивная логика помогает приходить к истинным суждениям.
1. Не секрет, что непосредственное определение истинности конкретного суждения зачастую представляется сложной или даже невыполнимой задачей. Однако при этом бывает довольно просто установить истинность другого суждения, из которого может быть выведено суждение, интересующее нас. Мы уже говорили о том, насколько сложно было бы показать посредством пересчета, что в Нью-Йорке существует как минимум два человека с одинаковым количеством волос на голове. Однако довольно легко показать, что число жителей Нью-Йорка превышает максимальное число волос на голове человека. Основываясь на исследованиях физиологии волосяного фолликула, а также отдельных примерах волосяного покрова на голове людей, мы можем установить, что на один квадратный сантиметр может насчитываться не более пяти тысяч волос. Антропологические измерения человеческого черепа позволяют заключить, что его максимальная площадь существенно меньше тысячи квадратных сантиметров. Следовательно, мы можем сделать заключение о том, что человек не может обладать более чем пятью миллионами волос на голове. На основании предыдущей демонстрации следует, что в указанном городе должно существовать как минимум два индивида с одинаковым количеством волос на голове.