Читатель, без сомнения, обратит внимание на то, что при любой формулировке ни в одном из принципов ничего не утверждается о чьем бы то ни было мышлении. Во второй формулировке, которую мы будем рассматривать как имеющую непосредственное отношение к логике, в так называемых «законах мышления» нечто утверждается только о суждениях. В принципе противоречия, например, не утверждается, что мы не способны подумать о том, что суждение может одновременно быть истинным и ложным. Если бы в нем утверждалось нечто подобное, то он, скорее всего, был бы ложным, и подтверждалось бы это тем фактом, что люди часто верят в противоречащие друг другу суждения. К сожалению, нет никакой психологической невозможности в том, чтобы мыслить спутанно и непоследовательно. Если же данные принципы выражают законы логики, то нам следует признать и то, что человеческое мышление не является предметной областью логики. С другой стороны, если изменить исходную формулировку и сказать, что законы мышления относятся не к человеческому мышлению как временному процессу, а к условиям обоснованного мышления, то вердикт останется тем же самым. Условия обоснованного (правильного) мышления сами по себе не являются мыслями. Как читатель уже знает, логика изучает отношения между наборами суждений, в силу которых возможная истинность или ложность одного набора суждений налагает определенные ограничения на возможную истинность или ложность другого набора суждений.
Однако после нашего долгого обсуждения многих принципов логики также должно стать ясным и то, что, поскольку в этих трех «законах мышления» формулируются существенные логические свойства суждений, они не представляют окончательной формулировки логических принципов. Такие принципы, как законы силлогизма, законы тавтологии, упрощения, поглощения, а также другие принципы, рассмотренные нами в главе VI, также обладают равными правами по сравнению с традиционными тремя на то, чтобы принадлежать к основаниям логики. Видимо, можно было бы предположить, что все остальные логические принципы могут быть получены из этих трех путем проведения цепочки логических шагов. Такое предположение, однако, будет ошибочным. Так называемые законы мышления не являются достаточным базисом, из которого можно было бы вывести все остальные логические принципы.
Также ошибочно полагать, что любой из этих трех «законов» может быть логически выведен из других без допущения его самого в ходе рассуждения. Мы не можем позволить себе погружаться глубже в обсуждение данных вопросов. Даже если другие принципы логики можно было бы вывести из трех традиционных принципов, это не сделало бы их более важными или более достоверными, чем остальные принципы.
Значимость трех «законов правильного мышления» может быть лучше проявлена, если мы рассмотрим выдвинутые против них три критических аргумента.
1. Универсальная истинность принципа тождества отвергалась на том основании, что некоторое суждение может быть истинным в одно время и ложным в другое. Так, к примеру, можно сказать, что суждение «солнце светит» сегодня может быть истинным, а завтра или даже чуть позже сегодня – ложным. Данное возражение, однако, возникает в результате спутывания. Выражение «солнце светит» полностью не проявляет того суждения, истинностное значение которого подвергается рассмотрению. В данном выражении имплицитно присутствует указание на время и место; оно не проговаривается, поскольку понимается как само собой разумеющееся. При этом оно является существенным для рассматриваемого суждения. Следовательно, в том виде, в котором данное выражение представлено, оно является пропозициональной функцией (а не суждением), обладающей формой «солнце светит в (месте) х во (время) у». Если мы предоставим соответствующее предметное значение, подобно тому как это сделано в выражении «солнце светит в Нью-Йорке 1 января 1932 года», то данное суждение не может быть истинным в один день и ложным в другой. Следовательно, нам нужно отличать время и место в самом предикате (т. е. указание на время и место в самом суждении) от времени и места предикации (т. е. времени и места оценки истинностного значения суждения). Истинность или ложность суждения является независимой от времени и места предикации, поэтому выражение «единожды истинно – всегда истинно, единожды ложно – всегда ложно» применимо к суждению.