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