Предположим, нам известно, что суждение «если имеет место полное затмение Солнца, то на улицах становится темно» является истинным. Можем ли мы в этом случае для суждения «имеет место полное затмение Солнца» предложить в качестве окончательного основания суждение «на улицах стало темно»? Если бы мы так сделали, то получившееся в результате умозаключение было бы ошибочным. В условном суждении утверждается только то, что если антецедент истинен, то консеквент должен быть истинным; в нем не утверждается того, что консеквент может быть истинен только в том случае, если истинен антецедент. Так, наряду с моментами полного затмения на улицах также бывает темно по ночам или в облачные дни. Следовательно, будет ошибкой утверждать истинность консеквента и выводить из нее истинность антецедента. Ниже мы еще не раз привлечем внимание читателя к этой ошибке. Ее иногда совершают видные ученые, не проводящие различия между необходимым и вероятностным выводом или не учитывающие отличия между доказательством истинности суждения и ее верификацией. Примером тому является следующее утверждение: если теория органической эволюции истинна, то мы должны найти окаменелые останки вымерших видов животных. Однако обнаружение подобных останков не является доказательством истинности данной теории или ее окончательным основанием.
Утверждать истинность консеквента условного суждения, таким образом, ошибочно. Однако отрицание истинности консеквента может дать нам обоснованное заключение. К примеру, мы хотели бы знать, виновен ли Том Муни в закладывании взрывного устройства во время празднования парада по случаю Дня готовности (Preparedness day) в 1916 году в Сан-Франциско. Изучив природу этого устройства, мы можем сформулировать следующее суждение: «если Муни виновен, то он находился на углу улицы за десять минут до взрыва». Однако предположим, что у Муни есть алиби, и он может доказать, что за пятнадцать минут до взрыва находился в миле от места взрыва на улице, которая при этом была непроходимой. В таком случае нам придется отрицать консеквент условного суждения, а это отрицание, в свою очередь, обязывает если не политиков, то, по крайней мере, всех, кто изучает логику, отрицать и антецедент. Это происходит потому, что в условном суждении утверждается неверность того, что антецедент может быть истинным, а консеквент одновременно с этим ложным.
Суждение, противоречащее антецеденту, в действительности, является подчиненным конъюнктивному суждению «если Муни виновен, то он был на месте взрыва за десять минут до самого взрыва» и «он не был на месте взрыва за десять минут до самого взрыва». Если мы будем утверждать истинность этого подчиняющего суждения, то нам также придется утверждать и истинность подчиненного суждения, поскольку подчиняющее суждение имплицирует