Основания такого же характера используются в таких обыденных обобщениях, как то, что хлеб утоляет голод и что если отправиться куда-либо пешком или на каком-либо транспорте, то можно достигнуть пункта назначения. Подобные обобщения не являются универсально истинными. К сожалению, случаются и несчастные случаи. Хлеб может нам не подойти, а тот, кто направляется домой, может в итоге оказаться в больнице или морге. На самом деле мы всю жизнь зависим от наиболее правдоподобных обобщений. Если наш знакомый вдруг откажется ступать на деревянный или бетонный пол на том основании, что не было предоставлено абсолютного доказательства того, что этот пол не разрушится или не взорвется, мы усомнимся в его рассудке. Однако то, что наши обобщения будут подверженными ошибкам и лишь вероятностными до тех пор, пока мы не достигнем всеведения и не будем знать всего будущего, является неопровержимо истинным. И история человеческих заблуждений показывает, что всеобщее согласие и преобладающее чувство уверенности не устраняют возможности того, что в будущем окажется, что мы заблуждались.
§ 5. С чем имеет дело логика: словами, мыслями или объектами?
Несмотря на то, что смешение физического объекта, нашей «идеи» или образа этого объекта и слова, которым он обозначается, кажется невозможным, данные различия отнюдь не являются ясными, когда речь идет о комплексах, состоящих из этих элементов, таких как, например, форма правления или литература отдельно взятой страны. Поскольку логика как исследование импликации суждений непосредственно не связана с физическим или историческим фактом, мнение, что она имеет дело исключительно со словами, может возникнуть совершенно естественно. Этимология слова «логика» (так же, как и слова «логомахия») также предлагает довод в поддержку этого мнения. Великий английский философ Гоббс говорит, что логика и рассуждение «есть не что иное, как подсчитывание (т. е. складывание и вычитание) связей общих имен» [6] . Однако мы не должны спутывать тот факт, что слова и определенного рода символы необходимы для логики (как и для всякой современной науки), с утверждением о том, что обоснованное рассуждение – это не что иное, кроме как следствие акта именования. Мы можем поменять имена вещей, как это происходит при переводе из одного языка в другой, не влияя на логические связи между объектами нашего рассуждения. Обоснованность нашего рассуждения зависит от того, насколько согласованно мы используем наш язык, а эта согласованность означает, что наши слова должны точно следовать порядку и связям между обозначаемыми ими объектами. Логика, как физика и любая другая наука, исходит из общепринятого социального факта, обычно отмечаемого лексикографами и заключающегося в том, что определенные слова обладают определенными значениями, т. е что они обозначают определенные вещи, отношения или операции. Однако знание такого употребления слов в английском языке или в любом другом языке не позволит нам решить все вопросы, связанные с адекватностью оснований. Например, обоснованность доказательства Эрмита и Линдемана о том, что п (отношение длины окружности к диаметру) не может быть точно выражено рациональными числами в конечной форме.
Несмотря на то что предмет логики не может сводиться к словам или даже значениям слов, отличаемым от значения или импликации суждений, логика все же тесно связана с общей грамматикой, и в работах таких философов, как Аристотель, Дунс Скот и Ч. С. Пирс, не всегда легко четко провести линию между грамматикой и логикой. Мы уже сказали, что логика исходит из рассмотрения слов, как обладающих значением, и ниже мы увидим, как четкое различение значений слов способствует избеганию логических заблуждений. Следует, однако, добавить, что в общем исследовании значения слов (именуемом «семантикой») мы зависим от логики. Передаваемая словами информация как в логическом, так и в психологическом плане зависит от суждений или информации, передаваемой в предложениях.