1 2 3 4 5 6 
Мой собственный подход был до известной степени независим от большинства влияний названных авторов, хотя я читал с большим интересом не только, конечно, Дарвина, но и Ллойда Моргана и Дженнингса еще до написания моей первой книги "Logik der Forschung". Как и многие другие философы, я придавал большое значение различию двух проблем, связанных со знанием: проблемой его происхождения (генезиса), или истории, с одной стороны, и проблемам его истинности, достоверности (validity) и «оправдания (justification)», с другой стороны. (Это я подчеркивал, например, на конгрессе в Праге 1934 года: «Научные теории никогда нельзя „оправдать", или верифицировать. Но несмотря на это гипотеза А при некоторых обстоятельствах может достичь большего, чем гипотеза В...»[63]. Я очень рано начал подчеркивать, что вопросы истинности и достоверности, не исключая и вопроса о логической предпочтительности одной теории перед другой (единственный вид «оправдания», который я считаю возможным), должны четко различаться от генетических, исторических и психологических вопросов.
    
Более того, уже во время написания моей книги "Logik der Forschung" я пришел к заключению, что мы, эпистемологи, можем притязать на первенство перед генетиками{18}: логические исследования вопросов достоверности и приближения к истине могут иметь величайшее значение для генетических, исторических и даже психологических исследований. Во всяком случае логически они предшествуют этим последним, пусть даже исследования по истории познания могут поставить много важных проблем перед логиком научного открытия [64]
    
Итак, я говорю здесь об эволюционной эпистемологии, хотя и считаю ведущие идеи эпистемологии не столько фактуальными, сколько логическими. Несмотря на это, все ее примеры и многие из ее проблем могут подсказываться исследованиями по генезису знания.
    
Эта позиция полностью противоположна позиции теории познания, основанной на здравом смысле, а также классической эпистемологии, скажем, Декарта, Локка, Беркли, Юма и Рида. Для Декарта и Беркли истинность обеспечивается происхождением идей, за которым в конечном счете присматривает Бог. Следы точки зрения, согласно которой незнание есть грех, можно найти не только у Локка и Беркли, но даже и у Юма и Рида. Ведь для них именно непосредственность (directness or immediacy) наших идей, впечатлений или восприятий служит божественной печатью истинности, дающей верящему лучшее из возможных обеспечений (security), тогда как на мой взгляд мы иногда считаем теории истинными или даже «непосредственно» истинными потому, что они истинны и наш умственный аппарат хорошо приспособлен к их уровню сложности. Однако наши притязания на истинность некоторой теории или убеждения (belief) никогда не бывают «оправданы» или «полномочны (entitled)»  просто в силу предполагаемой непосредственности этого убеждения, С моей точки зрения, принятие такой позиции означало бы попытку поставить телегу перед лошадью: непосредственность может быть результатом того биологического факта, что эта теория истинна, а также (отчасти именно в силу этого) очень нам полезна, но доказывать, что непосредственность устанавливает истинность, или критерий истинности, — фундаментальная ошибка идеализма[65].
    
Исходя из научного реализма, достаточно ясно, что если бы наши действия и реакции были плохо приспособлены к нашему окружению, мы бы не выжили. Поскольку «убеждение» тесно связано с ожиданием и с готовностью к действию, мы можем сказать, что многие из наших практических убеждений скорее всего (likely) истинны, раз уж мы до сих пор выжили. Они образуют более догматическую часть здравого смысла, которая — хоть она ни в коем случае не является надежной, истинной или несомненной — всегда может служить хорошим исходным пунктом.
    
Однако мы также знаем, что некоторые из наиболее успешных животных в свое время исчезли и что прошлые успехи далеко не обеспечивают успехов в будущем. Это — факт; и ясно, что хотя мы можем кое-что предпринять по этому поводу, многого мы добиться не сможем. Я упоминаю об этом для того, чтобы было совершенно ясно — прошлые биологические успехи никогда не обеспечивают будущих биологических успехов. Таким образом для биолога тот факт, что какие-то теории были успешны в прошлом, ни в какой мере не гарантирует им успех в будущем.
    
В чем состоит интересующая нас ситуация? Теория, опровергнутая в прошлом, может быть сохранена как полезная, невзирая на ее опровергнутость. Так, мы можем для разных целей использовать законы Кеплера. Однако теория, опровергнутая в прошлом, не истинна. А мы ищем не только биологического или инструментального успеха. В науке мы ищем истину.
    
Центральной проблемой эволюционной теории является следующая: согласно этой теории, животные, плохо приспособленные к их меняющейся окружающей среде, гибнут; соответственно, те, которые выживают (на какой-то определенный момент), должны быть хорошо приспособленными. Эта формулировка почти тавтологична, поскольку «хорошо приспособлены на данный момент» означает примерно то же, что «обладают теми свойствами, которые помогли им выжить до сих пор». Другими словами, значительная часть дарвинизма имеет характер не эмпирической теории, а является логическим трюизмом.
    
Давайте выясним, что в дарвинизме эмпирическое, а что нет. Существование окружающей среды, имеющей определенную структуру — эмпирический факт. То, что эта среда меняется, но не слишком радикально, в течение длительных периодов времени — эмпирический факт; если это изменение будет слишком радикальным, например если Солнце завтра взорвется, превратившись в новую звезду, вся жизнь на Земле и всякое приспособление кончатся. Короче, в логике нет ничего, что объясняло бы существование в мире таких условий, при которых возможны жизнь и медленное (что бы здесь ни значило «медленное») приспособление к окружающей среде.
    
Если даны живые организмы, чувствительные к изменениям среды и меняющимся условиям, и если мы не предполагаем предустановленной гармонии между свойствами организмов и свойствами меняющейся среды [66], мы можем сказать нечто вроде следующего. Организмы могут выжить, только если они производят мутации, такие что некоторые из них являются приспособлениями к наступающим переменам, и таким образом включают изменчивость; и на этом пути мы обнаружим, пока мы имеем дело с живыми организмами в меняющемся мире, что те, кому случилось оказаться в живых, довольно хорошо приспособлены к своему окружению. Если процесс приспособления шел достаточно долго, то быстрота, тонкость и сложность приспособления могут поразить нас как нечто чудесное. И все-таки можно сказать, что метод проб и устранения ошибок, приводящий ко всему этому, не является эмпирическим методом, а принадлежит логике ситуации. Это, я думаю, объясняет (может быть, слишком кратко) логические, или априорные, компоненты дарвинизма.
    
Теперь мы можем яснее, чем раньше, увидеть огромные биологические преимущества, связанные с изобретением дескриптивного и аргументативного языка[67]: формулирование теорий на определенном языке позволяет нам критиковать и устранять их, не устраняя род (race), являющийся их носителем. Это первое достижение. Второе достижение — это развитие сознательного и систематического критического отношения к нашим теориям. С этого начинается научный метод. Разница между амебой и Эйнштейном состоит в том, что хотя оба используют метод проб и устранения ошибок, амеба не любит ошибок, а Эйнштейна они интересуют: он осознанно ищет у себя ошибки, надеясь узнать нечто благодаря их обнаружению и устранению. Метод науки — это критический метод.
    
Таким образом, эволюционная эпистемология позволяет нам лучше понимать и эволюцию, и эпистемологию, поскольку они совпадают с научным методом. Она позволяет нам лучше понять эти вещи на логических основах.
   
   
    
     
17. Фоновое знание в сочетании с проблемами
    
    
Цель науки — возрастание правдоподобности. Как я аргументировал, теория tabula rasa абсурдна: на каждом этапе эволюции жизни и развития организма нам приходится предполагать наличие некоторого знания в форме предрасположений и ожиданий.
    
Соответственно, рост всякого знания состоит в модификации предшествующего (previous) знания — либо в изменении его, либо в полномасштабном отвержении. Знание никогда не начинает с ничего, но всегда с какого-то фонового (background) знания — знания, которое в данный момент принимается как данное, — в сочетании с некоторыми трудностями, некоторыми проблемами. Они, как правило, возникают из столкновения между, с одной стороны, ожиданиями, внутренне присущими нашему фоновому знанию, и, с другой стороны, некоторыми новыми находками, такими как наблюдения или подсказанные ими гипотезы.
   
   
    
     
18. Всякое знание, в том числе и наши наблюдения, пронизано теорией
    
    
 Знание во всех своих различных субъективных формах диспозицио-нально и ожидательно (expectational). Оно состоит из предрасположений, или диспозиций, организмов, и эти предрасположения являются самым важным аспектом организации организма. Один тип организма сегодня может жить только в воде, другой — только на суше; поскольку оба они дожили до наших дней, сама их экология определяет часть их «знания». Если бы не было нелепым давать здесь какие-то оценки, я сказал бы, что 999 тысячных знания, имеющегося у организма, унаследованы или врождены, и только одна тысячная состоит из модификаций этого врожденного знания; вдобавок я высказываю предположение, что пластичность, нужная для таких модификаций, тоже прирожденная.
    
Отсюда следует фундаментальная теорема:
    
     
Всякое приобретенное знание, всякое обучение состоит в модификации (быть может, в отвержении) некоторых форм знания или предрасположения, имевших место ранее, а в конечном счете — врожденных предрасположений[68].
    
    
К этому можно сразу же добавить вторую теорему:
    
     
Всякий рост знания состоит $ усовершенствовании имеющегося знания, которое меняется в надежде приблизиться к истине.
    
    
Поскольку все наши предрасположения в некотором смысле суть приспособления к неизменным или медленно меняющимся условиям среды, про них можно сказать, что они пронизаны теорией (theory-impregnated), понимая при этом «теорию» в достаточно широком смысле. Я имею в виду то, что всякое наблюдение связано с некоторым множеством типических ситуаций — регулярности, между которыми оно пытается выбрать. Я думаю, что мы можем утверждать и большее: нет таких органов чувств, в которые не были бы генетически встроены определенные предвосхищающие (anticipatory) теории. Глаз кошки реагирует определенным образом на типичные ситуации, для чего в него заранее встроены готовые структуры, соответствующие биологически наиболее важным ситуациям, которые кошке приходится различать. Таким образом, предрасположение различать эти ситуации встроено в орган чувства, а вместе с ним и теория о том, что эти, и только эти, ситуации являются теми релевантными ситуациями, для различения которых надо использовать глаза[69].
    
Тот факт, что все наши органы чувств пронизаны теорией, самым наглядным образом демонстрирует провал бадейной теории, а вместе с ней и всех тех теорий, которые пытаются проследить (trace) наше знание вплоть до наших наблюдений, или до входа в организм. Напротив, что может быть впитано (и на что организм отреагирует) в качестве релевантного входного материала (input), а что будет проигнорировано как нерелевантное, — все это целиком зависит от врожденной структуры («программы») организма.
   
   
    
     
19. Ретроспективный взгляд на субъективистскую эпистемологию
    
    
С той точки зрения, которую мы здесь выработали, мы должны отвергнуть как совершенно неосновательную любую субъективистскую эпистемологию, предлагающую выбирать в качестве исходного пункта то, что представляется ей не вызывающим никаких сомнений (unprob-lematic), а именно наши «прямые» или «непосредственные» переживания (experiences). Конечно, эти переживания в общем вполне «хороши» и успешны (иначе мы не выжили бы), но они не являются ни «прямыми», ни «непосредственными», ни абсолютно надежными.
    
Не видно никаких причин, почему бы нам не сделать нашим временным «исходным пунктом» то, что мы переживаем в наблюдении, — но таким исходным пунктом, который, как и здравый смысл, не предполагает обязательного требования (commitment to) истинности или несомненности. Пока мы настроены критически, не имеет большого значения, с чего или как мы начинаем. Однако, начав отсюда (возможно, именно это Рассел называл «наивным реализмом»), мы приходим — через физику и биологию — к тому выводу, что наши наблюдения представляют собой в высшей степени сложные и не всегда надежные, хотя и удивительно хорошие декодирования сигналов, приходящих к нам от окружающей нас среды. Поэтому не следует возводить их в ранг исходного пункта в смысле стандарта истинности.
    
Итак, то, что казалось субъективистской эпистемологией или теорией tabula rasa, свободное как будто бы от любых предпосылок, полностью рассыпается. На ее месте нам надо построить теорию познания, в которой субъект знания:(the knowing subject), наблюдатель, играет важную, но очень ограниченную роль.
   
   
    
     
20. Знание в объективном смысле
    
    
Теория познания, основанная на здравом смысле, а вместе с ней и все — или почти все — философы вплоть до по крайней мере Больцано и Фреге принимали как данное, что существует только один род знания — знание, которым обладает некоторый знающий субъект, или субъект знания.
    
Я буду называть этого рода знание «субъективным знанием», невзирая на тот факт, что, как мы увидим, подлинного или неразбавленного (unadulterated) или чисто субъективного осознанного знания просто не существует.
    
    
Теория субъективного знания очень стара; свое явное выражение она впервые получила у Декарта: «познание (knowing) есть деятельность и предполагает существование познающего субъекта. Познает субъективное „я"».
    
    
Я же хочу провести различие между двумя типами «знания (knowledge)*: субъективным знанием (которое лучше было бы назвать организ-менным (organismic) знанием, поскольку оно состоит из предрасположений организмов) и объективным знанием, или знанием в объективном смысле, которое состоит из логического содержания наших теорий, предположений и догадок (и, если нам угодно, из логического содержания нашего генетического кода).
    
Примерами объективного знания являются теории, опубликованные в журналах и книгах и хранящиеся в библиотеках, обсуждения этих теорий, трудности или проблемы, на которые было указано в связи с такими теориями[70] и т.д.Мы можем назвать физический мир «миром 1», мир наших осознанных переживаний — «миром 2», а мир логического содержания книг, библиотек, компьютерной памяти и тому подобного — «миром 3».
    
Об этом мире 3 я могу высказать следующие тезисы:
    
(1)В мире 3 мы можем открыть новые проблемы, которые были там до того, как их открыли, и до того, как они были осознаны, то есть до того, как что-либо соответствующее им появилось в мире 2. Пример: мы открываем простые числа, и как следствие возникает проблема, является ли последовательность простых чисел бесконечной.
    
(2)Таким образом, мир 3 в некотором смысле автономен: в этом мире мы можем делать теоретические открытия подобно тому, как мы делаем географические открытия в мире 1.
    
(3)Основной тезис: наше осознанное субъективное знание (знание в мире 2) зависит от мира 3, то есть от теорий, сформулированных (хотя бы виртуально) на определенном языке. Пример: наше «непосредственное самоосознание (self-consciousness)», или наше «знание самих себя», которое очень важно, в значительной степени опираются на теории из мира 3: на наши теории о нашем теле и о том, что оно продолжает существовать, когда мы засыпаем или теряем сознание; на наши теории времени (его линейности); на нашу теорию, что мы можем с большей или меньшей ясностью вызывать в памяти наши прошлые переживания, и так далее. С этими теориями связано наше ожидание того, что, заснув, мы проснемся. Я высказываю тезис, что полное осознание себя опирается на все эти (принадлежащие миру 3) теории, и что животные, хоть они и способны чувствовать, ощущать, помнить, то есть обладают сознанием, все же не обладают полным осознанием себя, которое является одним из результатов возникновения человеческого языка и развития специфически человеческого мира 3.
   
   
    
     
21. Поиск несомненности и главная слабость теории познания, основанной на здравом смысле
    
    
Теория познания, основанная на здравом смысле, не знает о мире 3, то есть игнорирует существование знания в объективном смысле. Это большая слабость данной теории, но это — не главная ее слабость.
    
Чтобы объяснить, что я считаю главной слабостью теории познания, основанной на здравом смысле, я сначала сформулирую два положения — (а) и (b), характерные для этой теории познания:
    
     
(a) Знание есть особого рода убеждение (belief) или мнение (opinion); это — особое состояние сознания (mind).
     
(b) Чтобы этого рода мнение или состояние сознания не сводилось к «всего лишь» мнению, а могло поддержать притязание на то, что оно составляет фрагмент знания, мы требуем, чтобы тот, кто придерживается этого мнения, имел достаточные основания, позволяющие установить, что этот фрагмент знания несомненно истинен.
    
    
    
Из этих двух формулировок (а) легко переформулировать так, чтобы это положение стало частью — маленькой частью — приемлемой биологической теории познания. Мы можем сказать:
    
     
(а') Субъективное знание есть некоторого рода предрасположение, которое организм иногда может осознать в виде определенного мнения, убеждения или состояния сознания.
    
    
Это вполне приемлемое высказывание, и можно утверждать, что в нем просто точнее формулируется то, что имелось в виду в (а). Более того, (а') вполне совместимо с теорией познания, полностью признающей объективное знание, то есть знание как часть мира 3.
    
Ситуация с (b) совершенно другая. Как только речь зайдет об объективном знании, мы должны будем сказать, что в лучшем случае только очень малая его часть может иметь нечто подобное достаточным основаниям для того, чтобы считаться несомненной истиной. Это — та его маленькая часть (если она вообще есть), которую можно назвать доказуемым (demonstrable) знанием и которая содержит (если вообще она что-нибудь содержит) высказывания (propositions) формальной логики и (конечной) арифметики.
    
Все остальное — а сюда относится самая важная часть объективного знания, включая естественные науки, такие как физика и физиология, — по существу предположительно, или гипотетично, по своему характеру. У нас попросту нет достаточных оснований считать эти гипотезы истинными, не говоря уже о несомненной истинности.
    
Таким образом, (b) указывает на то, что если бы мы попытались обобщить теорию познания, основанную на здравом смысле, так, чтобы охватить объективное знание, то в качестве объективного знания (если такое вообще существует) можно было бы допустить только доказуемое знание. Вся обширная и очень важная область теорий, которую можно назвать «научным знанием», в силу своего предположительного характера вообще не могла бы считаться знанием. Ведь согласно теории познания, основанной на здравом смысле, знание есть оправданное мнение — мнение, настолько оправданное, что оно несомненно истинное; но именно такого рода оправданий нет в обширной и важной области предположительного знания.
    
Собственно говоря, сам термин «предположительное знание» можно считать противоречивым, если подходить к нему с точки зрения теории, основанной на здравом смысле. Дело в том, что теория, основанная на здравом смысле, не слишком последовательна в своем субъективизме: идея «достаточного основания» первоначально была, несомненно, объективистской идеей: первоначально она требовала оснований, достаточных для того, чтобы доказать или продемонстрировать рассматриваемый фрагмент знания, так что положение (b) действительно оказывается распространением объективистской идеи доказуемого знания на субъективистский мир 2, мир предрасположений или «мнений». В результате любое адекватное обобщение, любой объективистский перевод (b'), аналогичный (а'), должен был бы ограничить объективное знание доказуемым знанием и тем самым отказаться от предположительного знания. А вместе с ним пришлось бы отказаться и от научного знания — самого важного вида знания и центральной проблемы любой теории познания.
    
Я думаю, что сказанное фиксирует главнейшую слабость теории познания, основанной на здравом смысле. Она не только не подозревает о различии между субъективным и объективным знанием, но и принимает, осознанно или неосознанно, объективное доказуемое знание за образец для всякого знания, потому что на самом деле только в связи с ним мы имеем «достаточные основания» для различения «истинного и несомненного знания» от «всего лишь мнения» или «всего лишь убеждения»[71].
    
Тем не менее теория познания, основанная на здравом смысле, остается по своей сути субъективистской. И это приводит ее к трудности, связанной с допущением чего-то вроде субъективных достаточных оснований, то есть такого рода личных переживаний, убеждений или мнений, которые, хотя и субъективны, несомненно и неизменно (unfailingly) истинны и поэтому могут приниматься как знание.
    
Это действительно серьезная трудность — ведь как можем мы проводить различия в области мнений? По каким критериям сможем мы распознать истину или достаточное основание? То ли по силе убежденности (Юм), что вряд ли можно рационально защитить, то ли по их ясности и отчетливости, которые Декарт считал указание на их божественное происхождение, то ли прямее — по их происхождению, то есть по «источникам» знания. Таким путем теория познания, основанная на здравом смысле, приходит к принятию некоторого критерия «данного» (в откровении?) знания, к чувственным данным, к чувству непосредственности, интуитивности. Только чистота происхождения гарантирует свободу от ошибок и, следовательно, чистоту содержания[72].
    
Однако все эти критерии очевидно иллюзорны. Биолог признает, что наши органы чувств чаше добиваются успеха, чем наоборот, и он может даже объяснить их эффективность дарвиновскими аргументами. Но он не согласится, что они добиваются успеха всегда или с необходимостью и что на них можно опираться как на критерий истинности. Их «прямота» или «непосредственность» лишь кажущиеся — это просто еще один аспект чудесной гладкости и успешности, с которой они работают, но на самом деле они работают в высшей степени опосредованным образом, используя многочисленные сложные механизмы контроля, встроенные в их систему.
    
Так что во всей сфере нашего знания нет ничего подобного абсолютной несомненности. Однако доктрина (Ь) отождествляет поиск знания с поиском несомненности. В этом еще одна причина того, что доктрина (Ь) — самое слабое место теории познания, основанной на здравом смысле.
    
Что нам нужно — это начать с того факта, что объективное научное знание предположительно, а затем поискать аналоги в области субъективного знания. Такой аналог нетрудно найти. Мой тезис состоит в том, что субъективное знание есть часть в высшей степени сложного и замысловатого, но (в здоровом организме) удивительно точного аппарата приспособления и что он действует в основном подобно объективному предположительному знанию — методом проб и устранения ошибок, или путем предположений, опровержений и самоисправления («автокоррекции»).
    
Представляется, что здравый смысл есть часть этого аппарата, так что его статус не чрезмерно отличается от статуса другого по видимости «прямого» или «непосредственного» знания. (В этом Томас Рид был прав, хотя он и сильно переоценивал силу аргумента от прямоты или непосредственности).
   
   
    
     
22. Аналитические замечания о несомненности
    
    
Меня совершенно не интересуют определения или лингвистический анализ слов или понятий. Но по поводу слова «несомненность» было сказано так много представляющего столь малую ценность, что ради ясности здесь надо хоть что-то сказать.
    
Существует основанное на здравом смысле понятие несомненности, или уверенности (certainty), означающее вкратце «достаточно несомненно для практических потребностей». Когда я смотрю на мои часы, очень надежные, и они показывают мне, что сейчас восемь часов, и я слышу, как они тикают (показатель того, что они идут), тогда я «достаточно уверен» или «уверен в любом практическом смысле», что время сейчас достаточно близко к восьми. Когда я покупаю книгу и беру у продавца 20 пенсов сдачи, я «совершенно уверен», что эти две монетки не фальшивые. (Мои основания для этого очень сложны — они включают инфляцию, которая сделала подделку десятипенсовых монет нестбящим делом для фальшивомонетчиков; правда, эти две монетки могли оказаться старыми, из тех добрых старых времен, когда подделка флоринов{19} была еще выгодной).
    
Если кто-нибудь спросит меня: «А вы уверены, что монета в вашей руке — это десять пенсов?», я, пожалуй, взгляну на нее снова и скажу: «Да». Но если бы от истинности моего суждения зависело очень многое, я потрудился бы зайти в ближайший банк и попросить кассира повнимательнее взглянуть на монетку; а если бы от этого зависела жизнь человека, я постарался бы добраться до главного кассира Английского банка и попросил его удостоверить ее подлинность.
    
Что я хочу этим сказать? Что «несомненность» убеждения — вопрос не столько его интенсивности, сколько ситуации, вопрос нашего ожидания возможных последствий. Все зависит от важности того, что мы связываем с истинностью или ложностью нашего мнения.
    
«Мнение» или «убеждение» связано с нашей повседневной жизнью. Мы действуем, основываясь на своих убеждениях. (Бихевиорист сказал бы: убеждение — это то, на основе чего мы действуем). Поэтому в большинстве случаев нам достаточно довольно низкой степени уверенности. Вместе с тем если от нашего убеждения зависит очень много, то меняется не только его интенсивность, но и вся его биологическая функция.
    
Существует субъективистская теория вероятностей, исходящая их предположения, что мы можем измерить степень нашей убежденности в некотором высказывании тем, в каком соотношении готовы мы держать за него пари[73].
    
Эта теория невероятно наивна. Если я люблю держать пари и если ставки не высоки, я могу принять любые условия. Если ставки очень высоки, я могу не принять никакого пари. Если я вынужден принять пари, скажем, потому, что от этого зависит жизнь моего друга, я могу почувствовать потребность лишний раз убедиться в истинности некоторых самых тривиальных утверждений.
    
Держа руки в карманах, я совершенно «уверен», что у меня пять пальцев на каждой из рук, но если жизнь моего лучшего друга зависела бы от истинности этого высказывания, я мог бы (и думаю, что сделал бы это) вынуть руки из карманов, чтобы «вдвойне» убедиться, что у меня каким-то чудом не пропал один из пальцев.
    
Что из всего этого следует? Что «абсолютная несомненность» — это предельное понятие, и что переживаемая, или субъективная, «несомненность» зависит не только от степени нашей убежденности и от имеющихся свидетельств (evidence), но и от ситуации — от важности того, что поставлено на карту. Более того, свидетельства в пользу даже самого тривиального высказывания могут быть радикальным образом пересмотрены, если то, что поставлено на карту, достаточно важно. Это показывает, что даже самую несомненную несомненность можно еще усилить. «Несомненность» не есть мера убеждения в прямом смысле. Это скорее мера убежденности, определяемая по отношению к неустойчивой ситуации: ведь у общей напряженности (urgency) ситуации, в которой мне приходится действовать, есть много аспектов, и я могу переключаться с одного на другой. Так что полная уверенность не имеет характера максимума или предела. Всегда возможна уверенность еще более несомненная.
    
Помимо верных (valid) и простых доказательств из мира 3 объективной несомненности просто не существует. А несомненность в мире 2 — всегда только оттенок какого-то переживания, оттенок силы убежденности, зависящий не только от имеющихся «свидетельств», но и от многих других вещей, таких как серьезность проблемной ситуации, в которой мы действуем (или, может быть, просто от наших «нервов»),
    
В этой связи важно понимать, что есть много ситуаций, в которых отказ действовать сам по себе равносилен действию: в обыденной жизни нам все время приходится действовать, причем всегда на базе неполной (imperfect) несомненности (поскольку вряд ли существует такая вещь, как полная несомненность). Как правило, свидетельства, на основе которых мы действуем, принимаются после весьма поверхностного ознакомления, так что критическое обсуждение конкурирующих теорий, характерное для хорошей науки, идет (как правило) гораздо дальше того, чем мы вполне удовлетворяемся в практической жизни.
    
(Наука — которая по своей сути критична — в то же время более предположительна и менее уверена в себе, чем обыденная жизнь, потому что в ней мы сознательно поднимаем на уровень проблемы то, что в обычных условиях было бы просто частью нашего фонового знания).
    
Это, конечно, не значит, что мы сможем когда-либо достичь такой стадии, на которой никакой изобретательный и мыслящий ученый не сумеет обнаружить слабых мест в наших аргументах — возможностей, о которых до него никто не подумал и которые поэтому никто не позаботился исключить или включить.
    
    
Следовательно, с точки зрения объективного знания все теории оста-ются предположительными. 
    
Однако с точки зрения практической жизни они могут быть обсуждены, подвергнуты критике и испытаны гораздо лучше, чем всё, на основе чего мы привыкли действовать и что считаем несомненным.
    
Нет никакого противоречия между тезисом, согласно которому всякое объективное знание всегда предположительно, и тем фактом, что мы принимаем значительную его часть не просто как «практически несомненное», но и как несомненное в исключительно высокой степени, то есть как испытанное гораздо тщательнее, чем многие теории, истинности которых мы постоянно доверяем свои жизни (такие, как теория, что пол нашей комнаты не провалится или что нас не укусит ядовитая змея).
    
Теории — не просто инструменты, они могут быть истинными или ложными. Но, конечно, они также и инструменты — для практики или для прикладных наук, так же как и для вас или для меня лично, когда мы хотим определить свое отношение к некоторой теории в свете имеющихся отчетов о ее критическом обсуждении, включая отчеты о проведенных испытаниях. Если мы получаем отчеты о результатах этих испытаний, а может быть и сами повторяем какие-то из этих испытаний, то мы можем использовать эти отчеты и результаты для выработки собственного субъективного убеждения (conviction) и для определения степени уверенности, с которой мы будем придерживаться этих наших личных мнений. (Это один из способов, какими можно объяснить принцип переноса[74]: мы используем объективное знание для формирования личных субъективных мнений (beliefs); и хотя личные субъективные мнения всегда можно назвать в некотором смысле «иррациональными», такое использование объективного знания показывает, что юмовский конфликт с рациональностью в этом случае вовсе не обязателен).
   
   
    
     
23. Метод науки
    
    
Я так часто описывал то, что я считаю автокорректирующим методом, которым действует наука, что здесь могу быть предельно краток: метод науки — это метод смелых, дерзких предположений и изобретательных и решительных попыток их опровергнуть.
    
Дерзкая теория — это теория с богатым содержанием — во всяком случае, более богатым, чем у теории, которую, как мы надеемся, она должна сменить.
    
Что наши предположения должны быть дерзкими, непосредственно вытекает из того, что я говорил о цели науки и о приближении к истине: дерзость, или богатство содержания, связано с богатством истинностного содержания; поэтому ложностное содержание на первых порах можно игнорировать.
    
Вместе с тем возрастание истинностного содержания само по себе не гарантирует увеличения правдоподобности. Поскольку увеличение содержания — дело чисто логическое, и поскольку истинностное содержание возрастает вместе с ростом содержания, единственное поле для научных дебатов — и особенно для эмпирических проверок — это вопрос о том, не возрастает ли при этом и ложностное содержание? Таким образом, наш конкурентный поиск правдоподобности превращается, прежде всего с эмпирической точки зрения, в конкурентное сравнение ложностных содержаний (что некоторые люди воспринимают как парадокс). Похоже, что и в науке (как однажды сказал Уинстон Черчилль) войны никогда не выигрываются, а всегда проигрываются. (Добавлено в 1974 г.: См, теперь прим. 20 к этой главе).
    
Мы никогда не можем быть абсолютно уверены в том, что наша теория не провалится. Все, что мы можем сделать — это искать ложностное содержание нашей лучшей теории. Мы делаем это, пытаясь опровергнуть нашу теорию, то есть пытаясь подвергнуть ее суровым испытаниям с использованием всего имеющегося у нас объективного знания и всей нашей изобретательности. Конечно, всегда возможно, что наша теория будет ложной, даже если она выдержит все эти испытания — наш поиск правдоподобности это допускает. Но если она пройдет все эти испытания, то у нас может быть хорошее основание предположить, что у нашей теории, у которой (как мы знаем) истинностное содержание больше, чем у ее предшественницы, может быть не больше ложностноео содержания. И если нам не удастся опровергнуть новую теорию, особенно в тех областях, в которых ее предшественница была опровергнута, то мы можем считать это одним из объективных оснований для предположения, что та новая теория представляет собой лучшее приближение к истине, чем прежняя теория.
   
   
    
     
24. Критическое обсуждение, рациональное предпочтение и проблема аналитичности наших выборов и предсказаний
    
    
С изложенной точки зрения испытание научных теорий является частью их критического обсуждения или, как мы могли бы сказать, частью их рационального обсуждения, потому что в данном контексте я не знаю более близкого синонима для слова «рациональный», чем слово «критический». Критическое обсуждение никогда не может установить достаточных оснований для притязаний на истинность теории; оно никогда не может «оправдать» наших притязаний на знание. Вместе с тем критическое обсуждение может, если нам повезет, установить достаточные основания для следующего утверждения:
    
«Эта теория кажется в настоящее время — в свете всестороннего критического обсуждения, а также жестких и изобретательных испытаний намного лучшей (самой сильной, лучше всего испытанной), а потому и самой близкой к истине среди конкурирующих с ней теорий».
    
Короче говоря, мы никогда не можем рационально оправдать теорию, то есть притязать на знание того, что она истинна, но мы можем, если нам повезет, рационально оправдать предпочтение одной из множества конкурирующих теорий — до поры до времени, то есть применительно к современному состоянию ее обсуждения. И наше оправдание, хотя это и не притязание на истинность теории, может быть притязанием на то, что на данной стадии обсуждения все указывает, что эта теория является лучшим приближением к истине, чем любая из предложенных до сих пор конкурирующих теорий.
    
Рассмотрим теперь две конкурирующие гипотезы — h1 и h2. Обозначим через dx некоторое описание состояния обсуждения этих гипотез в момент времени t1, включая, разумеется, обсуждение релевантных экспериментальных и других результатов наблюдения. Обозначим через
    
     
(1)    c(h1,dt) < c(h2,dt)
    
    
    
высказывание о том, что степень подкрепления (corroboration) гипотезы h1 в свете обсуждения dt ниже, чем у гипотезы h2.И зададимся вопросом — что это за утверждение (1)?
    
На самом деле (1) — довольно неопределенное утверждение, хотя бы уже по той причине, что c(h1,dt)меняется со временем t,и может меняться с быстротою мысли. Во многих случаях истинность или ложность (1) будут просто вопросом мнения (opinion).
    
Предположим, однако, идеальные обстоятельства. Предположим длительное обсуждение, которое привело к устойчивым результатам, в том числе к согласию по поводу всех компонентов имеющихся свидетельств, и предположим, что в течение достаточно длительного периода мнение, о котором идет речь, не менялось.
    
При таких обстоятельствах можно видеть, что в то время как входящие в dt элементы свидетельств (evidential elements), конечно, являются эмпирическими, высказывание (1) может быть — если только dt выражено в достаточной мере явно (explicit) — логическим или (если вам не нравится этот термин) «аналитическим».
    
Это особенно ясно в случае, когда c(h1,dt)отрицательно, то есть когда итогом обсуждения на момент t является согласованный вывод, что имеющиеся свидетельства опровергают H1 тогда как c(h2,dt)положительно, поскольку свидетельства поддерживают h2.Пример: пусть h1 — теория Кеплера, a h2 теория Эйнштейна. Во время t может быть достигнуто согласие о том, что теория Кеплера опровергнута (в силу ньютонианских возмущений), а теория Эйнштейна поддерживается имеющимися данными. Если dt сформулировано достаточно явно, чтобы из него следовало все сказанное, то
    
     
(1)   c(h1,dt) < c(h2,dt)
    
    
сводится к высказыванию, что некоторое, точнее не определенное (unspecified) отрицательное число меньше, чем некоторое точнее не определенное положительное число, а такое высказывание вполне может быть охарактеризовано как «логическое» или «аналитическое».
    
Конечно, возможны и другие случаи, например, когда dt есть просто имя вроде «состояние обсуждения на 12 мая 1912 года». Но точно так же, как мы сказали бы, что результат сравнения двух известных величин аналитичен, мы можем сказать, что результат сравнения двух степеней подкрепления, если он достаточно хорошо известен (well known), будет аналитическим.
    
Вместе с тем результат сравнения можно считать основанием для рационального предпочтения, только если он достаточно хорошо известен, то есть только если имеет место (1), мы можем сказать, что h2 рационально предпочтительней h1.Посмотрим дальше, что будет, если h2 в указанном смысле рационально предпочтительнее h1: в этом случае мы будем основывать свои теоретические предсказания, так же как и использующие их практические решения, не на h1, а на h2.Все это кажется мне простым и даже тривиальным. Однако это рассуждение критиковали на следующих основаниях.
    
Если (1) аналитично, то решение предпочесть гипотезу h1 гипотезе h2 тоже аналитично и потому из нашего предпочтения h1 перед h2 не может вытекать никаких новых синтетических предсказаний.
    
Я не вполне уверен, но мне кажется, что нижеследующая формулировка суммирует ту критику, которая впервые была выдвинута профессором Сэлмоном против моей теории подкрепления: либо все описанные шаги аналитические — и тогда не существует синтетических научных предсказаний, либо некоторые шаги не могут быть аналитическими, а должны быть подлинно синтетическими, или расширительными (ampliative), а потому индуктивными.
    
Я попытаюсь показать, что в качестве критики моих взглядов этот аргумент не годится: гипотеза h2 по общему признанию синтетична, и все (нетавтологические) предсказания выводятся не из неравенства (1), а из h2. Этого достаточно для ответа на критику профессора Сэлмона. На вопрос о том, почему гипотезу h2 мы предпочитаем гипотезе h\, надо отвечать с учетом описания dt, которое, если оно достаточно специфично, тоже не будет аналитическим.
    
Мотивы, побудившие нас выбрать гипотезу h2, не могут изменить ее синтетического характера. Этими мотивами — в отличие от обычных психологических мотивов — являются рационально оправданные предпочтения. Вот почему в них играют определенную роль логика и аналитические высказывания. Если хотите, вы можете назвать эти мотивы «аналитическими», но эти аналитические мотивы выбора гипотезы h2 никогда не делают эту гипотезу истинной, и тем более «аналитической». В лучшем случае они представляют собой логически не решающие основания для предположения, что эта гипотеза наиболее похожа на истину из всех гипотез, конкурирующих на момент времени t.
   
   
    
     
25. Наука: рост знания путем критики и изобретательности. Дополнительные соображения об индукции
    
    
Я вижу в науке одно из величайших созданий человеческого разума (mind). Это шаг, сравнимый с возникновением дескриптивного и аргументативного языка или с изобретением письменности. Это шаг, на котором наши объяснительные мифы открываются для осознанной и последовательной критики, а мы оказываемся перед вызовом — придумать новые мифы. (Он сравним с тем предположительным шагом в первые дни возникновения жизни, когда типы изменчивости стали предметом эволюции путем избирательного устранения).
    
Задолго до возникновения критики происходил рост знания — знания, воплощенного в генетическом коде. Язык позволяет создавать и преобразовывать объяснительные мифы, и еще больше этому способствует письменный язык. Но только наука заменяет устранение ошибок в насильственной борьбе за жизнь ненасильственной рациональной критикой, что позволяет нам заменить убийство (в мире 1) и запугивание (в мире 2) безличными аргументами мира 3.
   
   
    
     
26. Юмовские проблемы каузации и индукции
    
    
До сих пор в этой главе[75] мне удавалось представлять очерк эпистемологии и методов, применяемых в науке для обеспечения прироста человеческого знания, даже не упоминая об индукции — ни об этом термине, ни об обозначаемом им явлении. Это мне кажется существенным. Индукция — это безнадежная путаница, а поскольку проблему индукции можно решить хотя и в отрицательном смысле, но тем не менее достаточно недвусмысленно, мы можем считать, что индукция не играет никакой органической роли в эпистемологии, или в методе науки и росте науки.
    
В моей книге "Logik der Forschung" (1934) я писал: «Если, следуя Канту, мы называем проблему индукции юмовской проблемой, то проблему демаркации мы можем назвать кантовской проблемой»[76]. Насколько мне известно, в процитированном отрывке из моей книги проблема индукции впервые была названа «юмовской проблемой»: сам Кант ее так не называл, вопреки тому, что я как будто говорю в только что приведенной цитате.
    
Вот как это получилось. Кант поначалу ввел термин «юмовская проблема» ("Das Hume'sche Problem")[77] для обозначения вопроса об эпистемологическом статусе каузации, а затем он обобщил это название на всю проблему того, могут ли синтетические высказывания быть верными (valid) a priori, поскольку он считал принцип каузации, или причинности, самым важным из синтетических принципов, верных a priori.
    
Я поступил иначе. Я считал подход Юма к проблеме причинности неплодотворным. Этот подход в значительной мере основывался на его несостоятельной эмпирицистской психологии — его версии бадейной теории сознания, субъективистское и психологистическое содержание которой мало что давало такого, что я мог бы рассматривать как существенный вклад в теорию объективного знания. Однако я обнаружил там, втиснутое между этими немногими субъективистскими идеями, то, что я считаю бесценной жемчужиной для теории объективного знания: простое, недвусмысленное, логическое опровержение любых притязаний на то, что индукция может быть состоятельным (valid) аргументом или оправданным способом рассуждения.
    
Этот юмовский аргумент о несостоятельности (invalidity) индукции служил в то же время сердцевиной его опровержения существования причинных связей. Но в этом качестве я не нахожу его ни относящимся к существу дела, ни состоятельным.
    
Таким образом, для меня проблема, которую Кант называл «юмовской», — проблема причинности — распадается на две: каузальную проблему (по поводу которой я расхожусь и с Кантом, и с Юмом) и проблему индукции, по поводу которой я полностью согласен с Юмом в том, что касается его логики. (У проблемы индукции есть и психологический аспект, по поводу которого я безусловно не согласен с Юмом).
    
Следующий мой шаг состоял в том, чтобы пристальнее взглянуть на проблемную ситуацию Канта. И тут я обнаружил, что решающую роль играл не (как он думал) принцип причинности, входящий в число его синтетических принципов a priori, а то, как он его использовал, потому что он использовал его как принцип индукции.
    
Юм показал, что индукция несостоятельна, поскольку ведет к бесконечному регрессу. А в свете кантовского анализа (и моего отвержения a priori верных синтетических принципов) я пришел к следующей формулировке: индукция несостоятельна, поскольку ведет или к бесконечному регрессу, или к априоризму.
    
 Однако я чувствую, что мне следует высказаться несколько подробнее.
    
Я предполагаю, что Юм был человеком здравого смысла. Как он указывает в своем «Трактате о человеческой природе»{20}, он является убежденным сторонником реализма здравого смысла. И только худшая половина его воззрений, его теория познания, основанная на здравом смысле, его форма бадейной теории сознания делает его «скептиком» по отношению к действительности и приводит его к радикальной форме идеализма — «нейтральному монизму» (как это называли Мах и Рассел). Юм, быть может даже в большей степени, чем Локк и Беркли, представляет собой образец философа, который начинает с вполне реалистического здравого смысла, но сбивается своей теорией познания, основанной на здравом смысле, на путь идеалистической философии, который кажется ему рационально неизбежным, даже хотя на этом пути его ум расщепляется. Именно шизофреническое расщепление между реализмом здравого смысла и теорией познания здравого смысла приводит сенсуалистический эмпиризм к абсурдному идеализму, который способен принять только философ; однако странно, что его принимает такой рассудительный философ, как Юм.
    
Это шизофреническое расщепление Юм выразил яснее некуда в своем знаменитом высказывании:
    
«Так как скептическое сомнение возникает естественно [= в соответствии со здравым смыслом] из глубокого и интенсивного размышления над этими предметами, то оно только усиливается по мере того, как мы продолжаем свои размышления, независимо от того, опровергают они это сомнение или подтверждают его. Только беззаботность и невнимательность могут оказать нам какую-нибудь помощь в данном отношении. Поэтому я вполне надеюсь на эти качества и считаю несомненным, что, каково бы ни было в данную минуту мнение читателя, час спустя он будет уверен в существовании как внешнего, так и внутреннего мира;...»[78].
    
Вместе с тем Юм был совершенно убежден в том, будто он установил, что его теория познания философски глубже и истиннее описанного им «беззаботного и невнимательного» подхода. Чтобы показать, что он действительно так думал, я процитирую из огромного количества подходящих мест следующий отрывок из «Трактата», в котором он аргументирует «ошибочность» [79] нашей веры во внешний мир:
    
«Из всего этого можно, пожалуй, заключить, что для того, чтобы убедить нас во внешнем существовании тела, не требуется иной способности, кроме внешних чувств (senses). Во избежание такого вывода нам стоит принять во внимание три следующих соображения. Во-первых, смотря на свои конечности и члены мы, собственно говоря, воспринимаем не свое тело, а некоторые впечатления, которые входят в нас через наши чувства, так что приписывание этим впечатлениям или их объектам реального и телесного существования — столь же труднообъяснимый акт нашего ума (mind), как и тот, который мы сейчас рассматриваем. Во-вторых, хотя звуки, вкусы и запахи рассматриваются обычно умом как непрерывные и независимые [от нас] качества, они не представляются существующими в протяженности, а следовательно и не могут восприниматься нашими чувствами как расположенные вне нашего тела. Причина, в силу которой мы приписываем им определенное место, будет рассмотрена впоследствии. В-третьих, даже наше зрение не знакомит нас непосредственно с расстоянием или внеположностью (outness), если можно так выразиться, без помощи некоторого рассуждения или опыта, как это признают наиболее видные философы-рационалисты».
    
Это — бадейная теория в чистом виде: наше знание состоит из наших восприятий или «впечатлений», которые «входят в нас через наши чувства». А они, коль скоро они составляют знание, должны быть в нас, и тут не может быть никакой дистанции или внеположности.
    
(Конечно, вся эта философская глубина — сплошная ошибка. Коль скоро мы исходим из первой части здравого смысла, из реализма, мы обнаруживаем, что мы — животные, наделенные органами чувств, помогающими нам декодировать сигналы, идущие к нам от внешнего мира. И мы делаем это исключительно хорошо, причем все наше «внешнее» тело в этом участвует, но сейчас нас интересует не эта проблема).
    
Я вкратце описал юмовскую шизофрению и ту подавляющую роль, которую в его взглядах играет бадейная теория сознания. На этом фоне я теперь опишу его теорию причинности.
    
Эта теория сложна и далеко не последовательна, и я подчеркну здесь только один ее аспект.
    
Юм рассматривает каузацию как (а) отношение между событиями, (b) как «НЕОБХОДИМУЮ СВЯЗЬ» (заглавные буквы поставлены Юмом) [80].
    
«Теперь, — говорит он, — когда я снова рассматриваю вопрос всесторонне, чтобы открыть природу этой необходимой связи», я не нахожу никаких отношений, кроме «смежности и последовательности» [81]; здесь нет никакой чувственной основы для идеи необходимости — эта идея безосновательна.
    
Самое близкое к ней из всего, что поддается наблюдению, это регулярная последовательность. Однако если бы регулярная, постоянно повторяющаяся последовательность двух событий была «необходимой», то она должна была бы иметь место с несомненностью не только среди наблюдавшихся случаев, но и среди ненаблюдавшихся. Вот, по существу, каким образом логическая проблема индукции входит в субъективистское обсуждение Юмом причинности, в его бадейно-теоретический поиск источника или основания идеи необходимости.
    
Я считаю такого рода исследование совершенно неверным по самому его замыслу, но формулировка и трактовка Юмом логической проблемы индукции (сам он нигде не использует этого термина) представляются мне почти безупречной жемчужиной. Я процитирую один из характерных пассажей:
    
«Стоит людям хоть раз вполне убедиться в истинности двух принципов, гласящих, что ни в одном объекте, который рассматривается сам по себе, нет ничего такого, что давало бы нам основания для заключения, выводящего нас за пределы этого объекта, и что даже после наблюдения частого и постоянного соединения объектов у нас нет основания для того, чтобы вывести заключение относительно какого-нибудь объекта помимо тех, которые мы знаем из опыта...»[82]. 
    
Эти «два принципа», в верности которых Юм хочет нас убедить, содержат отрицательное решение проблемы индукции. В этом месте (как и в многих других местах у Юма) речь уже не идет о причине и действии или о необходимой связи. По моему суждению, эти места представляют собой логические жемчужины, погребенные в бадье под психологическим мусором. И чтобы воздать честь Юму за это фундаментальное открытие, я слегка изменил смысл кантовского термина «юмовская проблема», связав с ним не столько проблему причинности, сколько проблему индукции.
    
В этом смысле юмовская логическая проблема индукции состоит в вопросе: имеем ли мы право делать выводы от наблюдавшихся случаев — сколь много бы их ни было — к ненаблюдавшимся, или от «известных» (принятых) высказываний — сколь много бы их ни было — к «неизвестным» (непринятым). Ответ Юма на этот вопрос явно отрицателен и, как он указывает, он остается отрицательным, даже если мы делаем вывод только о вероятности^ а не необходимости ранее не наблюдавшейся связи. Это распространение его ответа на случай вероятности сформулировано в «Трактате»: «Согласно этому объяснению, которое, как я думаю, во всех отношениях неоспоримо, вероятность основана на предположении сходства между теми объектами; с которыми мы уже знакомы по опыту, и теми, которых еще не знаем из опыта, а поэтому невозможно, чтобы само это предположение имело своим источником вероятность» [83].
    
Этот аргумент против вероятностной индукции, как мы увидим, чисто формален, и это еще более очевидно в отрывке из юмовского  'Abstract...", который я цитировал в моей L. Sc. D., 1959 г.[84]. Иначе говоря, Юм показывает, что его рассуждение, направленное против достоверности индуктивных выводов, остается тем же самым, идет ли речь о выводе «необходимости» (n) получаемых заключений или только об их «вероятности» (р). (Здесь буквы 'n' и 'р'—переменные, которые можно подставлять друг вместо друга в рассуждении Юма) [85].
    
Помимо этой логической проблемы индукции, которую — я утверждаю — Юм решил полностью (хотя его решение и отрицательно), есть другая логическая проблема индукции, которую некоторые называют «юмовской проблемой индукции». Это проблема: как можно показать, что индуктивные выводы (по крайней мере вероятностные) достоверны (valid) или могут быть достоверными?
    
Эта проблема представляет собой типичную путаницу, поскольку некритически предполагает существование положительного решения того, что я назвал «юмовской проблемой»; но Юм доказал, что положительных решений ее не существует.
    
Наконец, есть юмовская психологическая проблема индукции. Ее можно сформулировать следующим образом: почему большинство людей, и притом вполне рациональных, верят в достоверность индукции? Юм дает на нее ответ, о котором говорит Рассел в эпиграфе к нашей первой главе: психологический механизм ассоциаций заставляет их верить — по обычаю или привычке — что происходившее в прошлом будет происходить и в будущем. Это биологически полезный механизм — возможно, без него мы бы вообще не выжили, — но у него нет никакой рациональной основы. Так что человек — не только существо иррациональное, но и та его часть, которую мы считали рациональной — человеческое знание, включая практическое знание — полностью иррационально.
    
Таким образом, противоречие отрицательного решения Юмом логической проблемы индукции с его положительным решением психологической проблемы уничтожает как эмпиризм, так и рационализм.
   
   
    
     
27. Почему юмовская логическая проблема индукции глубже его проблемы причинности?
    
    
Вполне возможен легкий спор по вопросу о том, какая из проблем глубже — юмовская проблема причинности или та, что я назвал его проблемой индукции?
    
Можно аргументировать тем, что если бы проблема причинности была решена положительно — если бы мы могли показать существование необходимой связи между причиной и действием, — то проблема индукции тоже была бы решена и тоже положительно. Так что можно сказать, что проблема причинности — более глубокая проблема.
    
Мои аргументы обратны: проблема индукции решена отрицательно — мы никогда не можем оправдать истинность веры (belief) в некоторую регулярность. Однако мы постоянно используем регулярности как предположения, как гипотезы; и у нас есть иногда хорошие основания предпочитать определенные предположения некоторым из конкурирующих с ними.
    
Во всяком случае в свете некоторого предположения мы не только можем объяснить связь причины с действием гораздо лучше Юма, но и можем даже сказать, в чем состоит «необходимая причинная связь».
    
Если дана некоторая предположительная регулярность и некоторые начальные условия, позволяющие дедуктивно вывести из нашего предположения определенные предсказания, то мы можем назвать заданные условия (предполагаемой) причиной, а предсказанное событие (предполагаемым) действием. А предположение, связывающее их логической необходимостью, и есть то самое давно отыскиваемое (предположительное) необходимое звено между причиной и действием. (Все это вместе можно назвать «причинным объяснением», как я это назвал в L. Sc. D., раздел 12).
    
Сказанное позволяет утверждать, что мы можем продвинуться гораздо дальше на пути юмовского отрицательного решения проблемы индукции, чем на пути отрицательного решения им проблемы причинности, так что мы можем назвать первую проблему «более глубокой», лежащей «за» второй проблемой.
   
   
    
     
28. Вклад Канта: объективное знание
    
    
Кант понимал, что отрицательное решение Юмом проблемы индукции уничтожает рациональность оснований ньютоновской динамики. Кант, как и все его образованные современники, не сомневался в истинности теории Ньютона. Юмовский анализ сводит ее к «обычаю» или «привычке» — а это совершенно неприемлемая [для Канта] позиция.
    
Юм показал, что индукции угрожает бесконечный регресс. Кант указал, что со своим эмпиристическим догматизмом Юм не учел возможности того, что существует принцип причинности (а лучше — принцип индукции), верный a, priori. Эту позицию занял Кант (как я разъяснил в разделе 1 моей L. Sc. D.), а за ним и Бертран Рассел — оба пытались спасти человеческую рациональность от юмовского иррационализма.
    
Кант разделил все предложения по их логической форме на аналитические и синтетические, причем аналитическими являются те, вопрос об истинности или ложности которых можно решить на основе одной только логики. Далее он разделил их по их априорной или апостериорной верности, то есть в соответствии с тем, нуждается ли определение их истинности или ложности в эмпирической поддержке (backing) (апостериорные) или нет (априорные).
    
Поскольку все аналитические высказывания по определению априорны, получаем следующую таблицу:
    
    
    
Эта таблица показывает, что аналитичность предполагает априорность, а следовательно, апостериорность предполагает синтетичность. Однако это оставляет открытым вопрос: существуют или нет синтетические суждения, которые могут быть верными a priori? Кант ответил — «да» и провозгласил арифметику, геометрию, принцип причинности (и значительную часть ньютоновской физики) синтетическими и верными a priori.
    
Это решило для него юмовскую проблему. Но состоятельная ли это теория? Как может быть установлена a priori, например, истинность принципа причинности?
    
Здесь Кант прибег к своей «коперниканской революции»: человеческий интеллект изобретает и накладывает свои законы на чувственную трясину, создавая этим порядок в природе.
    
Это была дерзкая теория. Но она рухнула, когда стало ясно, что ньютоновская динамика — не априорная истина, а замечательная гипотеза, то есть предположение.
    
С точки зрения реализма здравого смысла кое-что от идеи Канта можно сохранить. Законы природы — действительно наше изобретение, они создаются животными и человеком, они генетически априорны, хотя и не априорно верны. Мы пытаемся навязать их природе. Очень часто мы терпим в этом неудачу и гибнем вместе с нашими ошибочными предположениями. Но иногда мы подходим достаточно близко к истине, чтобы выжить с нашими предположениями. А на уровне человека, где в нашем распоряжении имеется дескриптивный и аргументативный язык, мы можем систематически критиковать наши предположения. Это — метод науки.
    
Важно понимать величие вклада Канта в это решение проблемы, хотя Кант и не полностью преодолел субъективизм в теории познания. Быть может, величайшим его шагом было постоянное обсуждение научных теорий, суждений, высказываний, принципов и аргументов за и против них там, где его предшественники говорили в основном об ощущениях, впечатлениях или убеждениях.
   
   
    
     
29. Решение юмовского парадокса: возрождение рациональности[86]
    
    
С того времени, когда я написал текст, в котором назвал проблему индукции «юмовской проблемой», эта терминология стала общепринятой. Я тщетно искал в литературе, не назвал ли кто-то до меня проблему индукции «юмовской проблемой». Все случаи, которые мне удалось найти, восходили к авторам, которые более или менее внимательно прочли мою книгу (таким как Рассел или фон Вригт). Конечно, я мог пропустить какого-нибудь раннего автора, да и вообще нет ничего менее существенного, чем притязание на приоритет в придумывании названия проблемы. И я упоминаю об этом только потому, что вошло в моду называть «юмовской проблемой» совершенно другую проблему, а некоторые позднейшие авторы попытались объяснить мне, что «юмовская проблема индукции» вовсе не та, которую я так называл.
    
Очевидно, существуют разные проблемы, которые можно так называть, и я разделю их на две группы[87]:
    
Группа А. Как можем мы оправдать (justify) индукцию? 
    
Группа В. Можно ли вообще оправдать индукцию? И есть ли у нас хоть какие-то основания считать ее способной к оправданию?
    
Можно сразу же видеть, что группа В представляет собой более фундаментальный вопрос: если решение составляющих ее проблем однозначно отрицательно, то вопрос группы А вообще не может возникнуть.
    
Я притязаю на то, что решил вопрос группы В в этом смысле. Другими словами, я притязаю на то, что решил юмовскую проблему индукции в ее более глубокой форме. Я специально формулирую это в явном виде, поскольку некоторые философы называли «юмовской проблемой индукции» только группу А и ошибочно приписывали мне[88] утверждение, что юмовская проблема индукции неразрешима, тогда как я утверждал, что разрешил ее, хотя и в отрицательном смысле.
    
Юмовская проблема индукции содержит два элемента:
    
(а) Вопрос об оправдании состоятельности (validity) притязаний на то, что можно установить с несомненностью — или по крайней
    
мере с определенной вероятностью — истинность или хотя бы вероятную истинность некоторого правила, или обобщения, на основе единичного примера (evidence).
    
(b) Тезис, согласно которому индукция связана с повторением (и что повторение связано с усилением ассоциаций).
    
Конечно, каждый может назвать «индукцией» все, что захочет. Можно назвать мою теорию критики и роста знания моей теорией индукции. Однако я думаю, что это привнесло бы мало ясности, но много путаницы. Действительно, из двух указанных элементов вопрос (а) о том, является ли индукция состоятельным выводом, то есть порождает ли она состоятельные притязания в поддержку истинности индуцированного высказывания, кажется мне характерным для юмовской проблемы и для его отрицательного (логического) решения, и вопрос (Ь), касающийся повторений и ассоциаций, кажется мне характерным для юмовской проблемы, причем он делает возможным положительную (психологическую) часть его ответа.
    
Дело в том, что Юм отвечал на вопросы, поставленные в (а) и в (Ь), двумя существенно разными способами:
    
(а') Он сказал, что как вывод индукция совершенно несостоятельна. У нас нет и тени логического аргумента, который поддерживал бы вывод обобщений из высказываний о прошлом (например, из повторения в прошлом каких-то «свидетельств»).
    
(b') Он сказал, что несмотря на логическую несостоятельность индукция играет неотъемлемую роль в практической жизни. Мы живем, полагаясь на повторения. Ассоциации, усиленные повторением, — главный механизм нашего интеллекта, полагаясь на который мы живем и действуем.
    
Так что здесь мы имеем парадокс. Даже наш интеллект работает не рационально. Привычка, рационально не обосновываемая, есть основная сила, руководящая нашими мыслями и действиями.
    
    
Это привело Юма, одного из самых рациональных мыслителей всех времен, к отказу от рационализма и к взгляду на человека не как на существо, одаренное разумом, а как на продукт слепой привычки.
    
Согласно Расселу, этот юмовский парадокс ответствен за шизофрению современного человека. Независимо от того, прав Рассел в этом или нет, я притязаю на то, что разрешил этот парадокс.
    
Решение этого парадокса состоит в том, что мы можем не только рассуждать рационально, а следовательно вопреки принципу индукции, несостоятельность которого установлена Юмом, но и действовать рационально — в соответствии не с индукцией, а с разумом. Мы действуем на основании не повторения или «привычки», а лучше всех испытанной из наших теорий, для которых, как мы видели, у нас есть хорошие рациональные основания — хорошие основания не для того, чтобы считать эти теории истинными, но для того, чтобы считать их лучшими из имеющихся с точки зрения поиска истины или правдоподобности — лучшими из наших конкурирующих теорий, лучшими приближениями к истине. Центральным вопросом для Юма был: можем мы действовать согласно разуму или нет? Мой ответ на него: можем и действуем, если мы разумны.
    
Тем самым разрешается юмовский парадокс. Он был прав в своей критике возможности достоверной индукции. А неправ он был в своей психологии ассоциаций, в своей вере в то, что мы действуем на основе привычки, а привычка возникает просто от повторения.
    
Это решение юмовского парадокса не означает, конечно, что мы — вполне рациональные существа. Оно говорит только о том, что в нашем человеческом устройстве нет никакого противоречия между рациональностью и практическим действием.
    
Следует добавить, конечно, что рациональный стандарт наших практических действий часто сильно уступает стандарту, применяемому на передовой линии познания: мы часто действуем на основании давно отброшенных теорий отчасти потому, что многие из нас не понимают, что происходит на передовой линии познания. Я не думаю, однако, что эти замечания имеет смысл продолжать.
   
   
    
     
30. Путаница, связанная с проблемой индукции
    
    
Сам Юм спутал проблему индукции с проблемой необходимой связи между причиной и действием; Кант же увидел в проблеме априорной достоверности закона причинности одну из самых фундаментальных проблем метафизики. Но Юму надо воздать должное за его формулировку чисто логической проблемы индукции и за ее решения (и я горжусь тем, что, насколько мне известно, в признании его роли я был первым). Юм пишет, например, что у нас нет никаких оснований (reason) верить, «что случаи, с которыми мы еще не встречались, [скорее всего, будут] похожи на те, с которыми мы уже знакомы из опыта» [89] .
    
Эта формулировка проблемы индукции как нельзя яснее отграничивается от проблемы причинной необходимости, которая так часто замутняет ясность юмовской мысли. Она также совершенно свободна от вносящего путаницу элемента вывода от прошлого опыта к будущему. В ней принимается единственно только, что у нас есть эмпирические свидетельства истинности некоторых случаев, и утверждается, что это не дает нам права заключить отсюда или экстраполировать это на аналогичные свидетельства в других случаях, будь то в прошлом или в будущем.
    
Вот это и есть — во всей своей чистоте — то, что я назвал «юмовской [логической] проблемой индукции».
    
Ответ Юма на нее как нельзя более ясен: нет таких аргументов или оснований, которые позволили бы нам делать вывод от одного случая к другому, как бы похожи ни были соответствующие условия. Я полностью согласен с ним в этом отношении.
    
Я полагаю, однако, что Юм ошибался, когда полагал, что на практике мы делаем такие выводы на основе повторения или привычки.
    
Я утверждаю, что его психология примитивна[90]. На практике мы просто перескакиваем к заключениям (часто в форме «импринта» ("imprint") в смысле К.Лоренца), то есть к совершенно не окончательным гипотезам, за которые мы, однако, зачастую цепляемся и вместе с которыми можем погибнуть, если только не сумеем скорректировать их, что для нас возможно, особенно в том случае, когда — на уровне человека — они формулируются экзосоматически, то есть вне тела, в письменной форме и подвергаются критике.
    
Утверждение, что нам свойственна иррациональная наклонность поддаваться впечатлению, производимому на нас привычкой и повторением, в корне отличается от утверждения, что нам свойственно побуждение пробовать дерзкие гипотезы, которые нам, возможно, придется корректировать, если мы не хотим погибнуть. Первое утверждение описывает типично ламаркистскую процедуру научения, или инструктирования; второе — дарвинистскую процедуру отбора. Первая, как отметил Юм, иррациональна, тогда как во второй, похоже, нет ничего иррационального.
   
   
    
     
31. Что остается от неправильно поставленной проблемы оправдания индукции?
    
    
Неправильно поставленная проблема группы А — проблема оправдания индукции — поднимается людьми, на которых производит впечатление «Единообразие Природы» — тот факт, что солнце встает каждый день (раз в 24 часа или раз примерно за 90 тысяч ударов пульса), что все люди и все животные смертны[91], а также знаменитый юмовский пример, что хлеб питателен. Однако все эти три примера опровергаются в той форме, в которой они были первоначально задуманы[92].
    
Утверждение «Солнце встает каждый день» первоначально понималось в смысле «Куда бы вы ни пошли, солнце будет вставать каждый день». Что именно таков был его первоначальный смысл, подтверждается тем фактом, что Пифей из Массилии, первый путешественник, о котором известно, что он пересек полярный круг и описал «замерзшее море и полуночное солнце», в течение столетий служил образцом лжеца и в связи с ним возникло выражение «россказни путешественников». Аристотель вывел неизбежно ожидающую всякого человека судьбу умереть из того факта, что все порожденное, и в том числе все живые существа, должно прийти к концу (decay) — тезис, который больше уже нельзя считать общепринятым среди биологов (которые к настоящему времени продолжают поддерживать бьющееся куриное сердце in vitro{21} вот уже более пятидесяти лет). А юмовский пример с хлебом, который питателен, был трагически опровергнут, когда обычным образом выпеченный хлеб погубил почти всех жителей одной французской деревни, отравив их спорыньей.
    
И это все? Все. Что бы ни говорили философы, все сводится к простому факту, что здравый смысл внушает нам уверенность в том, что завтра солнце снова взойдет над Лондоном. Но мы не знаем этого с несомненностью. Существуют миллионы возможностей, способных предотвратить это. Всякий, кто попытается дать нам положительные основания для веры в это, не уловил сути проблемы. Конечно, все мы, сторонники Юма или нет, надеемся, что солнце не прекратит вставать каждое утро. И, конечно, эта надежда необходима — необходима для действия, для жизни. Однако даже и необходимая надежда не является объективным знанием, хотя она и может побудить нас верить.
    
Другими словами, те правила, которые философы все еще используют как стандартные примеры правил индукции (и надежности) — все ложны, даже когда они являются хорошими приближениями к истине.
    
Я говорю все это только для того, чтобы показать ненадежность так называемой индукции. Подлинной индукции на основе повторения не существует. То, что выглядит как индукция, есть гипотетическое рассуждение, хорошо испытанное, хорошо подкрепленное и согласующееся с разумом и здравым смыслом. Потому что существует метод подкрепления (corroboration) — серьезная попытка опровергнуть теорию там, где опровержение кажется вероятным (likely). Если эта попытка не удается, то можно предположить — на рациональных основаниях — что эта теория является хорошим приближением к истине — во всяком случае лучшим, чем ее предшественница.
    
Не можем ли мы, однако, достичь чего-то вроде надежности (security)? Не можем ли мы найти надежность в индукции, в бесчисленных случаях повторения?
    
Ответ — «нет». (Так отвечал Юм). Надежности на уровне здравого смысла достичь очень легко — не столько повторением, сколько суровыми испытаниями. Я не меньше всякого другого уверен, что солнце завтра взойдет над Лондоном или что я вскорости умру, хотя пока что хлеб будет по-прежнему питать меня. Как теоретик я знаю, что могут случиться и другие вещи. Я даже знаю, что солнце не восходит ежедневно повсюду в Европе, что бактерии не всегда умирают, а делятся, и что хлеб, вода, воздух и наша самая обычная и надежная окружающая среда может содержать (и, как можно опасаться, скоро будет содержать) смертельные яды.
    
Можно также спросить — почему мы достигаем успеха при построении наших теорий? Ответ: до сих пор мы добивались успеха, но завтра можем потерпеть неудачу. Любой аргумент, показывающий, что мы должны добиться успеха завтра, докажет слишком много. Все, на что мы способны, — это предположить, что мы живем в такой части космоса, где условия для жизни и для успеха в нашем познавательном предприятии кажутся в данный момент благоприятными. Однако если мы что-нибудь вообще знаем, мы знаем также, что почти во всей остальной Вселенной условия для жизни и для познания (knowledge) крайне неблагоприятны, поскольку наша космология говорит нам, что Вселенная почти везде пуста, а там, где она не слишком пуста, она почти всюду слишком горяча.
    
А тот факт, что запряженные лошадьми экипажи можно было видеть в Лондоне каждый день в течение многих столетий, не помешал им исчезнуть, сменившись автомобилями. Кажущееся «единообразие природы» слишком ненадежно. И хотя мы можем сказать, что законы природы не меняются, этот тезис чересчур близок к утверждению, что в нашем мире есть такие абстрактные связи, которые не меняются (это оказывается совершенно тривиальным, если признать, что мы не знаем, что это за связи, но можем это — в лучшем случае — лишь предполагать), и что мы называем их «законами природы».
   
   
    
     
32. Динамический скептицизм: конфронтация с Юмом
    
    
Защищаемая мною позиция радикально отличается от той, которая в Новое время — по крайней мере со времени Реформации — называлась «скептицизмом». Современный скептицизм считается теорией, пессимистической по отношению к возможности знания. Взгляд же, предлагаемый здесь, с надеждой отстаивает возможность роста знания, а следовательно возможность знания. Он только отказывается от качества несомненности, которое здравый смысл принимал как существенное для знания, и показывает, что как несомненность, так и знание отличаются от того, что предполагает на их счет теория познания, основанная на здравом смысле. Вряд ли можно назвать скептиком того, кто верит в возможность неограниченного роста знания.
    
Хочу отметить, что некоторые классические скептики, такие как Цицерон или Секст Эмпирик, не так уж далеки от защищаемой здесь позиции. "Scepsis" вполне можно (хотя это редко делают) перевести как «критическое исследование», а «динамический скептицизм» приравнять к «действенному (forceful) критическому исследованию» или даже к «полному надежды критическому исследованию», как бы мало у самой надежды ни было рациональных оснований. Эта позиция, несомненно, имеет мало общего с желанием познать что-то там, где ничего познать нельзя.
    
В этой связи мне кажется важным вернуться к нашему исходному пункту — здравый смысл плюс критическое аргументирование — и напомнить себе о нашем выводе, что здравый смысл включает реализм — быть может, не слишком удаленный от «научного реализма» — и что все  известные аргументы против реализма [93] не выдерживают критики или, точнее, оказываются не выдерживающими критики заблуждениями самой слабой части здравого смысла — основанной на нем теории познания. Так что у нас нет никаких оснований отказываться от реализма.
    
А это означает коренное изменение позиции моего «динамического скептицизма», особенно по сравнению с позицией Дэвида Юма.
    
Юм доказывает, что:
    
(1) Индукция (то есть индукция на основе повторения) рационально полностью несостоятельна.
    
(2) На деле мы опираемся в наших действиях (и в наших убеждениях) на существование некоторой реальности, не полностью хаотической.
    
(3) И эта наша опора, в силу (1), непоправимо иррациональна.
    
(4) Таким образом, человеческая природа по существу иррациональна.
    
Я полностью принимаю юмовские тезисы (1) и (2), но я отвергаю его тезис (3) — тезис об иррациональности. Я могу это сделать потому, что я не пытаюсь основать (2) на (1), а утверждаю реализм как до сих пор устоявшую перед критикой часть здравого смысла, от которой у нас нет никаких оснований отказываться. Юм полагал — в силу своей ошибочной теории познания, основанной на здравом смысле, — что принимать (2) может быть разумно, только если мы это «знаем», то есть имеем достаточные основания верить в это. И он думал, что эта вера (belief) фактически основана на индукции (которую он справедливо отвергал как иррациональную). Однако существует не только юмовское знание на достаточных основаниях, но и объективное предположительное знание (и его субъективный аналог, рассмотренный ранее в разделе 21). Статус нашего основанного на здравом смысле взгляда на реальность по существу не отличается[94] от статуса непосредственных восприятий или впечатлений, которые Юм считал надежными, — это предположительное знание, и оно становится частью нашего органического аппарата в результате метода проб и устранения ошибок. Нет никаких оснований основывать (2) на (1) или считать, что (2) нуждается в других положительных основаниях, кроме отсутствия состоятельных критических доводов против этого тезиса.
    
Суммируя: нам нет нужды, как это делал Юм, аргументировать от индукции к реализму. Нет ничего иррационального в предположении реализма, а общие аргументы против него, в состоятельность которых Юм верил, являются частью ошибочной эпистемологии здравого смысла.
    
Таким образом, мы вполне вольны отвергнуть юмовские тезисы (3) и (4).
    
Еще одно можно сказать по поводу тезисов (3) и (4). Мы с надеждой верим в реализм, и эта надежда не рациональна, поскольку в «научном реализме» есть по крайней мере некоторые аргументы, побуждающие нас предсказать уничтожение, в конечном счете, всякой жизни.
    
Но даже это не поддерживает юмовские тезисы (3) и (4). Ведь не иррационально надеяться, пока мы живы и пока нам постоянно навязывается необходимость действовать и решать.
   
   
    
     
33. Анализ аргумента от невероятности случайностей
    
    
Как я вкратце указал в разделе 22, субъективная вероятность как мера «рациональной веры (belief)» представляется мне ошибкой, которая не может дать ничего хорошего теории познания.
    
Но поскольку от слов ничего не зависит, я, конечно, не буду возражать, если то, что я здесь назвал «хорошим» (или «лучшим») предположением, кто-нибудь назовет «вероятным» предположением (или самым вероятным из известных предположений), если только слово «вероятность» не будет интерпретироваться в смысле исчисления вероятностей. Потому что вероятность в смысле исчисления вероятностей, по моему мнению, не имеет ничего общего с качеством гипотезы. (Только невероятность гипотезы, как уже было объяснено, можно использовать как меру ее содержания, а, следовательно, и рассматривать как один из аспектов ее хорошего качества).
    
Вместе с тем существует старый аргумент, содержащий в какой-то мере правдоподобное ядро, который можно следующим образом связать с исчислением вероятностей.
    
Допустим, что у нас есть гипотеза Н и что она логически очень маловероятна. Это значит, что у нее очень большое содержание, включающее утверждения, относящиеся к различным областям, ранее совершенно не связанным. (Пример: теория гравитации Эйнштейна предсказала не только движение планет по Ньютону, но также и небольшое отклонение орбиты Меркурия, воздействие тяжелых тел на траекторию лучей света и красное смещение спектральных линий в сильных гравитационных полях). Если все эти предсказания успешно проверяются, то нижеследующий аргумент кажется интуитивно здравым и разумным:
    
(1) Вряд ли можно считать случайностью, что теория может предсказать такие совершенно невероятные предсказания, если она не истинна. Отсюда делается вывод, что вероятность ее истинности столь же велика, сколь велика невероятность того, что эти ее успехи объясняются скоплением случайностей.
    
Я не думаю, что аргумент (1) в этой форме может считаться вполне состоятельным, но я полагаю, что в нем все-таки что-то есть. Рассмотрим его внимательней.
    
Допустим, что аргумент (1) состоятелен (valid). Тогда мы можем рассчитать вероятность того, что теория истинна, как 1 минус вероятность
    
того, что верифицируется она только случайно. И если предсказываемые ею эффекты очень маловероятны — например, потому что их количественное значение предсказывается очень точно и правильно — то произведения этих очень маленьких чисел дадут число, вычитаемое из единицы. Другим словами, при таком способе подсчета мы получим для хорошего предположения вероятность, очень близкую к единице [95] Этот аргумент на первый взгляд кажется убедительным, но он очевидно несостоятелен. Возьмем теорию Ньютона (N). Она дает столько точных предсказаний, что согласно рассматриваемому аргументу должна иметь вероятность, очень близкую к единице. Теория Эйнштейна (Е) должна получить еще большую вероятность. Но согласно исчислению вероятностей (будем обозначать «или» через V) мы имеем:
    
     
 p(N∨ E) = p(N)+ p(E)- p(NE),
    
    
а поскольку эти теории несовместимы, так что p(NE)=0, мы получаем, что
    
     
p(N∨ E)=p(N)+p(E)≈2,
    
    
то есть вероятность истинности одной из этих двух теорий очень близка к 2, что абсурдно.
    
Решение этой проблемы состоит в том, что аргумент (I) есть пример поверхностного (specious) рассуждения и вместо него мы можем сформулировать следующее утверждение:
    
(2) Хорошее согласие с маловероятными наблюдаемыми результатами не является случайностью, но и определяется не истинностью теории, а только ее правдоподобностью (truthlikeness).
    
Этот аргумент (2) объясняет, почему многие несовместимые теории могут согласовываться между собой во многих тонких моментах, причем таких, что было бы крайне маловероятно[96], чтобы это согласие было результатом чистой случайности.
    
Таким образом, аргумент (1) можно сформулировать несколько более корректно в следующей форме:
    
(1') Существует нечто вроде правдоподобности (verisimilitude), и очень маловероятное — если рассматривать его как случайность — согласие между теорией и фактом может рассматриваться как показатель того, что эта теория имеет (сравнительно) высокую правдоподобность. Вообще говоря, лучшее согласие с фактами по маловероятным пунктам может истолковываться как показатель большей правдоподобности.
    
Я не думаю, что можно много чего сказать против этого аргумента, хотя мне не понравилось бы, если бы из него стали развивать еще одну теорию индукции. Но я хочу, чтобы было совершенно ясно, что степень подкрепления теории (которая есть нечто вроде меры суровости выдержанных ею испытаний) не может интерпретироваться просто как мера ее правдоподобности. В лучшем случае она есть только индикатор (как я разъяснял в 1960 и 1963 годах, когда впервые ввел понятие правдоподобности — см., например Popper К. R. Conjectures and Refutations, pp. 234 f.) — правдоподобности теории, как ее можно оценить в момент t. Для степени суровости испытания теории я ввел термин «подкрепление (corroboration)». Его следует использовать в основном для сравнения, например в случае, когда теория Е подвергалась более жестким проверкам, чем теория JV. Степень подкрепления теории — всегда временной показатель: это та степень, в которой теория кажется хорошо проверенной во время t. Хотя это и не мера ее правдоподобности, ее можно использовать как показатель того, какой кажется правдоподобность теории в момент t по сравнению с другой теорией. Так что степень подкрепления может служить руководством при выборе одной из двух теорий — на определенной стадии их обсуждения — с точки зрения их видимого приближения к истине. Вместе с тем она может сказать нам только, что одна из двух предложенных теорий выглядит — в свете обсуждения — более близкой к истине.
   
   
    
     
34. Резюме: критическая философия здравого смысла
    
    
После того, как мы обнаружили потребность в критической философии, возникает проблема ее исходного пункта. С чего нам начать? Вопрос представляется важным, поскольку, как кажется, существует опасность того, что изначальная ошибка может иметь самые серьезные последствия.
    
Взгляды на проблему исходного пункта, которых придерживались большинство классических и придерживается большинство современных философов, и взгляды, которые я предложил здесь в качестве философии, основанной отчасти на здравом смысле, коренным образом отличаются друг от друга. Я попытаюсь суммировать основные их различия в виде следующей таблицы:
    
     
      Предшествующие философы
      Моя критическая точка зрения
     
     
      (1) Выбор нашего исходного пункта имеет решающее значение: мы должны остерегаться впасть в ошибку с самого начала.
      (1') Выбор нашего исходного пункта не играет решающей роли, потому что его можно критиковать и корректировать, как и все остальное.
     
     
      (2) Наш исходный пункт должен быть, если это возможно, истинным и несомненным.
      (2') Не существует способа найти такой надежный исходный пункт.
     
     
       
       
     
     
      (3) Его можно найти в личном опыте «Я» (субъективизм) или в чистом описании поведения (объективизм) [97]
      (3') Поскольку его нельзя найти ни в субъективизме, ни в объективизме, может быть лучше всего начать с обеих этих позиций и критиковать их обе.
     
     
      (4) Принимая либо такой субъективизм, либо такой объективизм, философы некритически принимали некоторую форму теории познания, основанной на здравом смысле, — теории, о которой можно сказать, что она составляет самый слабый пункт здравого смысла.
      (4') Разумно начать со здравого смысла, сколь смутными ни были бы заключенные в нем взгляды, но быть критичными ко всему, что может провозглашаться от имени здравого смысла.
     
     
      (5) Субъективисты приняли теорию, согласно которой самое надежное знание, какое мы можем иметь, это знание о нас самих, а также наш опыт наблюдений и восприятий. (В упоре на несомненность чувственного опыта субъективисты и объективисты сходятся).
      (5;) Несложное критическое рассуждение убеждает нас, что все наше знание пронизано теориями и в то же время (почти) все оно носит предположительный характер.
     
     
      (6) Существуют некоторые жесткие факты, на которых можно построить знание, такие как наши ясные и четкие ощущения или данные чувств: прямые, или непосредственные, переживания не могут быть ложными.
      (6;) Поскольку всякое знание пронизано теорией, оно все построено на песке; его фундамент, однако, можно укрепить, критически копая глубже и не принимая на веру (for granted) никаких так называемых «данных».
     
     
      (7) Это недвусмысленный результат теории познания, основанной на здравом смысле.
      (7') Именно здесь терпит неудачу теория познания, основанная на здравом смысле: она упускает из вида непрямой, то есть косвенный и предположительный, характер знания. Даже наши органы чувств (не говоря уже об интерпретации того, что они нам дают) пронизаны теорией и способны на ошибки, хотя в здоровых организмах это бывает редко.
     
     
      (8) Теория познания, основанная на здравом смысле, всегда начиная как форма реализма, всегда кончает в трясине либо эпистемологического идеализма, либо операционализма.
      (8') Мы признаем, что даже реализм и его (биологическая) теория познания — это два предположения, и мы приводим доводы в пользу того, что первое из них — гораздо лучшее предположение, чем идеализм.
     
     
      (9) Здравый смысл, начав с реализма и закончив субъективизмом, опровергает сам себя. (Можно сказать, что это утверждение является составной частью взглядов Канта).
      (9') Теория познания, основанная на здравом смысле, опровергнута как внутренне противоречивая, однако это не затрагивает основанную на здравом смысле теорию мира, то есть реализм.
     
    
    
Попытка сохранить основанную на здравом смысле теорию как единое целое — реализм плюс эпистемология здравого смысла — обречена на провал. Таким образом, применением метода скептического отношения к собственному исходному пункту основанная на здравом смысле теория разбивается по крайней мере на две части — реализм и эпистемологию; это дает возможность отвергнуть последнюю, заменив ее объективной теорией, использующей реализм.
   
  
  
   
    
Глава 3 
   
   
    
     
Эпистемология без субъекта знания{22}
    
    
Позвольте мне начать с некоторого признания. Хотя я и очень удачливый философ, у меня после жизни, проведенной в чтении лекций, нет иллюзий насчет того, что я могу передать в лекции. Поэтому я не буду пытаться убедить вас. Вместо этого я попытаюсь бросить вам вызов и, если удастся, спровоцировать вас.
   
   
    
     
1. Три тезиса об эпистемологии и третьем мире
    
    
Наверное, для тех, кто знает о моем отрицательном отношении к Платону и Гегелю, было бы вызовом, если бы я назвал свою лекцию «Теория платоновского мира» или «Теория объективного духа (spirit)».
    
Главной темой настоящего доклада будет то, что я — за неимением лучшего термина — обычно называю «третьим миром». Попытаюсь объяснить это выражение. Если использовать слова «мир» или «универсум» не в строгом смысле, то мы можем различить следующие три мира, или универсума: во-первых, мир физических объектов или физических состояний; во-вторых, мир состояний сознания, мыслительных (ментальных) состояний, и, возможно, предрасположений, диспозиций (dispositions) к действию; в-третьих, мир объективного содержания мышления, прежде всего содержания научных идей, поэтических мыслей и произведений искусства. 
    
Таким образом то, что я называю «третьим миром», по-видимому, имеет много общего с платоновской теорией форм или идей и, следовательно, также с объективным духом Гегеля, хотя моя теория в некоторых решающих аспектах радикальным образом отличается от теорий Платона и Гегеля. Еще больше общего она имеет с теорией Больцано об универсуме высказываний (propositions) в себе и истин в себе, но отличается также и от этой теории. Мой третий мир по своему смыслу ближе всего находится к универсуму объективного содержания мысли Фреге.
    
Конечно, эти мои разъяснения не следует понимать таким образом, что мы не можем перечислить наши миры совершенно другими способами или даже вообще их не перечислять. В частности, мы могли бы различить более чем три мира. Мой термин «третий мир» есть просто условное выражение.
    
Отстаивая концепцию объективного третьего мира, я надеюсь расшевелить (provoke) тех, кого я называю «философами мнения (belief)* — тех, кто подобно Декарту, Локку, Беркли, Юму, Канту или Расселу занимается исследованием наших субъективных мнений, их основаниями и происхождением. Выступая против философов мнения, я считаю, что наша задача состоит в том, чтобы находить лучшие решения наших проблем и более смелые теории, исходя при этом из критического предпочтения, а не из мнения.
    
Вместе с тем с самого начала я хочу признать, что я реалист: я полагаю, отчасти подобно наивному реалисту, что существует физический мир и мир состояний сознания и что они взаимодействуют между собой, и я считаю также, что существует третий мир — в смысле, который я объясню более полно далее.
    
Обитателями моего третьего мира являются прежде всего теоретические системы; не менее важными его жителями являются проблемы и проблемные ситуации. Однако его наиболее важными обитателями — это я буду специально доказывать — являются критические рассуждения и то, что — по аналогии с физическим состоянием или состоянием сознания — можно назвать состоянием дискуссий или состоянием критических споров; конечно, сюда относится и содержание журналов, книг и библиотек.
    
Большинство оппонентов идеи об объективном третьем мире, конечно, допускает, что существуют проблемы, предположения, теории, аргументы, рассуждения, журналы и книги. Но они обычно говорят, что все эти явления по своему характеру являются символическими или лингвистическими выражениями субъективных ментальных состояний или, возможно, поведенческих предрасположений к действию. По их мнению, эти явления представляют собой средства коммуникации, так сказать символические или лингвистические средства вызывать у других людей подобные ментальные состояния или поведенческие предрасположения к действию.
    
В противоположность этому я утверждаю, что все эти явления и их содержание нельзя относить ко второму миру.
    
Позвольте мне повторить одно из моих обычных обоснований[98] более или менее независимого существования третьего мира. Рассмотрим два мысленных эксперимента.
    
Эксперимент (1). Предположим, что все наши машины и орудия труда разрушены и уничтожены все наши субъективные знания, включая субъективные знания о машинах и орудиях труда и умение пользоваться ими. Однако библиотеки и наша способность учиться, усваивать их содержание выжили. Понятно, что после преодоления значительных трудностей наш мир может начать развиваться снова.
    
Эксперимент (2). Как и прежде, машины и орудия труда разрушены, уничтожены также и наши субъективные знания, включая субъективные знания о машинах и орудиях труда и умение пользоваться ими. Однако на этот раз уничтожены и все библиотеки, так что наша способность учиться, используя книги, становится невозможной.
    
Если вы поразмыслите над этими двумя экспериментами, то реальность, значение и степень автономии третьего мира (так же как и его воздействие на второй и первый миры), возможно, сделаются для вас немного более ясными. Действительно, во втором случае возрождение нашей цивилизации не произойдет в течение многих тысячелетий.
    
Я хочу в данной лекции обосновать три главных тезиса, которые относятся к эпистемологии, при этом эпистемологию я рассматриваю как теорию научного знания (см. Popper 1959, pp. 18-19).
    
Мой первый тезис состоит в следующем. Традиционная эпистемология исследует знание или мышление в субъективном смысле, то есть в духе обычного употребления слов «я знаю» или «я мыслю». По-моему, это приводит людей, занимающихся эпистемологией, к несообразностям: стремясь исследовать научное знание, они фактически исследуют нечто такое, что не имеет отношения к научному знанию, ибо научное знание не есть просто знание в смысле обычного использования слов «я знаю». В то время как знание в смысле «я знаю» принадлежит к тому, что я называю «вторым миром», миром субъектов, научное знание принадлежит к третьему миру, к миру объективных теорий, объективных проблем и объективных аргументов.
    
Таким образом, мой первый тезис состоит в том, что традиционная эпистемология, то есть эпистемология Локка, Беркли, Юма и даже Рассела, не соответствует в некотором строгом смысле этого слова стоящей перед ней цели. Следствием этого тезиса является то, что значительная часть современной эпистемологии также не соответствует своей цели. К ней относится, в частности, современная эпистемическая логика, если мы признаем, что ее задача состоит в построении теории научного знания. Однако любой эпистемический логик может легко избежать моей критики, если он просто заявит, что его целью не является развитие теории научного знания.
    
Мой первый тезис, следовательно, содержит утверждение о наличии двух различных смыслов понятий знания или мышления: (1) знание или мышление в субъективном смысле, состоящее из состояний ума, сознания или диспозиций действовать определенным образом; (2) знание или мышление в объективном смысле, состоящее из проблем, теорий и рассуждений, аргументов как таковых. Знание в этом объективном смысле в целом не зависит от чьих-либо претензий на знание чего-то; оно также не зависит от чьей-либо веры или предрасположения соглашаться, утверждать или действовать. Знание в объективном смысле есть знание без того, кто знает: оно есть знание без субъекта знания.
    
О мышлении в объективном смысле Фреге писал: «Под суждением я понимаю не субъективную деятельность мышления, а его объективное содержание»[99].
    
Два смысла понятия мышления и их интересные взаимоотношения могут быть проиллюстрированы следующей весьма убедительной цитатой из работы Гейтинга (Heyting А, 1962), который пишет о процессе открытия Брауэром теории континуума: «Если бы рекурсивные функции были известны раньше, он [Брауэр], возможно, не ввел бы понятия последовательности выбора, а это, по-моему, было бы печально» (Ibid., р. 195) (русский перевод — с. 226).
    
В этом утверждении Гейтинг, с одной стороны, ссылается на некоторые субъективные процессы мышления Брауэра и говорит, что они могли бы не произойти (что было бы печально), если бы объективная проблемная ситуация была бы другой. Гейтинг указывает некоторые возможные влияния на субъективные процессы мышления Брауэра и выражает свое мнение относительно ценности этих субъективных процессов мышления. Интересно отметить, что эти влияния как таковые должны быть субъективными: только субъективное знание Брауэром рекурсивных функций могло иметь свое печальное следствие — помешать ему изобрести последовательности свободного выбора.
    
С другой стороны, цитата из работы Гейтинга указывает на определенные объективные отношения между объективным содержанием двух разных мыслей или теорий: Гейтинг ссылается не на субъективные условия или электрохимию мозговых процессов Брауэра, а на объективную проблемную ситуацию в математике и ее возможные влияния на субъективные акты мышления Брауэра, которые были направлены на решение этих объективных проблем. Для описания этого можно сказать, что высказывание Гейтинга касается объективной ситуационной логики открытия Брауэра, то есть логики третьего мира, и оно свидетельствует о том, что ситуация в третьем мире может воздействовать на второй мир. Действительно, предположение Гейтинга, что было бы печально, если бы Брауэр не открыл последовательностей выбора, есть форма выражения того что объективное содержание мышления Брауэра ценно и интересно, то есть ценно и интересно в том отношении, в каком оно изменило объективную проблемную ситуацию в третьем мире.
    
Другими словами, если я говорю, что «мышление Брауэра испытало влияние Канта» или что «Брауэр отверг теорию пространства Канта», то я говорю — по крайней мере отчасти — об актах мышления в субъективном смысле: слово «влияние» указывает на контекст процессов или актов мышления. Однако если я говорю, что «мышление Брауэра в сильной степени отличается от кантовского», тогда совершенно ясно, что я говорю главным образом о содержании мышления. И наконец, если я говорю, что «мысли Брауэра несовместимы с мыслями Рассела», то путем использования такого логического термина, как «несовместимость», я недвусмысленно подчеркиваю, что употребляю слово «мысль» только во фрегевском объективном смысле и говорю лишь об объективном, или логическом, содержании теорий.
    
Аналогично тому как в обыденном языке нет, к сожалению, отдельных терминов для понятия «мышления» в смысле второго мира и в смысле третьего мира, так нет в нем и отдельных терминов для обозначения двух соответствующих смыслов понятий «я знаю» и «знание».
    
Для того, чтобы показать существование обоих смыслов понятия «знание», я сначала приведу три примера из второго мира, примеры субъективного характера:
    
(1) «Я знаю, что вы стремитесь спровоцировать меня, но я не дам себя спровоцировать».
    
(2) «Я знаю, что последняя теорема Ферма не была доказана, но я думаю, что она когда-нибудь будет доказана».
    
(3) Знание есть «состояние осведомленности или информированности» (из статьи «Знание» ("Knowledge") в «Оксфордском словаре английского языка» ("Oxford English Dictionary")).
    
Теперь я приведу три примера из третьего мира, примеры объективного характера:
    
(1) Знание есть «область изучения, наука, искусство» (из статьи «Знание» ("Knowledge") в «Оксфордском словаре английского языка»).
    
(2) Принимая во внимание современное состояние метаматематического знания, можно предположить, что последняя теорема Ферма является, по-видимому, неразрешимой.
    
(3) «Я подтверждаю, что эта диссертация является оригинальным и значительным вкладом в наше знание».
    
Эти довольно банальные примеры приведены лишь для того, чтобы помочь уяснить, что я имею в виду, когда говорю о «знании и познании в объективном смысле». Мое цитирование «Оксфордского словаря английского языка» не должно быть интерпретировано ни как уступка лингвистическому анализу, ни как попытка успокоить его сторонников. Цитируя его, я не пытался доказать, что «обычное употребление» слова «знание» покрывается его объективным смыслом, то есть смыслом в рамках моего третьего мира. На самом деле я был удивлен, когда обнаружил в «Оксфордском словаре английского языка» примеры объективного употребления термина «знание». (Я еще более удивился, когда обнаружил в нем даже некоторые, по крайней мере частичные, объективные употребления слова «знать», а именно такие: «различать..., быть знакомым с (некоторой вещью, местом, человеком); ...понимать». То, что эти употребления, возможно, являются частично объективными, станет ясным из последующего[100]. В любом случае все приведенные примеры не следует рассматривать как аргументы в пользу моей концепции. Они служат только для иллюстрации моих рассуждений.
    
Итак, мой первый тезис, до сих пор не доказанный, а только проиллюстрированный, состоит в том, что традиционная эпистемология с ее концентрацией внимания на втором мире, или знании в субъективном смысле, не имеет отношения к исследованию научного знания.
    
Мой второй тезис состоит в том, что эпистемология должна заниматься исследованием научных проблем и проблемных ситуаций, научных предположений (которые я рассматриваю просто как другое название для научных гипотез или теорий), научных дискуссий, критических рассуждений, той роли, которую играют эмпирические свидетельства в аргументации, и поэтому исследованием научных журналов и книг, экспериментов н их значения для научных рассуждений. Короче, для эпистемологии решающее значение имеет исследование третьего мира объективного знания, являющегося в значительной степени автономным.
    
Эпистемологическое исследование, как я характеризую его в моем втором тезисе, не предполагает, что ученые претендуют на то, что их предположения истинны, что они «познали» их в субъективном смысле слова «познать» или что они убеждены в них. И хотя в целом они не претендуют на то, что действительно «знают», они, развивая свои исследовательские программы, действуют на основе догадок о том, что является и что не является продуктивным и какая линия исследования обещает привести к обогащению третьего мира объективного знания. Другими словами, ученые действуют на основе догадок или, если хотите, субъективного убеждения (так мы можем называть субъективную основу некоторого действия) относительно того, что должно способствовать дальнейшему росту третьего мира объективного знания.
    
Сказанное, я полагаю, является аргументом в пользу как моего первого тезиса (об иррелевантности субъективистской эпистемологии), так и моего второго тезиса (о релевантности объективной эпистемологии).
    
Вместе с тем я выдвигаю еще и третий тезис. Он состоит в следующем: объективная эпистемология, исследующая третий мир, может в значительной степени пролить свет на второй мир субъективного сознания, особенно на субъективные процессы мышления ученых, но обратное не верно.
    
Таковы мои три главных тезиса.
    
Наряду с ними я формулирую три дополнительных тезиса.
    
Первый из них: третий мир есть естественный продукт человеческого существа, подобно тому как паутина является продуктом поведения паука.
    
Второй дополнительный тезис (я думаю, что он имеет очень важное значение): третий мир в значительной степени автономен, хотя мы постоянно воздействуем на него и подвергаемся воздействию с его стороны. Он является автономным, несмотря на то, что он есть продукт нашей деятельности и обладает сильным обратным воздействием на нас, то есть воздействием на нас как жителей второго и даже первого миров.
    
Третий дополнительный тезис: в результате указанного взаимодействия между нами и третьим миром происходит рост объективного знания, и существует тесная аналогия между ростом знания и биологическим ростом, то есть эволюцией растений и животных.
   
   
    
     
2. Биологический подход к третьему миру
    
    
В настоящем разделе я попытаюсь обосновать утверждение о существовании третьего мира с помощью некоторого биологического аргумента, касающегося биологической эволюции.
    
Биолог может интересоваться поведением животных, но он может также интересоваться и некоторыми неживыми структурами, которые производят животные, такими, как паутина пауков, гнезда, построенные осами или муравьями, норы барсуков, плотины, воздвигнутые бобрами, тропы, проложенные животными в лесах, и т. п.
    
Я буду различать две главные категории проблем, возникающие при исследовании таких структур. Первая категория состоит из проблем, имеющих дело с методами, используемыми животными, или формами, в которых выражается поведение животных, когда они создают такие структуры. Эта первая категория, таким образом, состоит из проблем, связанных с актами производства, с поведенческими предрасположениями животных и с отношениями между животными и их продуктами. Вторая категория проблем имеет дело со структурами самими по себе. Такие проблемы связаны с химическими свойствами материалов, используемых в структурах, с их геометрическими и физическими свойствами, с их эволюционными изменениями, зависящими от специфических условий соответствующей окружающей среды, с их зависимостью или приспособляемостью к этим условиям окружающей среды. Существенно важным является наличие обратной связи от свойств тех или иных структур к поведению животных. Говоря о второй категории проблем, то есть о структурах самих по себе, мы должны смотреть на эти структуры с точки зрения их биологических функций. Поэтому некоторые проблемы первой категории возникают тогда, когда мы обсуждаем проблемы второй категории, например «как было построено это гнездо?» или «какие аспекты его структуры являются типичными (и, следовательно, традиционными или врожденными), а какие — вариантами, приспособленными к данным специфическим условиям?»
    
Как показывают только что сформулированные вопросы, проблемы первой категории, то есть такие, которые касаются создания соответствующих структур, иногда возникают в связи с проблемами второй категории. Это и должно быть именно так, поскольку обе категории проблем зависят от того, что такие объективные структуры существуют, то есть от некоторого факта, который сам принадлежит ко второй категории. Поэтому можно сказать, что существование структур самих по себе создает обе категории проблем. Мы можем также сказать, что вторая категория проблем, то есть категория проблем, связанные со структурами самими по себе, является более фундаментальной: все, что она берет из первой категории в качестве некоторого своего предварительного условия, есть просто тот факт, что определенные структуры производятся соответствующим образом некоторыми животными.
    
Высказанные соображения могут быть, конечно, применены и к продуктам человеческой деятельности, таким, как дома, орудия труда или произведения искусства. Особенно важно для нас то, что они применимы и к тому, что мы называем «языком» и «наукой»[101].
    
Связь между высказанными биологическими соображениями и основной темой настоящею доклада можно прояснить, переформулировав мои главные тезисы. В соответствии с этим мой первый тезис может быть сформулирован следующим образом: немного существует вещей в современной проблемной ситуации в философии, которые так же важны, как знание различия между двумя категориями проблем — проблемами производства, с одной стороны, и проблемами, связанными с произведенными структурами самими по себе, — с другой. Мой второй тезис в этом случае будет звучать так: вторая категория проблем, то есть проблемы, связанные с продуктами самими по себе, является практически во всех отношениях более важной, чем первая категория проблем, то есть проблемы производства структур. Мой третий тезис состоит в том, что проблемы второй категории представляют собой основу для понимания проблем производства структур: в противоположность нашему первому впечатлению мы действительно можем больше узнать о поведении животных, изучая произведенные ими продукты сами по себе, чем мы можем узнать о продуктах путем изучения поведения животных во время производства этих продуктов. Этот третий тезис является антибихевиористским и антипсихологистическим.
    
Если теперь три мои главных тезиса применить к тому, что может быть названо «знанием» или «познанием», то их можно будет сформулировать таким образом:
    
(1) Мы должны постоянно учитывать различие между, с одной стороны, проблемами, связанными с нашим личным вкладом в производство научного знания, и, с другой стороны, проблемами, связанными со структурой различных продуктов нашей деятельности, таких как научные теории или научные аргументы.
    
(2) Мы должны понимать, что исследование продуктов деятельности является в существенной степени более важным, чем исследование производства этих продуктов, причем даже для понимания самого такого производства и его методов.
    
(3) Мы можем больше узнать об эвристике и методологии и даже психологии научного исследования в результате изучения теорий и аргументов, выдвигаемых за или против теорий, чем непосредственно используя какой либо бихевиористский, психологический или социологический подход. Вообще говоря, мы можем много чего узнать о поведении и психологии человека из исследования продуктов его деятельности.
    
Подход к знанию (познанию) со стороны продуктов деятельности, то есть теорий и аргументов, я буду называть «объективным» подходом, или подходом с позиций «третьего мира». Бихевиористский, психологический и социологический подходы к научному знанию или познанию я буду называть «субъективными» подходами, или подходами с позиций «второго мира».
    
Привлекательность субъективного подхода в значительной степени объясняется тем, что он является каузальным — ведь я признаю, что объективные структуры, которым я приписываю принципиальное значение, порождаются человеческим поведением. Будучи каузальным, субъективный подход может казаться более научным, чем объективный, который, так сказать, начинает со следствий, а не с причин.
    
Хотя я признаю, что объективные структуры являются продуктами поведения животных, я считаю, однако, субъективный подход ошибочным, Во всех науках обычный подход состоит в том, что переходят от следствий к причинам. Следствие порождает проблему, которая должна быть объяснена, то есть экспликандум, и ученый пытается решить ее посредством построения объяснительной гипотезы.
    
Мои три главных тезиса, в которых подчеркивается значение объективного продукта деятельности, тем самым не являются ни телеологическими, ни ненаучными.
   
   
    
     
3. Объективность и автономия третьего мира
    
    
Мнение, согласно которому без читателя книга ничего собой не представляет, является одной из главных причин ошибочного субъективного подхода к знанию. Книга якобы становится настоящей книгой только тогда, когда она понята; в противном же случае она просто бумага с черными пятнами на ней.
    
Этот взгляд ошибочен по многим пунктам. Осиное гнездо является осиным гнездом, даже если оно было покинуто и даже если оно никогда снова не использовалось осами как гнездо. Птичье гнездо является птичьим гнездом, даже если в нем никогда не жили птицы. Аналогичным образом книга остается книгой — определенным видом продукта человеческой деятельности, даже если она никогда не была прочитана (как часто происходит сегодня).
    
Отметим, что некоторые книги или даже целые библиотеки книг не нуждаются в том, чтобы быть написанными кем-либо: книги, содержащие таблицы логарифмов, например, могут быть созданы и отпечатаны вычислительной машиной. Они могут быть лучшими книгами, содержащими логарифмы, то есть содержать логарифмы вплоть, скажем, до одной миллионной. Они могут быть посланы в библиотеки, однако оказаться бесполезными. Во всяком случае, могут пройти годы, прежде чем кто-либо воспользуется ими, причем на многие данные в них (в которых выражаются некоторые математические теоремы), возможно, никогда не обратят внимания в продолжение всей истории существования человека на Земле. Однако каждая из этих цифр содержит то, что я называю «объективным знанием», и вопрос о том, имею ли я право называть ее так, не имеет значения.
    
Пример с книгами, содержащими логарифмы, может показаться искусственным. Но это не так. Я должен сказать, что почти каждая книга подобна этому примеру: она содержит объективное знание, истинное или ошибочное, полезное или бесполезное, а прочитает ли ее кто-либо когда-нибудь и действительно поймет ее содержание — это почти случайность. Человек, который читает книгу с пониманием, — редкое создание. И даже если бы он был более обычным явлением, всегда имело бы место много случаев неправильного понимания и неправильного истолкования книг. Черные пятна на белой бумаге превращаются в книгу, в знание в объективном смысле не потому, что мы фактически и отчасти случайно избежали такого неправильного понимания. Скорее здесь речь идет о чем-то более абстрактном. Именно возможность или потенциал некоторой вещи быть понятой, ее диспозициональный характер быть понятой и интерпретированной или неправильно понятой и неправильно интерпретированной делает ее книгой. И эта потенциальная возможность, или диспозиция, книги может существовать, не будучи когда-либо актуализованной или реализованной.
    
Чтобы понять это более четко, можно представить себе следующую ситуацию. После того как человеческий род исчезнет, некоторые книги или библиотеки, возможно, будут найдены некоторыми нашими цивилизованными потомками (не имеет значения, будут ли они земными живыми существами, которые сделались цивилизованными людьми, или некоторыми пришельцами из космоса). Эти книги могут быть дешифрованы. Предположим, что они могут оказаться теми логарифмическими таблицами, которые никогда не были ранее прочитаны. Из этого совершенно ясно следует, что для превращения некоторой вещи в книгу несущественно ни ее составление мыслящими животными, ни тот факт, что она в действительности не была прочитана или понята, — для этого достаточно лишь того, что она могла бы быть дешифрована.
    
Таким образом, я действительно признаю, что для того, чтобы принадлежать третьему миру объективного знания, книга должна (в принципе, в возможности) обладать способностью быть постигнутой (дешифрованной, понятой или «познанной») кем-то. Однако ничего большего я не признаю.
    
Итак, мы можем сказать, что существует некий вид платоновского (или соответствующего идеям Больцано) третьего мира книг самих по себе, теорий самих по себе, проблем самих по себе, проблемных ситуаций самих по себе, рассуждений самих по себе и т.д. Кроме того, я полагаю, что, хотя этот третий мир есть человеческий продукт, существует много теорий самих по себе, рассуждений самих по себе и проблемных ситуаций самих по себе, которые никогда не были созданы или поняты и, возможно, никогда не будут созданы или поняты людьми.
    
Тезис о существовании такого третьего мира проблемных ситуаций обычно рассматривается многими как исключительно метафизический и сомнительный. Однако его можно защитить ссылкой на то, что у него существует биологическая аналогия. Например, полную аналогию ему можно найти в области создания птичьих гнезд. Несколько лет назад я получил в качестве подарка для моего сада ящик-гнездо для птиц. Этот ящик-гнездо был, конечно, продуктом человеческой деятельности, а не продуктом деятельности птиц, так же как наши таблицы логарифмов являются результатом работы вычислительной машины, а не продуктом деятельности человека. Однако в контексте птичьего мира это гнездо было частью проблемной ситуации, объективной возможностью. В течение нескольких лет птицы в моем саду, как кажется, не замечали ящика-гнезда. Однако затем он был тщательно осмотрен некоторыми синицами, которые даже начали обустраиваться в нем, но очень скоро отказались от этого. Очевидно, здесь имелась некоторая возможность, которую можно было уловить (graspable), хотя, конечно, и не особенно ценная. Во всяком случае здесь существовала проблемная ситуация. И проблема, возможно, будет решена на следующий год другими птицами. Если этого не произойдет, то, может быть, иной ящик окажется более подходящим. Вместе с тем самый удобный ящик могут убрать, прежде чем он когда-либо будет использован. Вопрос об адекватности ящика является явно объективным вопросом, а использовался он когда-либо или нет, — это до некоторой степени дело случая. Так обстоит дело со всеми экологическими нишами. Они содержат потенциальные возможности и могут быть исследованы как таковые объективным способом в соответствии с существующей проблемой, независимо от вопроса, будут ли когда-либо эти потенциальные возможности реализованы каким-либо живым организмом. Бактериолог знает, как подготовить такую экологическую нишу для культуры определенной бактерии или плесени. Она может быть совершенно адекватной для своей цели. Будет ли она когда-либо использована или заселена — это другой вопрос.
    
Большая часть объективного третьего мира реальных и потенциальных теорий, книг и рассуждений возникает в качестве непреднамеренного побочного продукта реально созданных книг и рассуждений. Мы можем также сказать, что это есть побочный продукт человеческого языка. Сам язык, подобно гнезду птицы, есть непреднамеренный побочный продукт действий, которые были направлены на другие цели.
    
Каким образом возникают в джунглях тропы животных? Некоторые животные прорываются через мелколесье, чтобы достичь водопоя. Другие животные находят, что легче всего использовать тот же самый путь. В результате использования этого пути он может быть расширен и улучшен. Он не планируется, а является непреднамеренным следствием потребности в легком и быстром передвижении. Именно так первоначально создается какая-нибудь тропа — возможно, также людьми — и именно так могли возникнуть язык и любые другие институты, оказывающиеся полезными. И именно этому они обязаны своим существованием и возрастанием своей полезности. Они не планируются и не предполагаются; более того, в них, возможно, нет необходимости, прежде чем они возникнут. Однако они могут создавать новую потребность или новый ряд целей: структуры целей животных или людей не являются «данными», они развиваются с помощью некоторого рода механизма обратной связи из ранее поставленных целей и из тех конечных результатов, к которым стремятся[102].
    
Таким образом, может возникнуть целый новый универсум возможностей, или потенциальностей — мир, который в значительной степени является автономным.
    
Самый яркий пример в этом отношении представляет собой сад. Хотя он мог быть спланирован с чрезвычайной заботой, в дальнейшем он, как правило, принимает частично неожиданные формы. Но даже если он и потом оказывается четко спланированным, некоторые неожиданные взаимоотношения между спланированными объектами в саду могут порождать целый универсум возможностей — новых возможных целей и проблем.
    
Мир языка, предположений, теорий и рассуждений, короче — универсум объективного знания является одним из самых важных универсумов, созданных человеком и в то же время в значительной степени автономных.
    
Идея автономии является центральной в моей теории третьего мира: хотя третий мир есть человеческий продукт, человеческое творение, он в свою очередь создает свою собственною область автономии. То же самое происходит и с продуктами деятельности других животных. Примеры этого весьма многочисленны. Возможно, самые поразительные из них могут быть обнаружены в теории натуральных чисел — в любом случае именно они должны рассматриваться нами в качестве стандартных примеров.
    
При всем уважении к Кронекеру, я соглашаюсь с Брауэром, что последовательность натуральных чисел есть человеческая конструкция. Хотя эту последовательность создаем мы, она в свою очередь создает свои собственные автономные проблемы. Различие между нечетными и четными числами не порождается нами: оно есть непреднамеренное и неизбежное следствие нашего творчества. Конечно, простые числа также являются непреднамеренно автономными и объективными фактами; очевидно, что в этой области существует много фактов, которые мы можем открыть — так возникают предположения, подобные гипотезе Гольдбаха{23}. И эти предположения, хотя и связаны косвенным образом с результатами нашего творчества, непосредственно касаются проблем и фактов, которые отчасти возникают из нашего творчества; мы не можем управлять этими проблемами и фактами или влиять на них: это упрямые (hard) факты и истину о них очень часто нелегко (hard) обнаружить.
    
Вес это является иллюстрацией того, что я имею в виду, когда говорю, что третий мир является в значительной степени автономным, хотя и созданным нами.
    
Вместе с тем эта автономия третьего мира является лишь частичной: новые проблемы приводят к новым творениям и конструкциям, таким как рекурсивные функции или последовательности свободного выбора Брауэра, добавляя тем самым новые объекты к третьему миру. И каждый такой шаг будет создавать новые непреднамеренные факты, новые неожиданные проблемы, а часто также и новые опровержения[103].
    
Существует также обратная связь, направленная от наших творений на нас, из третьего мира на второй. Это воздействие исключительно важно, ибо новые насущные проблемы стимулируют нас на новые творения.
    
Указанный процесс может быть описан следующей упрощенной схемой (см. также далее — гл. 6, с. 235-236):
    
     
Р1→ТТ→ЕЕ→Р2.
    
    
Иначе говоря, мы начинаем с некоторой проблемы Pi, переходим к предположительному, пробному ее решению или предположительной, пробной теории ТТ,которая может быть (частично или в целом) ошибочной. Эта теория обязательно подвергается процессу устранения ошибок ЕЕ,который может состоять из критического обсуждения или экспериментальных проверок. Новые проблемы Р2 всегда возникают из нашей собственной творческой деятельности, но они не создаются нами преднамеренно, они возникают автономно в области новых отношений, появлению которых мы не в состоянии помешать никакими действиями, как бы активно к этому ни стремились.
    
Автономия третьего мира и обратное воздействие третьего мира на второй и даже на первый миры представляют собой один из самых важных фактов роста знания.
    
Развивая наши биологические соображения, легко увидеть, что они имеют исключительное значение для теории дарвиновской эволюции: они объясняют, как мы можем поднять себя за волосы. Если использовать «высокую» терминологию, то можно сказать, что они помогают объяснить явление «эмерджентности».
   
   
    
     
4. Язык, критика и третий мир
    
    
Самыми важными творениями человеческой деятельности являются высшие функции человеческого языка, прежде всего дескриптивная и аргументативная. При этом важнейшее значение имеет и обратное воздействие этих функций на нас, особенно на наш интеллект.
    
Человеческие языки, как и языки животных, имеют две низшие функции: (1) самовыражения и (2) сигнализации. Функция самовыражения, или симптоматическая функция, очевидна: у всех животных язык симптоматичен для состояния некоторого организма. Функция сигнализации, или функция высвобождения, также очевидна: мы не называем какой-либо симптом «языковым», если не предполагаем, что он может вызвать ответную реакцию в другом организме.
    
Этими двумя низшими функциями обладают языки всех животных и все языковые феномены. Однако человеческий язык имеет много других функций[104]. Как ни странно, самые важные из высших функций языка остались не замечены почти всеми философами. Объяснить этот странный факт можно тем, что обе низшие функции языка всегда присутствуют тогда, когда присутствуют высшие функции, так что любое языковое явление всегда можно «объяснить» на основе низших функций как «выражение» или «коммуникацию».
    
Двумя самыми важными высшими функциями человеческих языков являются (3) дескриптивная и (4) аргументативная функции[105].
    
Вместе с дескриптивной функцией человеческого языка возникает регулятивная идея истины, то есть идея описания, соответствующего фактам[106].
    
Другими регулятивными, или оценочными, идеями являются содержание, истинностное содержание и правдоподобность[107].
    
Аргументативная функция человеческого языка предполагает дескриптивную функцию: аргументы по существу имеют дело с описаниями, они критикуют описания с точки зрения регулятивных идей истины, содержания и правдоподобности.
    
Теперь следует остановиться на двух очень важных для данных рассуждений вопросах:
    
 (1) Не имея экзосоматического дескриптивного языка, то есть языка, который, подобно инструменту, создается и развивается вне тела, мы не можем подвергнуть критическому обсуждению ни один объект. Однако вместе с развитием дескриптивного языка (и в дальнейшем — письменного языка) может возникать лингвистический третий мир. Лишь таким путем, лишь в этом третьем мире могут развиваться проблемы и стандарты рациональной критики.
    
(2) Именно это развитие высших функций языка и привело к формированию нашей человеческой природы, нашего разума, ибо наша способность рассуждать есть не что иное, как способность критического аргументирования.
    
Этот второй пункт свидетельствует о поверхностном характере всех тех теорий человеческого языка, интерес которых фокусируется на функциях выражения и коммуникации. Как мы увидим в дальнейшем, структура человеческого организма, который, как часто говорят, предназначен выражать себя, зависит в очень значительной степени от возникновения двух высших функций языка.
    
В ходе эволюции аргументативной функции языка критицизм становится главным инструментом дальнейшего роста этой функции. (Логика может рассматриваться как органон критики — см. Popper 1963, р. 64). Автономный мир высших функций языка делается миром науки. И схема, первоначально значимая как для животного мира, так и для примитивного человека, то есть
    
     
Р1→ТТ→ЕЕ→Р2, 
    
    
становится схемой роста знания путем устранения ошибок посредством систематической рациональной критики. Она делается схемой поиска истины и содержания путем рационального обсуждения. Эта схема описывает способ, которым мы поднимаем себя за волосы. Она дает рациональное описание эволюционной эмерджентности, описание нашей самотрансцендентальности, выхода за собственные пределы посредством отбора и рациональной критики.
    
Подытоживая сказанное, следует подчеркнуть, что, хотя значение слова «знание» ("knowledge"), как и значения всех других слов, несущественно, важно различать разные смыслы данного слова:
    
(1) субъективное знание, которое состоит из определенных врожденных предрасположений действовать и из их приобретенных модификаций;
    
(2) объективное знание, например научное знание, которое состоит из предположительных теорий, открытых проблем, проблемных ситуаций и аргументов.
    
Всякая научная деятельность есть деятельность, направленная на рост объективного знания. Мы являемся работниками, которые способствуют росту объективного знания, подобно каменщикам, строящим собор.
    
Наша деятельность в науке подвержена ошибкам, подобно любой человеческой деятельности. Мы постоянно совершаем ошибки. Мы не можем достичь объективных стандартов —- стандартов истинности, содержательности, достоверности и других.
    
Язык, формулирование проблем, появление новых проблемных ситуаций, конкурирующие теории, взаимная критика в процессе дискуссии — все это является необходимыми средствами роста науки. Самыми важными функциями, или измерениями, человеческого языка (которыми язык животных не обладает) являются дескриптивная и аргументативная. Эти функции, конечно, развиваются благодаря нашей деятельности, хотя они являются результатом непреднамеренных последствий наших действии. Лишь в границах языка, определенным образом обогащенного, становится возможным существование критического рассуждения и знания в объективном смысле.
    
Влияние эволюции третьего мира на нас (или последствия обратной связи с ним) — на наш мозг, на наши традиции (если бы кто-либо должен был начать с того места, с которого начал Адам, он не сумел бы пойти дальше Адама), на наши предрасположения действовать (то есть на наши убеждения (beliefs) [108]) и наши действия — едва ли может быть переоценено.
    
В противоположность всему этому традиционная эпистемология интересуется лишь вторым миром: знанием как определенным видом мнения (belief) — оправданного мнения, такого как мнение, основанное на восприятии. По этой причине данный вид философии мнения не может объяснить (и даже не пытается объяснить) такое важнейшее явление, как критика учеными своих теорий, которой они убивают эти теории. Ученые пытаются устранить свои ошибочные теории, они подвергают их испытанию, чтобы позволить этим теориям умереть вместо себя. Тот же, кто просто верит (the believer), будь это животное или человек, погибает вместе со своими ошибочными убеждениями.
   
   
    
     
5. Исторические замечания
    
    
     
      
5.1. Платонизм и неоплатонизм
     
     
Всем известно, что Платон был первооткрывателем третьего мира. Как заметил Уайтхед, вся западная философия состоит из примечаний к Платону.
     
Я сделаю только три кратких замечания о Платоне, два из них — критические.
     
(1) Платон открыл не только третий мир, но и — отчасти — влияние, или обратное воздействие, третьего мира на нас самих. Он понимал, что мы пытаемся постигать идеи, составляющие его третий мир, а также и то, что мы используем их как объяснения.
     
(2) Третий мир Платона божествен, он неизменяем и, конечно, истинен. Таким образом, существует огромнейшая пропасть между его и моим третьим миром: мой третий мир создан человеком и изменяется.
     
Он содержит не только истинные, но также и ошибочные теории, а также — что особенно важно — открытые проблемы, предположения и опровержения.
     
И в то время как Платон, величайший мастер диалектического рассуждения, видел в последнем просто путь, ведущий к третьему миру, я считаю рассуждения, аргументы самыми важными обитателями третьего мира, не говоря уже об открытых проблемах.
     
(3) Платон считал, что третий мир Форм и Идей обеспечит нас окончательными объяснениями (то есть объяснениями через сущности — см. Popper, 1963, ch.3). Так, он, например, писал: «Если существует что-либо прекрасное помимо прекрасного самого по себе, оно, мне кажется, не может быть прекрасным иначе, как через причастность прекрасному самому по себе. Так же я рассуждаю и во всех остальных случаях» (Платон. Федон. 100 с).
     
Платоновская теория — это теория окончательного объяснения, то есть объяснения, чьи экспликанты не могут быть объясненными и не нуждаются в дальнейшем объяснении. Это теория объяснения посредством сущностей, то есть посредством гипостазированных слов.
     
В конечном счете Платон рассматривал объекты третьего мира как нечто подобное нематериальным вещам или, возможно, подобное звездам или созвездиям, которые наши умы могут пристально рассматривать и интуитивно постигать, но с которыми они не в состоянии соприкасаться. Вот почему обитателями третьего мира — мира Форм и Идей — становятся понятия о вещах, сущности или природы вещей, а не теории, рассуждения или проблемы.
     
Эта концепция имела далеко идущие последствия для истории философии. От Платона до наших дней большинство философов были или номиналистами[109], или, как я их называю, эссенциалистами. Их больше интересует (сущностное) значение слов, чем истинность или ошибочность теорий.
     
Суть этой проблемы я часто изображаю в виде таблицы, представленной на с. 125.
     
С моей точки зрения, левая сторона этой таблицы играет менее важную роль по сравнению с ее правой стороной: нас должны интересовать теории, истинность, аргументы. Если еще так много философов и ученых думают, что понятия и системы понятий (и проблемы их значений или значений слов) сравнимы по важности с теориями и теоретическими системами (и проблемами их истинности или истинности входящих в них высказываний), то это значит, что они все еще разделяют главную ошибку Платона[110], ибо понятия являются отчасти средством формулирования теорий, отчасти средством их краткого подытоживания. В любом случае значение понятий прежде всего инструментальное, и одни понятия всегда можно заменить другими понятиями.
     
Содержание мышления и его объекты, по-видимому, играли важную роль в стоицизме и неоплатонизме: Плотин сохраняет платоновское разделение между эмпирическим миром и миром Форм и Идей. Однако, подобно Аристотелю [111], Плотин разрушает трансцендентность платоновского мира путем помещения его в сознание Бога.
     
     
Плотин критикует Аристотеля за неспособность провести различение между Первым Гипостазисом (Единым) и Вторым Гипостазисом (Божественным интеллектом). Однако он следует за Аристотелем в отождествлении божественных актов мышления с их содержанием или объектами. Плотин развил этот взгляд в результате рассмотрения Форм и Идей умопознаваемого мира Платона как имманентных состояний сознания божественного интеллекта [112].
    
    
     
      
5.2. Гегель
     
     
Гегель был своего рода платоником (или скорее неоплатоником), а также, как и Платон, своего рода гераклитианцем. Он был таким платоником, чей мир Идей изменялся, развивался. «Формы» или «Идеи» Платона объективны и не имеют ничего общего с идеями сознания в субъективном мышлении; они населяют божественный, неизменяемый, небесный мир (надлунный в аристотелевском смысле слова). В противоположность этому гегелевские Идеи, подобно Идеям Плотина, — явления сознания: они суть мысли, думающие себя сами и населяющие некоторого рода сознание, некоторого рода мышление или «Дух», и вместе с этим «Духом» они изменяются и развиваются. То обстоятельство, что гегелевские «Объективный дух» и «Абсолютный дух» подвержены изменению, является единственным пунктом, в котором его Дух более подобен моему «третьему миру», чем мир Идей Платона (или мир «высказываний самих по себе» Больцано).
     
Самые важные различия между гегелевским «Объективным духом» и «Абсолютным духом», с одной стороны, и моим «третьим миром», с другой, состоят в следующем:
     
(1) Согласно Гегелю, хотя Объективный дух (включая произведения искусства) и Абсолютный дух (включая философию) состоят из продуктов деятельности человека, последний не является творческим существом. По Гегелю, лишь гипостазированный Объективный дух, лишь божественное самосознание Универсума двигает человеком: «отдельные лица... суть орудия», орудия Духа Эпохи, и их работа, «субстанциональное содержание их работы» «подготовляется и предназначается независимо от них» (ср. Hegel 1830, параграф 551). Таким образом, то, что я называю автономией третьего мира и обратным воздействием этого мира на человека становится у Гегеля всемогущим: это один из аспектов его системы, в котором проявляется теологическая подоснова его мысли. В противоположность этому я утверждаю, что индивидуальный творческий элемент, отношение между человеком и его работой, характеризуемое как «я тебе, ты мне», взаимный обмен между ними имеют огромнейшее значение. У Гегеля же это вырождается в концепцию, согласно которой великий человек есть нечто, подобное медиуму, в котором Дух Эпохи выражает себя.
     
(2) Несмотря на некоторое поверхностное сходство между гегелевской диалектической и моей эволюционной схемой
     
      
Р1→ ТТ → ЕЕ → Р2,
     
     
между ними имеется фундаментальное различие. Моя схема работает посредством устранения ошибок, а на научном уровне — посредством сознательной критики, осуществляемой под контролем регулятивной идеи поиска истины.
     
Критика же состоит в поиске противоречий и их устранении: трудность, вызванная требованием их устранения, создает новую проблему Р2. Таким образом, устранение ошибок ведет к объективному росту нашего знания — знания в объективном смысле. Оно ведет к росту объективной правдоподобности, что дает возможность приблизиться к (абсолютной) истине.
     
Вместе с тем Гегель является релятивистом[113]. Он считает, что наша задача состоит не в том, чтобы искать противоречия с целью их устранения, ибо он полагает, что противоречия так же хороши, как и (или даже еще лучше, чем) непротиворечивые теоретические системы: они обеспечивают механизм, посредством которого Дух движет себя вперед. Таким образом, рациональная критика, так же как и человеческое творчество [114] не играет никакой роли в гегелевском автоматизме.
     
(3) В то время как Платон разрешает своим гипостазированным Идеям населять некоторое небесное царство, Гегель персонализирует свой Дух в некое божественное сознание — Идеи живут в нем так же, как человеческие идеи живут в человеческом сознании. В целом его учение состоит в том, что Дух не только мыслит, но и сам является неким субъектом. В противоположность этому мой третий мир не похож ни на какое человеческое сознание. И хотя его первыми обитателями являются продукты человеческого сознания, они в целом отличаются от идей сознания, или от мыслей в субъективном смысле.
    
    
     
      
5.3. Больцано и Фреге
     
     
Ясно, что такие понятия Больцано, как высказывания сами по себе и истины сами по себе, являются жителями моего третьего мира. Однако Больцано очень далек от понимания их отношений с остальным миром [115].
     
В некотором смысле именно центральную трудность Больцано я и пытался разрешить, сравнивая статус и автономию третьего мира со статусом и автономией продуктов деятельности животных, а также посредством указания на то, как третий мир возникает в результате действия высших функций человеческого языка.
     
Что касается Фреге, то он, несомненно, ясно различал субъективные акты мышления, или мышление в субъективном смысле, и объективное мышление, или содержание мысли[116].
     
Возможно, интерес Фреге к придаточным предложениям и к косвенной речи сделал его отцом современной эпистемической логики[117]. Однако я думаю, что его никоим образом нельзя подвергать такой критике, которой заслуживает эпистемическая логика и которую я собираюсь изложить далее (см. раздел 7): насколько я могу судить, обсуждая эти вопросы, он не думал об эпистемологии — в смысле теории научного знания.
    
    
     
      
5.4. Эмпиризм
     
     
Эмпиризм Локка, Беркли и Юма должен быть понят в свете исторической обстановки: его главной проблемой была, говоря упрощенно, «религия против иррелигиозности», или, более точно, рациональное оправдание, или оправдываемость (justifiability), христианства по отношению к научному знанию.
     
Это объясняет, почему знание во всех произведениях этих авторов рассматривалось как вид мнения, убеждения или веры (belief) — веры, оправдываемой эмпирическими данными, особенно данными восприятия, свидетельством наших органов чувств.
     
Хотя точки зрения Локка, Беркли[118] и Юма по вопросу об отношении науки и религии абсолютно различаются, они приходят к согласию по существу в требовании (которое Юм иногда понимает как недосягаемый идеал), что мы должны отвергать все суждения (и особенно суждения с экзистенциальным смыслом), которые не имеют удовлетворительных свидетельств в свою пользу, и принимать только те суждения, в пользу которых имеются достаточные свидетельства, то есть которые могут быть доказаны или проверены свидетельством наших органов чувств.
     
Данную позицию можно проанализировать различными путями. До некоторой степени самый общий анализ мог бы быть представлен в виде следующей цепи равенств или эквивалентных утверждений, большинство из которых может быть подкреплено цитатами из произведений английских эмпириков и даже из Рассела[119]:
     
р верифицировано или доказано чувственным опытом = существует достаточная причина или оправдание для нашей веры в р = мы полагаем, судим, утверждаем, соглашаемся или знаем, что р истинно = р истинно = p.
     
Эту позицию, сливающую воедино свидетельство (или доказательство) и утверждение, которое должно быть доказано, характеризует одно примечательное обстоятельство, а именно: любой, кто утверждает это, должен отвергать закон исключенного третьего, ибо очевидно, что может возникнуть такая ситуация (на самом деле ее можно считать практически нормальной ситуацией), когда ни р, ни не-р не могут быть полностью подкреплены, или доказаны, доступными свидетельствами. Однако, по-видимому, это не было замечено никем до Брауэра.
     
Указанная неспособность заметить фактический отказ от закона исключенного третьего особенно поразительна у Беркли. Действительно, если esse = percipi, тогда истина любого высказывания о реальности может быть установлена только перцептивными высказываниями. Однако Беркли, в значительной степени подобно Декарту, предлагает нам в своих «Трех разговорах...»[120] отвергать р, если не существует основания верить в него. Отсутствие же таких оснований может быть совместимо с отсутствием оснований верить в не-p.
    
   
   
    
     
6. Оценка и критика эпистемологии Брауэра
    
    
В настоящем разделе я хочу отдать дань уважения Л. Э. Я. Брауэру[121]. Было бы самонадеянным для меня хвалить и тем более самонадеянным критиковать Брауэра как математика. Однако, возможно, мне будет позволительно критиковать его эпистемологию и его философию интуиционистской математики. Я осмеливаюсь на это только в надежде сделать вклад, каким бы он ни был маленьким, в прояснение и дальнейшее развитие идей Брауэра.
    
В своей лекции 1912 года (Brouwer 1914) Брауэр начинает с Канта. Он говорит, что в свете неевклидовой геометрии интуиционистская философия геометрии Канта, то есть его концепция чистой интуиции пространства, должна быть отброшена. Однако, говорит Брауэр, нет необходимости делать это, так как мы можем арифметизировать геометрию: мы можем прямо основываться на кантовской теории арифметики и на его концепции, что арифметика опирается на чистую интуицию времени.
    
Я чувствую, что эта позиция Брауэра более не может быть принята. Действительно, если мы говорим, что кантовская теория пространства сокрушена, перечеркнута неевклидовой геометрией, тогда мы должны сказать, что его теория времени сокрушена специальной теорией относительности, так как Кант говорит совершенно явно, что имеется только одно время и что интуитивная идея (абсолютной) одновременности является решающим аргументом в этом отношении[122].
    
Можно было бы утверждать, подобно тому, как это делал Гейтинг[123] что Брауэр не смог бы развить свои эпистемологические и философские идеи об интуиционистской математике, если бы знал в то время об аналогии между эйнштейновской релятивизацией времени и неевклидовой геометрией. Перефразируя Гейтинга, можно сказать, что это было бы печально.
    
Однако маловероятно, что на Брауэра произвела бы сильное впечатление специальная теория относительности. Он мог бы перестать ссылаться на Канта как на предшественника своего интуиционизма, но он мог бы сохранить свою собственную теорию личного времени — времени нашего собственного личного и непосредственного опыта (см. Brouwer 1949). Относительность никак не влияет на эту его теорию, хотя и влияет на теорию Канта.
    
Таким образом, нет необходимости рассматривать Брауэра как кантианца. Однако мы не можем так уж легко обособлять его от Канта, ибо идея интуиции у Брауэра и использование им термина «интуиция» не могут быть полностью поняты без анализа такой его предпосылки, как кантовская философия.
    
Для Канта интуиция есть источник знания. И «чистая» интуиция («чистая интуиция пространства и времени») является неисчерпаемым источником знания: из нее берет начало абсолютная уверенность (certainty). Это чрезвычайно важно для понимания идей Брауэра, который явно заимствует у Канта эту эпистемологическую концепцию.
    
Рассматриваемая концепция имеет свою историю. Кант взял ее у Плотина, Фомы Аквинского, Декарта и др. Первоначально интуиция означала, конечно, восприятие: это есть то, что мы видим или воспринимаем, когда смотрим на некоторый объект или пристально его рассматриваем. Однако, начиная по крайней мере уже с Плотина, разрабатывается противоположность между интуицией, с одной стороны, и дискурсивным мышлением — с другой. В соответствии с этим интуиция есть божественный способ познания чего-то лишь одним взглядом, в один миг, вне времени, а дискурсивное мышление есть человеческий способ познания, состоящий в том, что мы в ходе некоторого рассуждения, которое требует времени, шаг за шагом развертываем нашу аргументацию.
    
Кант защищает (направленную против Декарта) концепцию, состоящую в том, что мы не владеем способностью интеллектуальной интуиции и что по этой причине наш интеллект, наши понятия остаются пустыми или аналитическими, если они в действительности не применены к материалу, который поставляют нам наши чувства (чувственная интуиция), или если они не являются «понятиями, сконструированными в нашей чистой интуиции пространства и времени»[124]. Только таким путем мы можем получить синтетическое знание a priori: наш интеллект в его существенных чертах дискурсивен, он обязательно должен действовать в согласии с логикой, которая является пустой по своему содержанию, то есть «аналитической».
    
Согласно Канту, чувственная интуиция предполагает чистую интуицию: наши чувства не могут делать свою работу, не упорядочивая свои восприятия в рамках пространства и времени. Таким образом, пространство и время предшествуют всей чувственной интуиции; теории пространства и времени — геометрия и арифметика — также верны a priori. Источник их априорной верности есть человеческая способность чистой интуиции, которая строго ограничена лишь этой областью — восприятием пространства и времени — и четко отличается от интеллектуального или дискурсивного способа мышления.
    
Кант защищает концепцию, что аксиомы математики основываются на чистой интуиции (Kant, р. 760 (с. 613) и далее): они могут быть «усмотрены» или «восприняты» как истинные нечувственным способом «усмотрения» или «восприятия». Кроме того, чистая интуиция участвует в каждом шаге каждого доказательства в геометрии (и в математике вообще)[125]. Чтобы следить за доказательством, нам требуется глядеть на (нарисованный) чертеж. Это «смотрение» является не чувственной, а чистой интуицией, о чем свидетельствует то, что чертеж часто может быть убедительным, даже если будет изображен в довольно грубой манере, а также то, что рисунок треугольника может представлять для нас (в одном рисунке) бесконечное количество возможных вариантов треугольников всех форм и размеров.
    
Аналогичные рассуждения справедливы и для арифметики, которая, согласно Канту, основывается на счете — процессе, в свою очередь основывающемся, по существу, на чистой интуиции времени.
    
Эта теория источников математического знания в своей кантовской форме порождает серьезные трудности. Даже если мы примем, что все сказанное Кантом правильно, мы остаемся в недоумении, ибо евклидова геометрия, независимо от того, использует она чистую интуицию или нет, несомненно, опирается на интеллектуальную аргументацию, логическую дедукцию. Невозможно отрицать, что математика оперирует дискурсивным мышлением. Ход рассуждений Евклида осуществляется шаг за шагом от высказывания к высказыванию через все книги его «Начал»: он не был постигнут в одном-единственном мгновенном интуитивном озарении. Даже если мы допустим (ради аргументации) необходимость наличия чистой интуиции в каждом отдельном шаге рассуждений без исключения (а это допущение современному человеку трудно сделать), пошаговая, дискурсивная и логическая процедура выводов Евклида так очевидна, так широко известна и ей так часто подражали (Спиноза, Ньютон), что трудно представить себе, что Кант мог этого не знать. На самом деле Кант знал все это, вероятно, не хуже любого другого. Однако рассматриваемая позиция была навязана ему: (1) структурой «Критики чистого разума», в которой «Трансцендентальная эстетика» предшествует «Трансцендентальной логике», и (2) его четким различением (я бы сказал — несостоятельно четким различением) интуитивного и дискурсивного мышления. В результате почти хочется сказать, что кантовское исключение дискурсивных аргументов из геометрии и арифметики — не просто пробел, а противоречие.
    
То, что это не соответствует действительности, было показано Брауэром, который заполнил данный пробел. Я имею в виду теорию Брауэра об отношении между математикой, с одной стороны, и языком и логикой — с другой.
    
Брауэр решил данную проблему тем, что провел четкое различение между математикой как таковой и ее выражением в языке и ее коммуникативной функцией. Математику саму по себе он рассматривал как внеязыковую деятельность, по существу — как деятельность мысленного конструирования на основе нашей чистой интуиции времени. Посредством такого конструирования мы создаем в нашей интуиции, в нашем уме объекты математики, которые впоследствии — после их создания — мы можем попытаться описать или сообщить о них другим. Таким образом, лингвистическое описание и дискурсивная аргументация со своей логикой появляются после по существу математической деятельности: их черед приходит только тогда, когда объекты математики — такие как доказательство — уже созданы.
    
Подход Брауэра к этому вопросу позволяет решить проблему, которую мы обнаружили в кантовской «Критике чистого разума». То, что на первый взгляд выступает у Канта как противоречие, упраздняется самым оригинальным способом посредством концепции, согласно которой мы должны четко различать два уровня: один уровень — интуитивный, мысленный и существенный для математического мышления, другой — дискурсивный, лингвистический и существенный только для коммуникации.
    
Как и у любой великой теории, ценность этой теории Брауэра проявляется в ее продуктивности. Она одним усилием решает три крупные группы проблем философии математики:
    
(1) Эпистемологические проблемы истоков математической достоверности (certainty), природы математических данных и природы математического доказательства. Эти проблемы решаются, соответственно, с помощью концепции интуиции как источника знания; концепции, согласно которой мы можем интуитивно усматривать математические объекты, которые конструируем, и концепции, согласно которой математическое доказательство является последовательным конструированием или конструкцией конструкций.
    
(2) Онтологические проблемы природы математических объектов и способа их существования. Эти проблемы были решены Брауэром с помощью доктрины, имеющей два аспекта: с одной стороны, конструктивизм, а с другой стороны, — ментализм. Согласно ментализму, все математические объекты находятся в той сфере, которую я называю «вторым миром». Математические объекты — это конструкции человеческого ума, и они существуют единственно как конструкции в человеческом уме. Их объективность, то есть то, что они суть объекты и что они существуют объективно, всецело опирается на возможность повторения их конструирования по нашему желанию.
    
Таким образом, Брауэр в своей лекции 1912 года (Brouwer 1914) предполагал, что для интуициониста математические объекты существуют в человеческом уме, в то время как для формалиста они существуют «на бумаге»[126].
    
(3) Методологические проблемы математических доказательств. Мы можем упрощенно различать два главных подхода ученых к математике. Одни математики могут интересоваться главным образом теоремами — истинностью или ложностью математических высказываний, другие — главным образом доказательствами: вопросами существования доказательств той или иной теоремы и спецификой таких доказательств. Если преобладающим является первый подход (как это, по-видимому, имеет место, например, для Пойя), тогда он обычно связан с интересом к открытию математических «фактов» и поэтому с платонизированной математической эвристикой. Если же преобладает второй подход, тогда доказательства являются не просто средствами формирования уверенности в теоремах о математических объектах, а самостоятельными математическими объектами. Как мне кажется, так обстояло дело с Брауэром: те построения, которые были доказательствами, не только создавали и утверждали существование математических объектов, они были в то же время сами математическими объектами, возможно даже наиболее важными из таких объектов. Таким образом, утверждать некоторую теорему означало для Брауэра утверждать существование некоторого доказательства для нее, а отрицать ее — означало утверждать существование опровержения, то есть доказательства ее абсурдности. Это непосредственно ведет к отказу Брауэра от закона исключенного третьего, к отрицанию им косвенных доказательств и к тезису, что существование может быть доказано только реальным построением рассматриваемых математических объектов, когда они делаются, так сказать, видимыми.
    
Это также ведет к отрицанию Брауэром «платонизма», под которым мы понимаем учение, согласно которому математические объекты обладают тем, что я называю «автономным» способом существования, при котором они могут существовать, не будучи созданы нами и, следовательно, без доказательства своего существования.
    
До сих пор я пытался понять брауэровскую эпистемологию, исходя прежде всего из предположения, что она проистекает из попытки решить определенную трудность в философии математики Канта. Теперь я перейду к тому, что содержится в названии данного раздела, — к оценке и критике брауэровской эпистемологии.
    
Исходя из положений настоящего доклада, можно утверждать, что одним из великих достижений Брауэра, по моему мнению, является его понимание того, что математика и, как я могу добавить, весь третий мир созданы человеком.
    
Эта идея является настолько радикально антиплатоновской, что Брауэр, понятно, не видел возможности ее связи с некоторой формой платонизма, под которой я имею в виду концепцию частичной автономии математики и третьего мира в том виде, как она описана ранее в разделе 3 этой главы.