Логика и физика

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

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

Никакое лингвистическое намерение или стремление думать иначе не способно повлиять на истины, открываемые или выводимые в таких областях, как теория простых чисел. И это распространяется на все виды строго логического вывода.

Логика и метафизика знания

Главная цель логики – получить систематический способ различения обоснованных видов умозаключений и необоснованных. Однако исследователи логики не ограничивались только этой задачей. Со времен Локка они особенно часто вдавались в спекулятивные дискуссии относительно общей природы знания и операций, с помощью которых человеческое сознание постигает истину в отношении внешнего мира. Мы попытаемся избегать подобных тем не потому, что они неинтересны или неважны, а поскольку они не являются необходимыми для решения каких‑либо строго логических задач. Ответы на вопросы, которые ставят дисциплины, носящие такие названия, как метафизика, рациональная психология или эпистемология, по всеобщему признанию являются слишком неопределенными или слишком сомнительными, чтобы служить базисом для науки о доказательстве или демонстрации. При этом нам бы хотелось избавиться от одного из таких вопросов, который, быть может, беспокоит читателя: как могут ложные суждения, или суждения о несуществующих объектах, иметь импликации, являющиеся объективно необходимыми?

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