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