Закон исключенного третьего

обобщения, история говорит нам, что существовал первый год нашей эры, а геология убеждает нас, что остров Манхеттен в то время существовал. Нам известно, что снег часто выпадает там зимой. Поэтому мы понимаем P так же, как если бы оно было связано со снегопадом, в отношении которого имеется историческое свидетельство. Теоретически лапласовский Вычислитель мог бы установить погоду прошлых времен так же, как астроном предсказывает затмения. Однако на практике это неосуществимо не только потому, что вычисления были бы слишком сложными, но и потому, что потребовалось бы больше данных, чем возможно собрать. Поэтому мы должны согласиться с тем, что нет никаких свидетельств в пользу истинности или ложности P и что, насколько мы можем видеть, мы никогда не будем их иметь. Мы должны сделать вывод, если «истина» определяется эпистемологически, что P — не истинно и не ложно.

Наше нежелание принять это заключение исходит из нашей упрямой веры в «реальный» мир, независимый от наших ощущений. Мы чувствуем, что могли бы быть на острове в указанное время, и тогда мы бы видели, идет ли снег, и факт нашего восприятия снега никак не повлиял бы на погоду. Мы вполне готовы признать, что очевидец снегопада смотрел нашими глазами так же, как чувство холода испытывалось нашими рецепторами; но мы предполагаем, что эти ощущения имеют внешнюю причину, которой, в соответствии с физикой, оказался снег. И мы убеждены в том, что вся эта картин остается неизменной, знаем мы о ней или нет, за исключением случаев весьма тонких наблюдений в квантовой механике.

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