Такое решение "проблемы демаркации" наряду с метафизикой выводило за рамки науки математику и логику, которые понимались как формальный аппарат систематизации и анализа научного знания. Для логико-математических исчислений вводилась категория "пустого значения": предложения этих исчислений понимались как тавтологии, не несущие научной информации.
Поскольку программа логического позитивизма оказалась невыполнимой (генезис, структура и реальное функционирование научного знания не могли быть объяснены в узких схемах эмпирицистского подхода), провалилось и свойственное этой программе решение "проблемы демаркации". Усматривая основную причину неудачи в "нерешенности проблемы индукции", К. Поппер в 1934 г. заметил, что "в своем стремлении уничтожить метафизику позитивисты вместе с ней уничтожают и естественные науки, так как законы науки точно так же, как и метафизические утверждения, несводимы к элементарным высказываниям о чувственном опыте"423. Вместо индуктивистских и верификационистских критериев научности им был предложен "принцип фальсифицируемости": "эмпирическая система должна допускать опровержение путем опыта"424. Таким образом, решение "проблемы демаркации" перемещалось в иную плоскость: оно теперь понималось не как проведение разграничительной линии между научно-осмысленными и бессмысленными высказываниями (на что была ориентирована методология логического позитивизма), а как выделение необходимого условия, при котором когнитивная деятельность может считаться научной. Таким условием, согласно Попперу, является направленность научной деятельности на критику своих же собственных результатов425. Метафизика исключается из науки именно из-за ее "неопровержимости", хотя в то же время метафизические гипотезы могут рассматриваться как важный эвристический источник науки; метафизика не бессмысленна, но ненаучна; если метафизические предложения включаются в научное знание (например, гипотеза атомизма), то они перестают быть метафизическими и должны быть подвергнуты испытаниям в опыте.
Последовательное применение фальсификационизма как критерия "демаркации" означает, что научная теория с несомненностью может быть отнесена к сфере науки только после того, как будет опровергнута опытом. Пока теория не опровергнута, можно говорить лишь о "принципиальной возможности" такого опровержения, но такой критерий слишком расплывчат, чтобы с его помощью проводить четкую границу научного знания. Кроме того, очевидно, что требование немедленно отбрасывать теорию, как только она встречается с "контрпримером", не согласуется с реальной практикой науки; хорошо известно, что научное сообщество часто вынуждено сохранять даже опровергнутую теорию до создания более успешной теории.
Само по себе требование "критичности" (как это было отмечено самими же представителями "критического рационализма"426) не способно разграничить научные и ненаучные дискуссии. Для К. Поппера решающим аргументом при определении дальнейшей судьбы научной теории является "факт", опытные данные (хотя уровень "фактов" определяется конвенционально, а не является "фундаментальным" как полагали логические позитивисты). Но что такое факты, способные опровергнуть любую теоретическую гипотезу? Раньше многих Поппер понял и признал так называемую "теоретическую нагруженность" фактов, то есть их зависимость от теоретического знания, позволяющего не только отбирать наблюдения, которые в своей совокупности дают описания "фактов", но и истолковывать их именно как факты, а не что-то иное. Поэтому было бы вернее говорить о "фактах", как об определенных следствиях из принятого теоретического знания. Но тогда получается, что в споре фактов и теоретических гипотез на стороне фактов выступают иные теории, сами по себе также нуждающиеся в эмпирической проверке. И, следовательно, не факты судят теорию, а одни теории судят другие, то есть в науке имеет место спор различных догадок и гипотез. Таким образом, все научное знание имеет предположительный (гипотетический) характер.
Из этого следует, что суждения науки, относящиеся к реальности, каким-то образом "причастны" к истине, но никогда нельзя окончательно установить степень этой причастности. Поэтому для того, чтобы не смешивать свою точку зрения с позицией "наивного реализма" (для которого истинность суждения - это совпадение его содержания с реальностью как таковой), Поппер придумал изощренную логическую концепцию, позволяющую устанавливать изменения "истинностного" содержания в научных суждениях по мере их опытного испытания. Само же это содержание Поппер назвал не истинностью, а "правдоподобием" (verissimilitude)427.
Понятие "правдоподобия" (истинностного содержания научных суждений) и логико-методологические способы измерения этого правдоподобия понадобились Попперу для того, чтобы придать смысл понятию "научного прогресса". Наука прогрессирует тогда, когда увеличивается степень правдоподобия ее суждений. "В науке (и только в науке), - подчеркивает Поппер, - можно говорить о подлинном прогрессе: о том, что мы знаем больше, чем раньше"428. В этом смысле смена "концептуальных каркасов" или фундаментальных теорий способствует научному прогрессу, если она позволяет получать более правдоподобные научные суждения и при этом избавляет от конфликтов с известными фактами. Вот почему так важны "научные революции" - это те случаи в истории науки, когда смена фундаментальных оснований способна резко увеличить "запас истинности", содержащийся в корпусе научного знания. Правда, это совсем не гарантирует от того, что суждения, ныне признанные истинными, завтра окажутся ложными под давлением "фактов". Но в этом судьба науки - она безостановочно идет вперед, отбрасывая свои собственные предположения, и выдвигая все новые, будучи уверена, что таким способом только и можно осуществлять познание мира.
Это мужественный (можно сказать, стоический) идеал науки. Конечно, он может быть подвергнут (и многократно подвергался) сомнению. Но его ценность так велика, что ее не могли поколебать в глазах Поппера и его сторонников никакие, даже самые, казалось бы, "реалистические" ссылки на "действительную", а не идеализированную науку и ее историю. В споре идеала и реальности ни одна из сторон не имеет решающего преимущества: если действительная история отличается от своей "рациональной" схемы, то либо такая действительность не разумна, либо дефектен разум, претендующий на то, чтобы диктовать свои законы действительности. Однако идеал все же более значим, чем отклоняющаяся от него реальность, ибо он выступает как ориентир человеческого поведения, указывающий в сторону возвышения духовного бытия. Если люди выбирают этот ориентир, они способны переделывать действительность, придавая ей сходство с Разумом.
Таким образом, ценность идеала науки, за который стоял Поппер, главным образом определялась не логико-методологическими преимуществами "фальсификационизма", а культурной значимостью этого идеала, в котором усматривался образец устройства человеческого общежития - "открытое общество". "Открытое общество" потому и "открыто", что в его основу положены универсальная Рациональность, освобождающая людей от власти догм, предрассудков, тупоумного невежества ради власти творческого и смелого ума. Такое общество способно прогрессировать, улучшая условия жизни людей, решая их конкретные житейские проблемы.
К.Поппер придал идейному наследию эпохи Просвещения современное звучание, подчеркивая гипотетичность любого знания и неоценимую роль рациональной критики. Человеческая разумность, по Попперу, - это только более или менее "правдоподобное" отображение "истинной рациональности", обладающей самостоятельным и самоценным бытием. Успешность человеческих, в том числе познавательных, действий, находится в прямой зависимости от степени "правдоподобности" этого отображения.
Так в антиметафизическую концепцию Поппера вошел вполне метафизический элемент. Универсалии "критицизма" была придана культурная сверхценность, превышающая прочие и определяющая их собой. Это создало внутреннее напряжение самой концепции, поставившее ее перед реальностью противоречия. "Наивный" или "догматический", по выражению И. Лакатоса, фальсификационизм прежде всего не соответствовал истории науки и, следовательно, в согласии со своим же принципом, мог быть отброшен и заменен другими методологическими гипотезами. Сам И. Лакатос немало потрудился для того, чтобы такие гипотезы совершенствовали "критический рационализм"429. Но и ему не удалось ответить на вопрос, значимость которого он хорошо видел и понимал: если методологический идеал вступает в конфликт с исторической реальностью науки, какую ценность может иметь определение границ последней, проводимое с помощью этого идеала?
Просто и решительно на этот вопрос ответил Т. Кун. Главное отличие науки от прочих сфер умственной деятельности, по Куну, в том, что только в науке существуют рациональные процедуры проверки опытных суждений, причем рациональность этих процедур является непроблематичной, то есть принимается как нечто бесспорное и не подлежащее сомнению. Критика и рациональность заключают между собой союз только в рамках того, что не подлежит критике принятых образцов деятельности. Когда же критика обращается на сами эти образцы (а это случается редко, в исключительных обстоятельствах), она порывает с принятыми критериями рациональности и вынуждена искать новую опору. Пока такой опоры нет, рациональная критика невозможна. Однако, в истории науки практически не бывает периодов критериального вакуума. Напротив, пространство выбора между различными системами рациональных критериев иногда бывает даже очень заполненным, и тогда тот или иной выбор может совершаться под воздействием отнюдь не только "когнитивных" факторов, но зависит от убеждений, авторитетов, социально-психологической атмосферы и традиций "научных сообществ", а также от многих других "внешних" по отношению к науке воздействий. Такие ситуации Т.Кун назвал "экстраординарной" или "революционной" наукой. Попадая в такие ситуации, наука не только не обнаруживает differentia specifica, а напротив, становится похожей на другие сферы интеллектуальной активности, например, на споры философов или ценителей искусства, астрологов или психоаналитиков. Только в периоды "нормальной" научной деятельности можно строго отличить последнюю от того, что наукой не является и не может являться.