Введение в логику и научный метод

Таким образом, можно согласиться с тем фактом, что человеку не всегда известно заключение из того или иного аргумента, даже если ему известны посылки, особенно если для выведения заключения требуется провести длинную цепочку умозаключений. Вполне возможно, что если бы дела так не обстояли, то мы бы не прибегали к умозаключениям, а дедукция была бы не нужна. Однако все это не имеет никакого отношения к вопросу об обоснованности умозаключения. Умозаключение может быть обоснованным, даже если заключение вполне известно. Преподавателям геометрии не кажется, что обоснованность доказательства теоремы Пифагора исчезает на том лишь основании, что они точно знают, что последует за каждым из шагов этого доказательства. Если читатель, в отличие от Евклида, «непосредственно видит», что во второй части евклидового утверждения 29 (прямая, пересекающая две параллельные прямые, делает внутренние углы одной и той же стороны равными двум прямым углам) утверждается то же самое, что и в его пятом постулате (если прямая, пересекая две другие прямые, делает внутренние углы одной и той же стороны меньше, чем два прямых угла, то эти две прямые пересекутся именно на этой стороне), то ему не потребуется вырабатывать доказательство для этой теоремы, как это сделал Евклид. Однако, несмотря на это, данная теорема является необходимым следствием допущения.

Вопрос психологической новизны, таким образом, не является вопросом логики. С другой стороны, термин «логическая новизна» должен обозначать логическую независимость того, что именуется «заключением», от того, что считается его посылками. Также ясно и то, что в обоснованном аргументе заключение, вследствие своей зависимости от посылок, не может обладать логической новизной.

2. Теперь нам следует рассмотреть, что имеется в виду, когда утверждается, что заключение «содержится» в посылках. Во-первых, термин «содержаться» связан с пространственной метафорой. Разумеется, никто не имеет в виду, что заключение содержится или присутствует в посылках подобно тому, как в комнате присутствует стол, или даже тому, как в яйце содержится курица. Во-вторых, мы уже отбросили точку зрения, согласно которой заключение психологически или явно присутствует в нашем сознании, когда мы рассматриваем посылки, из которых его выводим. Какое же значение можем мы в таком случае придать утверждению о том, что заключение содержится в посылках? Только следующее: в обоснованном аргументе заключение имплицируется посылками. Парадокс исчезает, если понять, что отношение импликации между суждениями таково, что в случае его замены каким-то другим аналогичным понятием, обладающим некоторыми из его формальных свойств, сразу возникает спутывание.

Дополнительные замечания должны развеять затруднения, которые все еще могут мучить читателя. Суждения имплицируют друг друга, а наши умозаключения являются обоснованными в силу такого объективного отношения, как импликация. Мы можем делать умозаключения, но мы не делаем, а всего лишь открываем импликации. Конечно, логика не детерминирует то, какие именно суждения мы выведем из всех возможных имплицируемых суждений на основе ряда допущений. Это уже зависит от наших внелогических интересов и наших интеллектуальных способностей.

В этой связи также удобно различать конвенциональное значение суждения и суждения, которые этим суждением имплицируются. Разумеется, в определенном смысле данное различие является надуманным, поскольку, после того как мы открываем некоторые из имплицируемых суждений, они становятся частью значения посылок. Так, открыв, что аксиомы Евклида имплицируют, что сумма углов треугольника равняется двум прямым углам, мы зачастую начинаем рассматривать эту теорему как характеризующую всю суть аксиом. Тем не менее, поскольку четкого и окончательного разграничения того, что считается конвенциональным значением суждения и его логическими следствиями не проведено, подобное различие на практике признается. Начинающий изучать геометрию в некоторой степени понимает, что имеется в виду, когда говорится, что через точку, не лежащую на прямой, может быть проведена лишь одна прямая, параллельная данной, даже если он и не знает, какие еще суждения он имплицитно принимает, соглашаясь с данным утверждением. Поэтому договоримся обозначать термином «конвенциональное значение» тот минимальный объем значения, который требуется группе исследователей для того, чтобы указывать на одно и то же суждение. Таким образом, конвенциональное значение суждения «все люди смертны» может заключаться в том, что класс людей принадлежит классу смертных. В таком случае значение суждения «все бессмертные являются не-людьми» не представляет часть конвенционального значения исходного суждения, а является значением имплицируемого им суждения.