То, что суждение обладает определенными логическими следствиями, даже если оно ложно, следует также из того обстоятельства, что данные логические следствия, или импликации, являются частью его значения. А значение суждения нам необходимо знать прежде, чем мы сможем определить истинность суждения. Однако в любом случае (независимо от истинности или ложности суждения) установление существования логической импликации между двумя суждениями исключает возможность ложности второго суждения при истинности первого.
2. Существует широко распространенное мнение о том, что ложные посылки должны логически вести к ложным суждениям. Это серьезная ошибка, происходящая, вероятно, из неправильного понимания истинного принципа о том, что если следствия ложны, то посылки должны быть ложными. Однако в том, что истинные следствия могут имплицироваться, или логически следовать, из ложных посылок, можно легко убедиться на следующих примерах.
Если все мексиканцы являются гражданами Соединенных Штатов и все жители штата Виргиния являются мексиканцами, то логически следует, что все жители Виргинии являются гражданами Соединенных Штатов. Если все дельфины являются рыбами и все рыбы являются водными позвоночными, то с необходимостью следует, что все дельфины являются водными позвоночными животными. (Это же заключение следует из посылок, что все дельфины являются моллюсками и все моллюски являются водными позвоночными животными.) Повторим еще раз: отношение между антецедентами и консеквентами исключает возможность того, чтобы первые были истинными, а вторые в то же самое время – ложными.
Разумеется, если посылка является ложной, то истинность заключения не является доказанной, даже несмотря на то, что заключение следует из посылки. Крайне важно понимать и то, что суждение не является с необходимостью ложным или что его ложность является доказанной, в силу того что аргумент в пользу этого суждения основывается на лжи. Может случиться так, что в пользу хорошего следствия были предложены плохие причины.
3. Мы уже смогли убедиться в том, что суждение «в Нью-Йорке существует пять тысяч парикмахерских», даже если оно и истинно, является неуместным в случае с суждением «в городе Нью-Йорке есть, по крайней мере, два человека с одинаковым количеством волос на голове» и не может его доказать, или логически имплицировать. Рассмотрим, однако, пример, в котором отсутствие логической связи, или импликации, пожалуй, не столь очевидно. Так ли, что суждение «Идеальные существа могут жить вместе без закона, и люди не являются идеальными существами» имплицирует суждение «Люди не могут жить без закона»? Поразмыслив, можно убедиться, что ничто в посылке не исключает возможности того, что могут быть люди, которые, хоть и являются неидеальными, тем не менее, живут вместе без закона. С другой стороны, мы, быть может, смогли бы доказать, что наше заключение истинно, при том что приведенное здесь основание является недостаточным. Необходимая связь между основанием и тем, что нужно доказать, показана не была.
То обстоятельство, что связанные с суждением логические импликации остаются неизменными, независимо от того, оказалось ли это суждение истинным или ложным, а также то, что обоснованность таких импликаций устанавливается через невозможность истинности посылок при ложности следствий, тесным образом связано с так называемой формальной природой логики.
Что же мы имеем в виду под словом «формальная»? Читателю, без сомнения, приходилось при определенных обстоятельствах заполнять какие-нибудь официальные бланки, например, заявление при поступлении на новую должность, договор об аренде, платежное поручение или декларацию о подоходном налоге. Очевидно, что во всех этих случаях незаполненный бланк сам по себе не является заявлением, договором, поручением или декларацией. Однако каждый такой документ составлен в соответствии со структурой и условиями, приведенными в незаполненном бланке. Последний олицетворяет упорядоченность или фиксированную форму, которой должны обладать все подобные документы, для того чтобы считаться действительными. Вообще форма – это то, в чем согласуются несколько объектов или операций (являющихся различными в других отношениях). Объекты могут быть разными, но форма остается той же самой. Так, формальной называется любая общественная церемония или действие, которое различные индивиды должны выполнять одним и тем же способом, если они занимают одну и ту же должность или пост. Логическая импликация также является формальной в том смысле, что она имеет силу для всех суждений, безотносительно того, насколько они разные, при условии, что они находятся друг к другу в определенном отношении. Рассмотрим одно из вышеприведенных доказательств: «Браун является несовершеннолетним; ни один несовершеннолетний не может голосовать; следовательно, Браун не может голосовать». Здесь импликация не зависит ни от какой особенности Брауна, кроме той, что он в действительности является несовершеннолетним. Если вместо Брауна подставить любого другого человека, то импликация все равно останется обоснованной. Данную истину мы можем обозначить в следующей записи: «X является несовершеннолетним, ни один несовершеннолетний не может голосовать, следовательно, X не может голосовать». Здесь X обозначает любого представителя из множества любой величины. Можно заметить, что и слово «несовершеннолетний» может быть заменено любым другим термином, например, таким, как «осужденный преступник» или «иностранец», без нарушения обоснованности аргумента. Таким образом, аргумент «Если X является Y, и ни один Y не может голосовать, то X не может голосовать» сохраняется безотносительно того, что мы подставим вместо У. Теперь мы можем осуществить третий шаг и убедиться не только в том, что логическая импликация не зависит от объектов, обозначаемых как X и У, но и в том, что термин «не может голосовать» также может быть заменен на что угодно (при условии, что это что-то в посылках и заключении будет одним и тем же). Таким образом, мы получаем формулу: «Если X является Y, и все Y являются Z [5] , то X является Z», которая является истинной, независимо от того, что обозначают X, Y и Z. С другой стороны, было бы ошибкой утверждать, что из суждения «Все парижане – европейцы, и все парижане – французы» следует суждение «Все парижане – французы». Дело в том, что если в общей форме данного аргумента («Все X являются У\' и все Z являются Y, следовательно, все X являются Z») мы вместо слова «парижане» подставим слово «бельгийцы», то получим аргумент, в котором посылки будут истинными, а заключение – ложным. Сходным образом мы можем утверждать импликацию «если Сократ старше Демокрита, и Демокрит старше Протагора, то Сократ старше Протагора». Истинность данной импликации будет сохраняться, независимо от того, какие люди будут подставлены вместо этих трех, с учетом того, что мы сохраним форму «X является старше Y, и Y является старше Z, следовательно, X старше Z». С другой же стороны, из суждения «А находится справа от В, и В находится справа от С» с необходимостью не следует «А находится справа от С». Если три человека сели в круг, можно сказать, что А находится слева от С, даже если он находится справа от Б, а Б, в свою очередь, справа от С. Предметом логики является исследование более точных правил для отличия обоснованных форм аргумента от необоснованных. На данном этапе следует отметить, что правильность любого утверждения импликации между суждениями зависит от их формы или структуры. Любая форма аргумента, допускающая подстановки истинных посылок одновременно с ложными заключениями, является необоснованной, и утверждение импликации в таком случае будет неверным.