Чтобы опровергнуть когерентную теорию истины, нужен класс утверждений, которые могут быть истинными и ложными, но для которых истина не может состоять в когерентности. Чтобы опровергнуть когерентную теорию обоснования, нужен класс утверждений, которые обосновывают сами себя или не требуют никакого обоснования. Шлик считает, что можно совместить эти требования, потому что в поисках класса утверждений, которые обосновывают сами себя, он обнаруживает класс таких утверждений, что, если они вообще сделаны, то они предназначены быть также и истинными.
Однако здесь появляется дилемма: являются ли утверждения наблюдения подлинными сообщениями о некоторых состояниях дел или нет? Если да, то они всегда могут быть ошибочными, причем двумя способами.
Если они выражены словами, то всегда возможно, что говорящий – по забывчивости или оговорившись – использует неправильное слово.
Такие утверждения могут быть рассмотрены как утверждения личного перцептуального опыта, которые могут быть выражены словами – таким способом, что некто может сделать утверждение, что p, даже при том, что он выберет для этого неправильные слова или у него не будет хватать слов, чтобы выразить это. Однако здесь все еще будет сохраняться логическая возможность того, что утверждение не будет соответствовать тому, что оно предназначено описывать, а следовательно, оно будет ложным.
Поскольку утверждения наблюдения могут не быть истинными, постольку здесь еще нет аргумента против когерентной теории истины: их истина вполне может состоять в когерентности в пределах системы наших полаганий. Если же предъявить к утверждениям наблюдения требование самообоснования, то оно было бы направлено только против когерентной теории обоснования, а не против когерентной теории истины.
Однако возможно, что утверждения наблюдения могут не быть подлинными сообщениями о состояниях дел. Шлик сравнивает их с аналитическими утверждениями и выдвигает требование, что логически невозможно искренне согласиться с ложным утверждением наблюдения, если употребленные слова не истолкованы неправильно555. Согласно этому представлению, утверждение наблюдения, выраженное в словах, может быть ошибочным, потому что мы могли ошибиться в значениях слов, но то, что эти слова выражают, не может быть ошибочным, потому что истина этого утверждения состоит не более чем в том, что оно является предметом полагания. Можно предположить, что приписывание нашим ощущениям некоторых внутренних характеристик снимет здесь возможность ошибки, потому что мы знаем ощущения как обладающие этими признаками. Но это все же едва ли позволит нам установить, что истина состоит скорее в корреспонденции, чем в когерентности; я вовсе не обязательно буду непогрешимо прав относительно некоторого объекта, доступного для моего наблюдения. Я просто знаю свое ощущение в данный момент как ощущение красного цвета, и это – все, что я об этом знаю; нет никакого дальнейшего факта относительно того, чему мое ощущение действительно подобно – того, чему мое понимание может соответствовать или не соответствовать. Согласно подобным представлениям, утверждения наблюдения имеют вид «Мне кажется в данный момент, что я вижу то-то и то-то», и это не колебание в требовании относительно того, каким способом вещи существуют в действительности, а адекватное выражение моего теперешнего полагания. Для того, чтобы это утверждение было истинным, оно должно (и ему достаточно) быть полагаемым, и здесь не может быть никаких дальнейших фактов, в зависимости от которых это полагание соответствовало или не соответствовало бы чему-либо.
Полагания этого вида полностью совместимы с когерентной теорией истины. Тезис о том, что истина состоит в когерентности с некоторой системой полаганий, совместим с тем, что есть полагания, истина которых состоит в их полагаемости – в том, что кто-то так считает. Если p – такое полагание, то истинность "p полагаемо" будет зависеть от его отношений к остальной части когерентной системы, но "p полагаемо" влечет за собой p. Когерентная теория противостоит идее о том, что истина полагания может состоять в его соответствии действительности, независимой от того, что о ней полагают – но это не та идея, которая связана с подобными утверждениями наблюдения.
В первом случае утверждения наблюдения не обязательно будут истинными, хотя могут быть способны к самообоснованию. Во втором случае они должны быть истинными всякий раз, когда они полагаемы, но из этого не следует, что они способны к самообоснованию. С такой точки зрения, мы можем считать обоснованным наше принятие перцептуального утверждения (или, скорее, того, что оно выражает), если мы знаем две вещи:
(а) что это утверждение принадлежит к такому типу выражений, что оно должно быть истинным всякий раз, когда оно служит объектом чьего-то полагания, и
(б) что оно действительно, фактически служит объектом чьего-то полагания.
Требование (а) неизбежно подразумевается при высказывании утверждения. Таким же естественным может показаться и (б), так как мы обычно предполагаем, что знаем, каковы наши собственные полагания. Однако это не всегда так, поскольку такая уверенность зависит от фоновых предпосылок, которые могут быть не универсальны. Прежде всего, рассмотрение этих предпосылок будет методологически зависимо (см. § 2.2), но и, более тривиально, можно помыслить такие случаи, в которых мои полагания о моих собственных полаганиях будут фактически ошибочны даже тогда, когда я их уверенно поддерживаю – например: я могу полагать, что верю в счастливую жизнь после смерти, но все же моя реакция на смертельную опасность может быть такова, как если бы я вовсе в это не верил. И даже в тех случаях, когда я действительно вряд ли буду ошибаться в том, что я верю, что p, еще не гарантирован факт, что я полагаю, что я полагаю это. Это не опровергает требование Шлика, что утверждения наблюдения обосновывают сами себя, но это свидетельствует, что для такого требования нужен отдельный аргумент, чтобы показать, как это происходит.
Именно в полемике по утверждениям наблюдения (между Шликом и отчасти Рейхенбахом, с одной стороны, и Нейратом, отчасти Карнапом и Гемпелем – с другой) корреспондентистские взгляды, изначально принятые в логическом позитивизме, сменяются умеренной когерентной теорией. Последняя в этой дискуссии оказывается связана с конвенционалистскими представлениями; таким образом, в Венском кружке оказываются сформированными те элементы, которые определили позицию позднего Витгенштейна и питали его эффектные интуиции о значении как употреблении (cм. § 3.5).
Как мы видели, один из путей обсуждения этой проблемы состоит в том, чтобы сосредоточиться на том факте, что наблюдательные или перцептуальные полагания являются когнитивно непроизвольными; они просто производят впечатление на наблюдателя ненамеренным, принудительным, не-инференциальным способом скорее, чем посредством какого бы то ни было вида вывода или другого явного или неявного дискурсивного процесса. Однако, согласно когерентной теории, тот факт, что полагание имеет этот статус, сам по себе еще не говорит ничего о том, обосновано ли оно, и если да, то как. В самом деле, нет никакой причины считать, что все когнитивно непроизвольные полагания тем самым обоснованы. У нас нет причин считать так даже о большинстве когнитивно непроизвольных полаганий, так как в эту категорию наряду с полаганиями, следующими из восприятия, войдут догадки и иррациональные непроизвольные убеждения. Но предположим, для наиболее обычных систем полаганий, что система включает полагание в том смысле, что когнитивно непроизвольные полагания определенных родов (объединенные общим предметом, очевидным способом сенсорного получения, отраженным в содержании полагания, и различными сопутствующими факторами) при указанных (или, возможно, «нормальных») условиях с высокой вероятностью истинны. Тогда становится возможным дать такую причину обоснования для подобного полагания, что она обращается к его когнитивному статусу как непроизвольного и наблюдательного, но все же делает это таким способом, что обоснование зависит от когерентности системы фоновых полаганий с требованием, что полагание этого рода, полученное таким образом, истинно. Такое полагание было бы достигнуто не инференциально, но тем не менее обосновано обращением к отношениям выводимости и когерентности556.