§ 3. Природа логической импликации
Пытаясь получить полное доказательство суждений, имеющих практическую важность, мы всегда сталкиваемся с двумя актуальными вопросами:
1. Являются ли истинными суждения, выступающие в качестве оснований?
2. Является ли отношение между заключениями и основаниями, или посылками, таким, что первые с необходимостью следуют и, следовательно, могут быть правильно выведены из последних?
Первый вопрос ставит проблему фактического, или материального, характера, и ответ на него не может быть получен только с помощью логики без привлечения всех наук и всего общеизвестного знания. Как отдельная наука, логика исследует только второй вопрос, а именно отношение импликации между суждениями. Таким образом, особая задача логики заключается в изучении условий, при которых одно суждение с необходимостью следует и, следовательно, может быть выведено из одного или более суждений, безотносительно фактической истинности последних. Поскольку ряд суждений нетрудно объединить в единое суждение, то можно сказать, что всякий пример импликации, или логического следования, относится к двум суждениям, которые можно наиболее точно обозначить как условное и имплицируемое [3] , однако, как правило, они называются антецедентом и консеквентом или же посылкой и заключением. При этом следует отметить, что, используя термины «антецедент» и «консеквент» или выражение «логически следует», мы подразумеваем абстрактное отношение, которое, подобно отношению части и целого, непосредственно не указывает ни на какую временную последовательность. Логические следствия некоторого суждения – не явления, следующие за ним во времени, а скорее составные элементы его значения. Иногда наше осознание посылок предшествует осознанию заключения, однако мы зачастую точно так же сначала осознаем заключение и только после этого отыскиваем посылки, из которых оно следует.
Рассмотрим отношение импликации более подробно.
Импликация является особым логическим отношением, которое может существовать либо 1) между ложными суждениями, либо 2) между ложным суждением и истинным, а также 3) может не существовать между истинными суждениями.
1. Рассмотрим следующий аргумент: «Если Спарта была демократией и ни в одной демократии не существует короля, то, следовательно, в Спарте не было короля». Ложность суждения «Спарта была демократией» не мешает ему обладать некоторыми следствиями, равно как и иметь определяющее значение в конкретных логических следованиях.
В обыденной жизни самым распространенным является аргумент, устанавливающий логические следствия для условных суждений, не соответствующих фактам. Если бы не было смерти, то не было бы кладбищ, надгробных речей и т. п. Все наши сожаления опираются на выведение следствий из суждений, в которых утверждается то, что могло бы быть, но чего в действительности не произошло.
Огромное заблуждение считать, как многие легкомысленно и делают, что при рассуждении, которое называется научным, мы исходим только из фактов или истинных суждений. Данное убеждение не учитывает необходимости делать дедуктивный вывод из ложных гипотез. В науке, как и в ситуациях практического выбора, мы постоянно сталкиваемся с альтернативными гипотезами, все из которых не могут быть истинными. Следует ли объяснять феномен горения через выделение вещества, именуемого «флогистоном», или через соединение с веществом, именуемым «кислородом»? Действует ли магнетизм на расстоянии подобно гравитации или же ему, подобно звуку, требуется среда? Как правило, мы делаем выбор между двумя несовместимыми суждениями, выводя следствия из каждого из них и исключая как ложную ту гипотезу, которая приводит к ложным заключениям, т. е. к результатам, не превалирующим в области обозримых фактов. Если бы у ложных гипотез не было логических следствий, мы не смогли бы удостовериться в их ложности.