Моррис Коэн - Введение в логику и научный метод

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

Как и любая другая наука, логика нацелена на достижение истины в своей конкретной сфере и в малой степени связана с ценностью этих истин или возможностями их применения. Логически последовательным может быть и злодей. Однако правильное умозаключение является столь важной и неотъемлемой частью процесса постижения истины (процесса, который в своей развитой форме именуется нами научным методом), что исследование того, каким образом логика присутствует в этом процессе, является естественным расширением нашей науки, точно так же как сфера чистой математики расширяется и развивается посредством ее практического применения. Данная тема будет подробно исследована во второй книге настоящего тома. На данном этапе мы, тем не менее, можем указать некоторые способы, с помощью которых формальная, дедуктивная логика помогает приходить к истинным суждениям.

1. Не секрет, что непосредственное определение истинности конкретного суждения зачастую представляется сложной или даже невыполнимой задачей. Однако при этом бывает довольно просто установить истинность другого суждения, из которого может быть выведено суждение, интересующее нас. Мы уже говорили о том, насколько сложно было бы показать посредством пересчета, что в Нью-Йорке существует как минимум два человека с одинаковым количеством волос на голове. Однако довольно легко показать, что число жителей Нью-Йорка превышает максимальное число волос на голове человека. Основываясь на исследованиях физиологии волосяного фолликула, а также отдельных примерах волосяного покрова на голове людей, мы можем установить, что на один квадратный сантиметр может насчитываться не более пяти тысяч волос. Антропологические измерения человеческого черепа позволяют заключить, что его максимальная площадь существенно меньше тысячи квадратных сантиметров. Следовательно, мы можем сделать заключение о том, что человек не может обладать более чем пятью миллионами волос на голове. На основании предыдущей демонстрации следует, что в указанном городе должно существовать как минимум два индивида с одинаковым количеством волос на голове.

2. Многие из наших верований сформировались в соответствии с отдельными проблемами. Поэтому мы нередко с удивлением обнаруживаем, что они несовместимы друг с другом. Однако дедуктивное исследование их общих отношений может проявить существующие между ними взаимосвязи и тем самым привести их к согласию. Так, именно с помощью дедуктивного рассуждения обнаруживается несовместимость между такими суждениями, как: «нельзя верить тем, кто не держит слова», «любители вина очень общительны», «человек, держащий слово, является честным», «среди трезвенников нет ростовщиков», «все общительные люди заслуживают доверия», «некоторые ростовщики бесчестны».

3. Дедуктивное рассуждение позволяет понять, к чему нас обязывает принятие тех или иных суждений. Так, если мы принимаем суждение, согласно которому две прямые линии не могут заключать пространства, а также ряд других суждений геометрии, то, как мы вскоре обнаружим, нам также придется принять и суждение о том, что сумма углов любого треугольника не может быть больше суммы двух прямых углов. Полное значение того, во что мы верим, обнаруживается нами при дедуктивном исследовании связей между различными суждениями, которых мы придерживаемся. Суждения, которые мы склонны принимать безусловно, могут обладать неожиданными для нас импликациями, которые заставят нас модифицировать наше поспешное принятие данных суждений в качестве посылок.

Указывая на данные способы использования дедуктивного умозаключения, мы не отрицаем того, что люди могут с успехом использовать их и без предварительного изучения теоретической логики, что они и делают точно так же, как и обучаются ходить без предварительного изучения физиологии. Однако изучение физиологии, безусловно, полезно при составлении методики по подготовке легкоатлетов. Любой профессиональный электрик может починить электрическую проводку, но при этом мы считаем, что инженеру, который имеет дело с новыми сложными проблемами, связанными с электричеством, необходимо обладать знаниями в теоретической физике. Теоретическая наука является основой любой рациональной методики. Точно так же и логика, как наука о видах умозаключений и связанных с ними ограничениях, позволяет формулировать и частично механизировать процессы, используемые в успешном исследовании. Реальное достижение истины, разумеется, зависит от способностей и навыков конкретного исследователя, однако тщательное изучение принципов логики помогает вырабатывать и совершенствовать методы отыскания и оценки оснований.