«Достоверность истины» — это, подобным образом, плеонастическая фраза, поскольку нет никакой разницы между определением ее (Книга IV, гл. VI, разд. 3) и определением «истины» просто, данным в Книге IV, гл. V, разд. 2.
Знание, выраженное суждением, хотя и достоверное, может не быть реальным…
116. Чтобы ответить на эти вопросы, согласно Локку, мы должны рассмотреть, касается ли знание или суждение, которое его выражает, субстанций, т.е. «сосуществования идей в природе», с одной стороны; или, с другой стороны, либо свойств математической фигуры, либо «моральных идей». Если это знание последнего рода, согласие идей в уме само по себе является их согласием в реальности, поскольку сами идеи являются архетипами. (Книга IV, гл. IV, разд. 6, 7.) Только когда идеи являются эктайпами, как это бывает, когда суждение касается субстанций, возникает сомнение, представляет ли согласие между ними согласие в реальности. Различие, сделанное здесь, фактически соответствует тому, которое появляется в главах о реальности и адекватности идей во Второй книге, и снова в главах об «именах» в Третьей. Там «сложные идеи модусов и отношений» объявляются необходимо реальными, адекватными и истинными, потому что, «будучи сами архетипами, они не могут отличаться от своих архетипов». (Книга II, гл. XXX, разд. 4.) [1] Им противопоставляются простые идеи и сложные идеи субстанций, которые одинаково являются эктайпами, но с тем отличием друг от друга, что простые идеи не могут не быть верными копиями своих архетипов, в то время как идеи субстанций не могут не быть иными. (Книга II, гл. XXXI, разд. 2, 11 и др.) Таким образом, «имена простых идей и субстанций, вместе с абстрактными идеями в уме, которые они непосредственно обозначают, подразумевают также некоторое реальное существование, из которого был получен их первоначальный образец. Но имена смешанных модусов заканчиваются на идее, которая находится в уме». (Книга III, гл. IV, разд. 2.) «Имена простых идей и модусов, — добавляется, — обозначают всегда реальную, а также номинальную сущность их вида» — утверждение, которое, если оно должно выражать учение Локка строго, должно быть ограничено именами простых идей, в то время как в отношении модусов оно должно гласить, что «номинальная сущность, которую обозначают имена этих модусов, сама является реальной».
[1] Ср. Книга II, гл. XXXI, разд. 3, и XXXII, разд. 17.
…когда знание касается субстанций. В этом случае общая истина должна быть лишь словесной. Математические истины, поскольку они не касаются субстанций, могут быть одновременно общими и реальными.
117. Но хотя различие между различными видами знания в отношении реальности не может не основываться на том же принципе, что и различие, проведенное между различными видами идей в том же отношении, следует заметить, что в учении Четвертой книги «знание о субстанциях», в отличие от того, в котором «наши мысли заканчиваются на абстрактных идеях», само по себе должно покрывать ту область, которую во Второй и Третьей книгах простые идеи и сложные идеи субстанций покрывают вместе. Это объясняется наблюдением, уже подробно изложенным [1], что простая идея в Четвертой книге Локка стала явно тем, чем в предыдущих книгах она была неявно, — не чувством в собственном смысле, а сознательной отсылкой чувства к вещи или субстанции. Только потому, что она таким образом преобразована, как мы видели, она может составлять начало знания, которое является не простой идеей, а сознательным отношением между идеями, или обладать (что, однако, она должна иметь, если может быть выражена в суждении) той способностью быть истинной или ложной, которая подразумевает «отсылку умом идеи к чему-то постороннему для него». (Книга II, гл. XXXII, разд. 4.) Таким образом, то, что говорится о «простой идее» во Второй и Третьей книгах, в Четвертой переносится на одну форму знания о субстанциях, а именно на ту, которая состоит в «частном эксперименте и наблюдении» и выражается в единичных суждениях, таких как «это желтое», «это золото сейчас растворено в царской водке». Такое знание не может не быть реальным, суждение, которое его выражает, не может не иметь реальной достоверности, потому что оно является эффектом «тела, актуально воздействующего на нас» (Книга IV, гл. XI, разд. 1), точно так же, как простая идея — это эктайп, непосредственно созданный архетипом. Иначе обстоит дело со сложными идеями субстанций и с общим знанием или суждениями о них. Группа идей, каждая из которых, будучи впервые произведена «телом», была реальной, при удержании в уме как представляющая тело становится нереальной. Сложная идея золота — это лишь номинальная сущность или значение имени; качества, которые ее составляют, — это лишь идеи в уме, и та общая истина, которая состоит в правильном утверждении отношения между одной из них и другой или целым — например, «золото растворимо в царской водке» — справедлива лишь для ума [2]; но она поэтому не должна быть отнесена к тем другим ментальным истинам, которые составляют математическое и моральное знание и которые, именно потому, что «лишь идеальны», являются реальными. Ее чисто ментальный характер делает ее на языке Локка «пустяковым суждением», но не спасает ее от того, чтобы быть действительно неистинной. Это «пустяковое суждение», ибо, если растворимость в царской водке не включена в сложную идею, которую обозначает звук «золото», суждение, которое утверждает это о золоте, не является достоверным, не является истиной вообще. Если оно включено, то суждение — это лишь «игра со звуками». Оно может послужить напоминанием оппоненту об определении, которое он сделал, но забывает, но «не несет с собой никакого знания, кроме знания значения слова, как бы достоверно оно ни было». (Книга IV, гл. VIII, разд. 5 и 9.) И все же существует реальное золото вне ума, копией которого сложная идея золота в уме должна пытаться быть, хотя условия реального существования таковы, что никакая «сложная идея в уме» не может быть его копией. Таким образом, словесная истина, которую выражают общие суждения о субстанциях, обречена на то, чтобы быть действительно неистинной. Освобождение математического и морального знания от этой участи остается необъяснимой милостью. Будучи лишь ментальным, такое знание является реальным — поскольку для него нет реальности, которую оно могло бы исказить, — и все же не пустяковым. Суждение о том, что «внешний угол всех треугольников больше любого из противоположных внутренних углов», обладает той общей достоверностью, которая никогда не встречается нигде, кроме как в наших идеях, но «передает поучительное реальное знание», причем предикат является «необходимым следствием точной сложной идеи», которая формирует субъект, но «не содержится в нем». (Книга IV, гл. VIII, разд. 8.) [3] То же самое можно было бы сказать, по-видимому, согласно суждению Локка (хотя он не столь эксплицитен в этом), о суждении в морали, таком как «Бог должен почитаться и слушаться человеком». (Книга IV, гл. XI, разд. 13.) [4] Но как объяснить такие суждения, одновременно абстрактные и реальные, общие и поучительные? Локк не признает никакой «работы ума», кроме той, которая состоит в соединении и абстрагировании (т.е. отделении) идей, из которых «он не может породить ни одной». «Абстрактные идеи» математики, «смешанные модусы» морали, точно так же, как идеи субстанций, должны быть выведены посредством такой ментальной уловки из материала, данного в простом чувстве, и «реального», потому что так данного. И все же, хотя этот вывод делает идеи субстанций нереальными в контрасте с их реальными «оригиналами», а общие суждения о них — «пустяковыми», потому что, «подразумевая существование», они ничего не говорят о нем, с другой стороны, он фактически конституирует реальность моральных и математических идей. Их отношение к оригиналу исчезает; они сами являются архетипами, из которых ум своим собственным актом может извлечь другие идеи, не включенные заранее в значение их имен. Но это может означать только то, что ум имеет какую-то иную функцию, чем объединение того, что он «нашел» в разделении, и разделение того, что он таким образом объединил, — что он сам может порождать.
[1] См. выше, параграф 25.
[2] Книга IV, гл. XI, разд. 13, XII, 9 и др.
[3] Точно так же, как согласно Канту, такое суждение выражает суждение «синтетическое», но «априорное».
[4] Ср. Книга IV, гл. III, разд. 18, и Книга III, гл. XI, разд. 16.
Значение этого учения.
118. Гений такой природной силы, как у Локка, не мог быть применен к философии, не определив линии будущих спекуляций, даже если для него самого они оставались неясными. Он натыкается на истины, когда не ищет их, и противоречия или случайности его системы являются ее самой ценной частью. Таким образом, в определенном смысле он может претендовать на авторство одновременно и популярного эмпиризма современного мира, и его опровержения. Он зафиксировал главный пункт его кредо: что мысль не имеет ничего общего с конституированием фактов, а только с представлением их с помощью знаков и повторением для себя того, что означали ее знаки, — короче говоря, что ее функция — это лишь аналитическое суждение; однако его допущения о математическом знании сделали неизбежным кантовский вопрос: «Как возможны синтетические суждения априори?», — который должен был привести к признанию мысли как конституирующей объективный мир и, таким образом, избавиться от антитезы между мыслью и реальностью. В своем отделении данного опыта от работы мысли он просто следовал силлогистической логике, которая на самом деле не приписывает никакой работы мысли, чью роль она претендует возвеличить, кроме анализа данных идей. Принимая работу так, как ее понимала эта логика (и как она должна пониматься, если отделение должно поддерживаться), он показал — убедительно в противовес схоластике — «пустяковый» характер необходимых и всеобщих истин, с которыми она имела дело. Опыт, проявление реального, рассматриваемый как ряд событий, которые для нас являются ощущениями, может дать только суждения, столь же единичные, как и события, и имеющие истину, подобную им, контингентную. Как следствие, необходимость и всеобщность связи могут быть найдены только в том, что ум делает для себя, без отсылки к реальности, когда он анализирует сложную идею, которую он удерживает как памятку о своих прошлых единичных опытах; т.е. в отношении между идеями или суждениями, из которых одно эксплицитно включает другое. На этом отношении покоится силлогистическое рассуждение, и, за исключением того, что оно может быть полезно для изобличения оппонента (или самого себя) в противоречии, оно не имеет ничего против такого номинализма, как вышеуказанный. Отсюда, у тех последователей Локка, которые были наиболее верны своему учителю, оставалось постоянным правилом делать всеобщность истины состоящей в ее аналитичности по отношению к значению имени, а ее необходимость — в ее включенности в ранее признанную. Однако, если бы это было истинным описанием всеобщности и необходимости математических суждений, их истинность, согласно прямому утверждению Локка, была бы «словесной и пустяковой», а не, как она есть, «реальной и поучительной».
Пагубно для представления о том, что математические истины, хотя и общие, получены из опыта:
119. Суть этого, наиболее очевидного, противоречия, присущего эмпиризму Локка, более или менее поразительна в зависимости от верности, с которой соблюдается понятие факта или реальности, не принадлежащей уму, свойственное этой системе. Когда популярная логика, производная от Локка, настолько забыла яму, из которой она была выкопана, что стала считать, будто суждения определенной достоверности, одновременно реальной и общей, могут быть получены из опыта, и говорить без вопросов об «общих фактах» в смысле, который для Локка был бы почти, а для Юма — полностью противоречием в терминах, она естественно не находит никаких затруднений в том, чтобы рассматривать математическую достоверность как отличную не по роду, а только по степени от достоверности любой другой «генерализации из опыта». Не осознавая, что различие математической и эмпирической всеобщности является условием, при котором, согласно Локку, первая избегает осуждения как «пустяковая», она не видит необходимости различать источники, из которых они получены, и поэтому продолжает утверждать против воображаемых или незначительных оппонентов, что математическая истина получена из «опыта»; что, если «опыт» настолько изменен по сравнению с тем, как его понимал Локк, чтобы давать общие суждения о фактах, не имеющие аналитического смысла, никто не должен стремиться отрицать. Что он может давать такие суждения, несомненно, является предположением физических наук; и, мы должны повторить, под вопросом не правильность этого предположения, а обоснованность, при его допущении, той антитезы между опытом и работой мысли, которая является «всем» популярной логики.
…и к принятым взглядам на естественную науку: но Локк не так ясен в этом.
120. Локк, как мы видели, после всех вторжений, совершенных невольно мыслью в пределы того опыта, которому он ее противопоставляет, — или, говоря наоборот, после всего того, что он позволяет «природе» взять без признания у «ума», — все еще настолько верен оппозиции, что «подозревает науку о природе в невозможности». Это подозрение, которое является лишь колеблющимся выражением учения о том, что общие суждения о субстанциях являются лишь словесными, является точным аналогом учения, высказанного без колебаний, что математические истины, будучи одновременно реальными и общими, вообще не касаются природы. Поскольку реальное знание о природе дается единичными впечатлениями тел в единичные моменты времени, воздействующими на нас, и, как следствие, может быть выражено только в единичных суждениях, любая реальность, которую утверждают общие суждения, должна принадлежать лишь уму, а ум, который может породить реальность, отличную от природы, не может быть пассивным вместилищем природных впечатлений. Локк признает реальную всеобщность математических истин, но не сталкивается с ее последствиями. Юм, видя трудность, не признает реальную всеобщность. Современная логика, основанная на Локке, верящая в возможность суждений, одновременно реальных и общих о природе, вообще не видит трудности. Она считает математическое знание того же рода, что и естественное, каждое из которых одинаково реально, несмотря на свою всеобщность; не осознавая, что, поступая так, вместо того чтобы избавиться, как ей кажется, от порождающей функции мысли в отношении математического знания, она лишь делает необходимым предположение о ее порождающем характере и в отношении знания о природе.
Двусмысленность в отношении реальной сущности вызывает подобную двусмысленность в отношении науки о природе. Частный эксперимент не может дать общего знания.
121. Она может найти некоторое оправдание для себя в колебании, с которым Локк провозглашает невозможность реальной всеобщности в знании о природе, — колебании, которое неизбежно вытекает из двусмысленностей, уже замеченных, в его учении о реальной и номинальной сущности. Поскольку оппозиция между номинальной и реальной сущностями субстанций поддерживается в своей абсолютности, как между любой возможной совокупностью идей с одной стороны и чем-то полностью отделенным от мысли с другой, эта невозможность следует с необходимостью. Но поскольку допускается представление о том, что номинальная сущность каким-то образом, пусть и неадекватно, представляет реальную, открывается возможность, пусть и неопределенная, для общих суждений о последней. С одной стороны, у нас есть прямое утверждение, что «универсальные суждения, об истинности и ложности которых мы можем иметь достоверное знание, не касаются существования» (Книга IV, гл. IX, разд. 1). Они основаны только на «отношениях и привычках абстрактных идей» (Книга IV, гл. XII, разд. 7); и поскольку правильной операцией ума в абстракции является рассмотрение идеи вне какого-либо существования, кроме того, которое она имеет в понимании, они не представляют никакого знания о реальном существовании вообще (Книга IV, гл. IX, разд. 1). Здесь Локк последовательно следует своему учению, что «единичность во времени», от которой делается абстракция, когда мы рассматриваем идеи как находящиеся в понимании, есть то, что специально отличает реальное; которое, таким образом, может быть представлено только «актуально присутствующим ощущением». Из этого учения правильно следует, что суждение, представляющее частный эксперимент и наблюдение, истинно о реальном существовании лишь до тех пор, пока ощущение, в котором состоит эксперимент, продолжает присутствовать. Не только исключается возможность того, что такой эксперимент даст достоверность, которая будет общей, а также реальной, но и само частное суждение может быть действительно истинным лишь постольку, поскольку качества, сосуществование которых оно утверждает, являются присутствующими ощущениями. Первое из этих ограничений реальной истины мы находим у Локка в целом признаваемым, и, следовательно, он подозревает, что наука о природе невозможна; но второе, которое было бы фатальным для предположения о существовании реальной природы вообще, даже когда он доводит до предела сведение реальности к настоящему чувству, он фактически игнорирует. С другой стороны, продолжает появляться представление, что, поскольку комбинация идей, составляющих номинальную сущность субстанции, берется из комбинации в природе или реальности, всякий раз, когда связь между какими-либо из них необходима, она гарантирует суждение, универсально истинное в силу необходимой связи между идеями и действительно истинное в силу того, что идеи взяты из реальности. Согласно этому представлению, хотя «достоверность универсальных суждений о субстанциях очень узка и скудна», она все же возможна (Книга IV, гл. VI, разд. 13). Она не признается как вовлекающая то противоречие, которое она должна вовлекать, если антитеза между реальностью и идеями в уме абсолютно соблюдается. Более того, поскольку определенные идеи первичных качеств, например, твердости и получения или передачи движения при импульсе, необходимо связаны, предполагается, что они действительно существуют (Книга IV, гл. III, разд. 14). Это только потому, что, как факт, наше знание об отношении между вторичными качествами и первичными настолько ограничено, что оно не может быть доведено далее. Что они связаны как эффекты и причины, по-видимому, мы знаем; и что «причины работают устойчиво, а эффекты постоянно проистекают из них», мы тоже знаем; но «их связи и зависимости не обнаруживаемы в наших идеях» (Книга IV, гл. III, разд. 29). То, что, если бы они были обнаруживаемы в наших идеях, именно потому, что там обнаружены, связь не была бы реальным сосуществованием, Локк никогда прямо не говорит. Он не столь ясно артикулирует антитезу между отношениями идей и фактами. Если бы он сделал это, он должен был бы также исключить из реального существования те абстрактные идеи тела, которые составляют скудное знание о нем, которое, согласно ему, мы все же обладаем (Книга IV, гл. III, разд. 24). Он более склонен вздыхать об открытиях, которые сделали бы физику способной к той же общей достоверности, что и математика, чем очистить первую от тех математических суждений — действительно истинных только потому, что не имеющих отсылки к реальности, — которые для него формировали единственный научный элемент в них.