Человеческое познание его сферы и границы

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

По поводу нашего определения «значения» и «истины» можно высказать одно важное соображение, а именно то, что и то и другое зависит от понимания понятия «причины», которое, согласно современной физике, могло бы показаться грубым и только частично применимым к естественным процессам. Если мы согласимся с этим, то должны заключить, что все дефекты, свойственные устаревшему понятию «причины», свойственны также и понятиям «значение» и «истина», как мы их истолковали. Я не думаю, однако, что это очень серьезное возражение. Оба понятия, по другим основаниям, необходимо являются до некоторой степени неопределенными и неточными, и эти другие основания гораздо больше препятствуют их точности, чем современная физика. Хотя такие предложения, как «Молния является причиной грома», «Микроорганизмы являются причиной лихорадочного состояния», «Ранения причиняют боль», и не имеют той определенности, которая раньше приписывалась им, и даже если (на каком основании — будет ясно из дальнейшего) «причина» является (во что я не верю) только наспех и кое-как сделанным понятием, принадлежащим определенной ступени развития науки, а не основополагающей категорией, как было принято думать, тем не менее такие предложения в удобной форме выражают истины об обычном, хотя и не неизменном ходе природы и в силу этого являются все ещё полезными, за исключением тех областей знания, где, как в квантовой физике, прилагаются особые старания к отысканию предельной точности, несмотря на то, что эта точность вследствие её сложности ведет к её бесполезности для целей научного предвидения. Если бы физики могли точно рассчитывать поведение человека, у нас не было бы нужды в таких понятиях, как «значение», «вера» и «истина». Но пока этого нет, они остаются полезными и до известной степени могут быть очищены от двусмысленности и неопределенности. Было бы бесполезно идти в этом их очищении дальше этой достижимой степени, если «причина» действительно не является основополагающим понятием науки. Но если, как я считаю, понятие «причины» неустранимо, тогда вышеприведенные соображения не возникают или, во всяком случае, возникают только в ограниченной форме.

ГЛАВА 9 ЛОГИЧЕСКИЕ СЛОВА И ЛОЖЬ

В предшествующей главе мы имели дело с истиной нашей веры и наших предложений в случаях, когда это зависит только от наблюдений, а не от выводов из прежде полученного знания. В этой главе мы должны начать исследование предложений тех видов, которые могут быть доказаны или опровергнуты, когда известны соответствующие данные, полученные из наблюдений. Когда речь идет о таких предложениях, мы больше не должны рассматривать отношение веры или предложений к чему-то, что не является в общем ни верой, ни предложением; вместо этого мы должны рассмотреть только синтаксические отношения между предложениями, в силу которых достоверная или вероятная истина или ложь определенного предложения вытекает из истины или лжи определенных других предложений.

В таких выводах имеются определенные слова, из которых одно или больше всегда принимают участие в выводе и которые я буду называть «логическими» словами. Эти слова бывают двух видов, которые могут быть названы соответственно «союзами» и «общими словами», хотя и не совсем в обычном грамматическом смысле. Примерами союзов являются: «не», «или», «если — то». Примерами общих слов служат: «все» и «некоторые» (почему «некоторые» называется «общим» словом, будет ясно из дальнейшего).