Данный вид умозаключения очень распространен не только в практических ситуациях, но и в современных естественных науках, примером чему может послужить следующая иллюстрация. Различные вещества, такие как кислород, медь, хлор, сера, водород, сочетаются с каким-либо другим веществом в соответствии с фиксированным соотношением между их атомным весом и атомным весом этого вещества. И когда определенное количество одного вещества, скажем хлора, сочетается с различными количествами другого вещества, например кислорода, то в получаемых соединениях хлор присутствует в пропорциях, являющихся целым кратным единице. (Это – наблюдаемое событие.) Мы также знаем, что если каждое из этих веществ состояло бы из сходных атомов, или механически неразложимых частиц, то эти вещества сочетались бы в пропорциях, являющихся целым кратным единице. (Это – общее правило.) Далее мы заключаем, что эти вещества состоят из атомов. (Это – выведенный факт.) С точки зрения необходимой импликации данное умозаключение является необоснованным, ибо возможно, что наблюдаемые факты могут быть следствием совершенно иной общей причины, отличной от предполагаемого атомного строения вещества. Однако наше основание обладает очень высокой степенью правдоподобности, поскольку мы использовали общее суждение («вещество обладает атомной структурой») как посылку, из которой вывели множество различных следствий, которые, в свою очередь, были признаны истинными в экспериментах и при непосредственном наблюдении, а также оказались несовместимыми с другими известными посылками.

Основания такого же характера используются в таких обыденных обобщениях, как то, что хлеб утоляет голод и что если отправиться куда-либо пешком или на каком-либо транспорте, то можно достигнуть пункта назначения. Подобные обобщения не являются универсально истинными. К сожалению, случаются и несчастные случаи. Хлеб может нам не подойти, а тот, кто направляется домой, может в итоге оказаться в больнице или морге. На самом деле мы всю жизнь зависим от наиболее правдоподобных обобщений. Если наш знакомый вдруг откажется ступать на деревянный или бетонный пол на том основании, что не было предоставлено абсолютного доказательства того, что этот пол не разрушится или не взорвется, мы усомнимся в его рассудке. Однако то, что наши обобщения будут подверженными ошибкам и лишь вероятностными до тех пор, пока мы не достигнем всеведения и не будем знать всего будущего, является неопровержимо истинным. И история человеческих заблуждений показывает, что всеобщее согласие и преобладающее чувство уверенности не устраняют возможности того, что в будущем окажется, что мы заблуждались.

Несмотря на то, что смешение физического объекта, нашей «идеи» или образа этого объекта и слова, которым он обозначается, кажется невозможным, данные различия отнюдь не являются ясными, когда речь идет о комплексах, состоящих из этих элементов, таких как, например, форма правления или литература отдельно взятой страны. Поскольку логика как исследование импликации суждений непосредственно не связана с физическим или историческим фактом, мнение, что она имеет дело исключительно со словами, может возникнуть совершенно естественно. Этимология слова «логика» (так же, как и слова «логомахия») также предлагает довод в поддержку этого мнения. Великий английский философ Гоббс говорит, что логика и рассуждение «есть не что иное, как подсчитывание (т. е. складывание и вычитание) связей общих имен»[6]. Однако мы не должны спутывать тот факт, что слова и определенного рода символы необходимы для логики (как и для всякой современной науки), с утверждением о том, что обоснованное рассуждение – это не что иное, кроме как следствие акта именования. Мы можем поменять имена вещей, как это происходит при переводе из одного языка в другой, не влияя на логические связи между объектами нашего рассуждения. Обоснованность нашего рассуждения зависит от того, насколько согласованно мы используем наш язык, а эта согласованность означает, что наши слова должны точно следовать порядку и связям между обозначаемыми ими объектами. Логика, как физика и любая другая наука, исходит из общепринятого социального факта, обычно отмечаемого лексикографами и заключающегося в том, что определенные слова обладают определенными значениями, т. е что они обозначают определенные вещи, отношения или операции. Однако знание такого употребления слов в английском языке или в любом другом языке не позволит нам решить все вопросы, связанные с адекватностью оснований. Например, обоснованность доказательства Эрмита и Линдемана о том, что п (отношение длины окружности к диаметру) не может быть точно выражено рациональными числами в конечной форме.

Несмотря на то что предмет логики не может сводиться к словам или даже значениям слов, отличаемым от значения или импликации суждений, логика все же тесно связана с общей грамматикой, и в работах таких философов, как Аристотель, Дунс Скот и Ч. С. Пирс, не всегда легко четко провести линию между грамматикой и логикой. Мы уже сказали, что логика исходит из рассмотрения слов, как обладающих значением, и ниже мы увидим, как четкое различение значений слов способствует избеганию логических заблуждений. Следует, однако, добавить, что в общем исследовании значения слов (именуемом «семантикой») мы зависим от логики. Передаваемая словами информация как в логическом, так и в психологическом плане зависит от суждений или информации, передаваемой в предложениях.

Пожалуй, наиболее значимое различие между логикой и той частью лингвистики, которая именуется грамматикой, можно сформулировать следующим образом: норма или корректность, с которой имеет дело грамматика, заключается в согласованности с определенным реальным употреблением, тогда как норма или корректность логики базируется на возможностях, присутствующих в природе вещей, которые являются объектами нашей речи. Грамматика является главным образом дескриптивной социальной наукой, описывающей в систематическом виде способы употребления слов разными народами. Ее нормативный характер является случайным, подобно нормативному характеру, присущему описанию стилей одежды. Определенные стили употребления языка (английский язык королей[7] или язык шафера, произносящего речь на свадьбе) считаются предпочтительными. Многим различиям в лингвистических формах может не соответствовать никакое различие в значении. Примером тому является различие между отделительным и дательным падежами в латыни или же различия между такими словами, как «proved» и «proven», «got» и «gotten», в английском языке. Однако поскольку язык иногда используется для передачи важной информации, равно как и для выражения эмоций, грамматисты не могут игнорировать логические различия. Поскольку обыденный опыт не требует большой точности и тонкой проницательности в понимании природы вещей, обыденный язык не является точным. Логика же необходима для того, чтобы исправить эту туманность и двусмысленность.

Несмотря на то что слова являются одним из наиболее важных объектов для исследования, в целом нельзя сказать, что во всех суждениях речь идет о словах. В большинстве суждений подразумеваются объекты, такие как Солнце и звезды, Земля и ее составные части, наши собратья и их занятия и т. п., и импликация между суждениями, являющаяся предметом изучения логики, имеет дело с возможными отношениями между такими объектами. Логика критически рассматривает слова лишь как необходимые инструменты в наших утверждениях и выражениях, с тем чтобы указывать на их точную функцию и определять ошибки в умозаключениях.

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