"В теории нет разницы между теорией и практикой,
на практике же разница есть".
Американская пословица.
"Гладко было на бумаге, да забыли про овраги"
Пословица русская.
В сетевых дискуссиях часто приходится приходится встречать ссылку на критерий Поппера - он же критерий научности. Суть его заключается в том, что лишь та теория считается научной, которую хотя бы в принципе опровержима на практике. Процитирую его дословно:
Фальсифицируемость (принципиальная опровержимость утверждения, опровергаемость, критерий Поппера) — критерий научности эмпирической теории как совокупности теоретических разработок, применимых к поддающимся эмпирической верификации объектам, в этом смысле сформулированный К. Р. Поппером в 1935 году
Замечательный критерий! Но удовлетворяет ли он сам своим же требованиям? Если да, то тогда стоит сравнить его с тем, как на практике в науке признаются научными либо не научными теории. Если же критерий Поппера принципиально не опровержим практикой науки, то тогда он сам не является научным . При этом он может быть философским постулатом или директивой, которой должны придерживаться ученые.
Проведем простенький мысленный эксперимент. Предположим, мы решили проверить у себя на кухне закон сохранения энергии и выяснили, что в нашем эксперименте он не выполняется. Будет ли это означать, что закон сохранения энергии и впрямь опровергнут? Конечно же нет - скорее всего мы решим, что наши измерения недостаточно точны, а то и вовсе содержат ошибки (и правильно сделаем). Но даже если такой эксперимент проведет опытный экспериментатор на самом современном оборудовании, то сначала потребуется независимое подтверждение эксперимента в других лабораториях. Но если такое подтверждение и будет получено, думаю, теоретики недолго будут в замешательстве. Ведь известно, например, как "спасали" закон сохранения энергии при β--распаде - было предположено, что существует частица (нейтрино) настолько слабо взаимодействующая с веществом, что это ее практически невозможно обнаружить. Т.е. фактически была введена новая сущность, к тому же не обнаруживаемая (на тот момент) опытным путем. И такой пример объяснения ad hoc не единичен. Например, за последнее время таким же образом было предположено существование "темной материи" и "темной энергии", а еще раньше кварков, которые как считается сейчас, не могут существовать в свободном виде.
Более обстоятельно несостоятельность критерия Поппера обосновал классик методологии науки Имре Лакатос в своем труде "Фальсификация и методология научно-исследовательских программ". Под катом я приведу обширную цитату:
1. НАУКА: РАЗУМ ИЛИ ВЕРА?
На протяжении столетий знанием считалось то, что доказательно обосновано (proven) — силой интеллекта или показаниями чувств. Мудрость и непорочность ума требовали воздержания от высказываний, не имеющих доказательного обоснования; зазор между отвлеченными рассуждениями и несомненным знанием, хотя бы только мыслимый, следовало свести к нулю. Но способны ли интеллект или чувства доказательно обосновывать знание? Скептики сомневались в этом еще две с лишним тысячи лет назад. Однако скепсис был вынужден отступить перед славой ньютоновской физики. Эйнштейн опять все перевернул вверх дном, и теперь лишь немногие философы или ученые все еще верят, что научное знание является доказательно обоснованным или, по крайней мере, может быть таковым. Столь же немногие осознают, что вместе с этой верой падает и классическая шкала интеллектуальных ценностей, ее надо чем-то заменить — ведь нельзя же довольствоваться вместе с некоторыми логическими эмпирицистами разжиженным идеалом доказательно обоснованной истины, низведенным до “вероятной истины”1, или “истиной как соглашением” (изменчивым соглашением, добавим мы), достаточной для некоторых “социологов знания”2.
Первоначальный замысел К. Поппера возник как результат продумывания следствий, вытекавших из крушения самой подкрепленной* научной теории всех времен: механики и теории тяготения И. Ньютона. К. Поппер
8
пришел к выводу, что доблесть ума заключается не в том, чтобы быть осторожным и избегать ошибок, а в том, чтобы бескомпромиссно устранять их. Быть смелым, выдвигая гипотезы, и беспощадным, опровергая их, — вот девиз Поппера. Честь интеллекта защищается не в окопах доказательств или “верификаций”, окружающих чью-либо позицию, но точным определением условий, при которых эта позиция признается непригодной для обороны. Марксисты и фрейдисты, отказываясь определять эти условия, тем самым расписываются в своей научной недобросовестности. Вера—свойственная человеку по природе и потому простительная слабость, ее нужно держать под контролем критики; но предвзятость (commitment), считает Поппер, есть тягчайшее преступление интеллекта.
Иначе рассуждает Т. Кун. Как и Поппер, он отказывается видеть в росте научного знания кумуляцию вечных истин3. Он также извлек важнейший урок из того, как эйнштейновская физика свергла с престола физику Ньютона. И для него главная проблема — “научная революция”. Но если, согласно Поп-перу, наука — это процесс “перманентной революции”, а ее движущей силой является рациональная критика, то, по Куну, революция есть исключительное событие, в определенном смысле выходящее за рамки науки; в периоды “нормальной науки” критика превращается в нечто вроде анафематствования. Поэтому, полагает Кун, прогресс, возможный только в “нормальной науке”, наступает тогда, когда от критики переходят к предвзятости. Требование отбрасывать, элиминиро-
9
вать “опровергнутую” теорию он называет “наивным фальсификационизмом”. Только в сравнительно редкие периоды “кризисов” позволительно критиковать господствующую теорию и предлагать новую.
Взгляды Т. Куна уже подвергались критике, и я не буду здесь их обсуждать Замечу только, что благие намерения Куна — рационально объяснить рост научного знания, отталкиваясь от ошибок джастификационизма и фальсификационизма — заводят его на зыбкую почву иррационализма*.
С точки зрения Поппера, изменение научного знания рационально или, по крайней мере, может быть рационально реконструировано. Этим должна заниматься логика открытия С точки зрения Куна, изменение научного знания—от одной “парадигмы” к другой— мистическое преображение, у которого нет и не может быть рациональных правил. Это предмет психологии (возможно, социальной психологии) открытия. Изменение научного знания подобно перемене религиозной веры.
Столкновение взглядов Поппера и Куна — не просто спор о частных деталях эпистемологии. Он затрагивает главные интеллектуальные ценности, его выводы относятся не только к теоретической физике, но и к менее развитым в теоретическом отношении социальным наукам и даже к моральной и политической философии. И то сказать, если даже в естествознании признание теории зависит от количественного перевеса ее сторонников, силы их веры и голосовых связок, что же остается социальным наукам; итак, истина зиж-
10
дется на силе. Надо признать, что каковы бы ни были намерения Куна, его позиция напоминает политические лозунги идеологов “студенческой революции” или кредо религиозных фанатиков.
Моя мысль состоит в том, что попперовская логика научного открытия сочетает в себе две различные концепции Т. Кун увидел только одну из них—“наивный фальсификационизм” (лучше сказать “наивный методологический фальсификационизм”); его критика этой концепции справедлива и ее можно даже усилить Но он не разглядел более тонкую концепцию рациональности, в основании которой уже не лежит “наивный фальсификационизм”. Я попытаюсь точнее обозначить эту более сильную сторону попперовской методологии, что, надеюсь, позволит ей выйти из-под обстрела куновской критики, и рассматривать научные революции как рационально реконструируемый прогресс знания, а не как обращение в новую веру.
11
2. ФАЛЛИБИЛИЗМ ПРОТИВ ФАЛЬСИФИКАЦИОНИЗМА
а) Догматический (натуралистический) фальсификационизм. Эмпирический базис.
Существо разногласий станет яснее, если мы восстановим проблемную ситуацию, как она возникла в философии науки после краха “джастификационизма”.
“Джастификационисты” полагают, будто научное знание состоит из доказательно обоснованных высказываний. Признавая, что чисто логическая дедукция позволяет только выводить одни высказывания из других (переносить истинность), но не обосновывать (устанавливать) истинность, они по-разному решают вопрос о природе тех высказываний, истинность которых устанавливается и обосновывается внелогическим образом. Классические интеллектуалисты (в более узком смысле—“рационалисты”) допускают весьма различные, но в равной мере надежные типы “внелогического” обоснования — откровение, интеллектуальную интуицию, опыт. Любые научные высказывания могут быть выведены логически из подобных оснований. Классические эмпирицисты считают такими основаниями только сравнительно небольшое множество “фактуальных высказываний”, выражающих “твердо установленные факты”. Значения истинности таких высказываний устанавливаются опытным путем, и все они образуют эмпирический базис науки. Если требовать, чтобы в основаниях науки не было ничего, кроме узкого эмпирического базиса, то для
12
доказательного обоснования научных теорий нужны более эффективные логические средства, чем дедуктивная логика, которой ограничиваются интеллектуалисты, например, “индуктивная логика”. Все джастификационисты, будь то интеллектуалисты или эмпирицисты, согласны в том, что единичного высказывания, выражающего твердо установленный факт, достаточно для опровержения универсальной теории4-5; но лишь немногие осмеливаются утверждать, что конечной конъюнкции фактуальных высказываний достаточно для “индуктивного” доказательного обоснования универсальной теории6.
Джастификационизм, считающий знанием лишь то, что доказательно обосновано, был господствующей традицией рационального мышления на протяжении столетий. Скептицизм не есть отрицание джастификационизма; скептики только полагают, что нет (или не может быть) доказательно обоснованного знания и поэтому нет знания вообще. Они видят в “знании” только разновидность веры, свойственной всем одушевленным существам. Тем самым скептицизм, остающийся джастификационистским, дискредитирует знание, открывая дверь иррационализму, мистике, суевериям.
Поэтому понятны исключительные усилия, предпринимаемые классическими рационалистами, чтобы спасти синтетические априорные принципы интеллектуализма, и классическими эмпирицистами, спасающими определенность эмпирического базиса и значимость индуктивного вывода. Они верны кодексу научной чести, требующему воздерживаться от
13
необоснованных высказываний. Но и те, и другие терпят поражение: кантианцы—от удара, нанесенного неэвклидовой геометрией и неньютоновской физикой, эмпирицисты — от логической невозможности положить в основание знания чисто эмпирический базис (еще кантианцы заметили, что никакое научное высказывание не может быть вполне обосновано фактами и индуктивную логику (никакая логика не может увеличить содержание знания, гарантируя вместе с тем его безошибочность). Отсюда следовало, что все теории в равной степени не могут иметь доказательного обоснования.
Философы неохотно признавали это по очевидным причинам: классические джастификационисты страшились вывода, что если теоретическая наука не имеет доказательного обоснования, то она есть не что иное как софистика и иллюзия, если не бессовестное надувательство. Философское значение пробабилизма (или “нео-джастификационизма”) состояло в попытке избежать такого вывода.
Пробабилизм возник благодаря усилиям группы кембриджских философов, полагавших, что хотя научные теории равно необоснованны, они все же обладают разными степенями вероятности (в том смысле, какой придан этому термину исчислением вероятностей) по отношению к имеющемуся эмпирическому подтверждению.7 С этой точки зрения, кодекс научной чести не так суров, как кажется: он требует только высокой вероятности научных теорий или хотя бы того, чтобы в каждом конкретном случае были указаны эмпирические подтверждения данной
14
теории и определена вероятность этой теории по отношению к этим подтверждениям.
Конечно, замена доказательной обоснованности вероятностью была серьезным отступничеством джастификационистского мышления. Но и оно оказалось недостаточным. Вскоре было показано, главным образом благодаря настойчивым усилиям Поппера, что при весьма общих условиях все теории имеют нулевую вероятность, независимо от количества подтверждений; все теории не только равно необоснованны, но и равно невероятны.8
Многие философы все еще полагают, будто бы, потерпев неудачу в попытках найти хотя бы пробабилистское решение проблемы индукции, мы тем самым вынуждены “отвергнуть все то, что наукой и здравым смыслом рассматривалось как знание”.9 На этом фоне особенно видна незаурядная роль фальсификационизма, решившегося на радикальное изменение способов оценки научных теорий и, шире, канонов интеллектуальной честности. Фальсификационизм тоже стал, так сказать, новым и значительным отступничеством рационализма. Но это было отступлением от утопических идеалов последнего, оно обнажило путаность и лицемерность многочисленных попыток отстоять эти утопические идеалы и, следовательно, сыграло прогрессивную роль.
Остановимся вначале на наиболее характерном виде фальсификационизма: догматическом (или “натуралистическом”) фальсификационизме. Согласно этой концепции, все без исключения научные теории опровержимы, однако существует некий неопровержимый
15
эмпирический базис. Это—строгий эмпирицизм, но без индуктивизма; неопровержимость эмпирического базиса не переносится на теории. Поэтому догматический фальсификационизм можно считать более слабым вариантом джастификационизма.
Очень важно подчеркнуть, что само по себе признание (подкрепленного) контрпримера решающим свидетельством против данной теории еще не определяет методолога как догматического фальсификациониста. С этим согласится любой кантианец или индуктивист.
Но и тот, и другой, почтительно склоняя голову перед отрицательным результатом решающего эксперимента, в то же время озабочены прежде всего тем, как получше укрепить пока еще не опровергнутую теорию, отсидеться в ее окопах под критическим обстрелом со стороны другой теории. Например, кантианцы верили в то, что евклидова геометрия и механика Ньютона неприступны; индуктивисты верили, что вероятность этих теорий равна 1. Но догматический фальсификационист прежде всего верит эмпирическому контр-свидетельству, считая его единственным арбитром, выносящим приговор теории.
Поэтому догматического фальсификациониста отличает то, что для него все теории в равной степени гипотетичны. Наука не может доказательно обосновать ни одной теории. Но, не будучи способной доказательно обосновывать, наука может опровергать: “с полной логической определенностью отрекаться от того, что обнаружило свою ложность”10, а это означает, что допускается существование фундаментального эмпирического базиса —
16
множества фактуальных высказываний, каждое из которых может служить опровержением какой-либо теории. Фальсификационисты предлагают новый — надо сказать, довольно умеренный—кодекс научной чести: они склонны считать “научными” не только те высказывания, которые доказательно обоснованы фактами, но и те, которые всего лишь опровержимы, то есть противоречат некоторым фактуальным высказываниям, другими словами, “научные” высказывания должны иметь непустое множество потенциальных фальсификаторов.11
Таким образом, научная честность требует постоянно стремиться к такому эксперименту, чтобы в случае противоречия между его результатом и проверяемой теорией, последняя была отброшена.12 Фальсификационист требует, чтобы опровергнутое высказывание безоговорочно отвергалось без всяких уверток. С нефальсифицируемыми высказываниями, если это не тавтологии, догматический фальсификационист расправляется без проволочек: зачисляет их в “метафизические” и лишает их права гражданства в науке.
Догматические фальсификационисты четко различают теоретика и экспериментатора: теоретик предполагает, экспериментатор — во имя Природы — располагает. Как сказал Вейль: “Раз и навсегда я хочу выразить безграничное восхищение работой экспериментатора, который старается вырвать интерпретируемые факты у неподатливой природы и который хорошо знает как предъявить нашим теориям решительное “нет” или тихое “да”.13 Очень ясно выразился Брейсуэйт о догматиче-
17
ском фальсификационизме. Он так формулирует вопрос, касающийся объективности научного знания: “В какой степени признанная научными экспертами дедуктивная система может считаться свободным творением человеческого ума, и до какой — объективным отображением фактов природы?”. И отвечает:
“Способ выдвижения научной гипотезы и то, как ею пользуются для выражения общих суждений — это человеческое изобретение; у Природы мы получаем только наблюдаемые факты, которыми опровергаются или не опровергаются научные гипотезы... Наука полагается на Природу в том, являются ли какие-то высказывания, относящиеся к низшему уровню научных умозаключений, ложными. Такая проверка совершается при помощи дедуктивной системы научных гипотез, в построении каковой мы обладаем достаточно большой свободой. Человек предлагает систему гипотез; Природа располагает их истинностью или ложностью. Сначала человек придумывает научную систему, а затем проверяет, согласуется ли она с наблюдаемым фактом”.14
По логике догматического фальсификационизма, рост науки — это раз за разом повторяющееся опрокидывание теорий, наталкивающихся на твердо установленные факты. Например, согласно этой концепции, вихревая теория тяготения Декарта была опровергнута — и отброшена — тем фактом, что планеты движутся по эллиптическим орбитам, а не по картезианским кругам; теория Ньютона успешно объяснила известные в ее время факты, как те, что объяснялись теорией Декарта, так и те, что служили опровер-
18
жением последней. Точно так же, если следовать рассуждениям фальсификационистов, теория Ньютона, в свою очередь, была опровергнута — доказана ее ложность — фактом аномальности перигелия Меркурия, а теория Эйнштейна справилась с объяснением и этого факта. Все это означает следующее: наука занимается тем, что выдвигает смелые предположения, которые никогда не бывают ни доказательно обоснованны, ни даже признаны вероятными, зато некоторые из них впоследствии устраняются твердо установленными, решительными опровержениями, а на их место приходят еще более смелые, новые и покамест неопровергнутые — по крайней мере, на первых порах — гипотезы.
Однако догматический фальсификационизм уязвим. Он зиждется на двух ложных посылках и на слишком узком критерии демаркации между научным и ненаучным знанием.
Первая посылка — это утверждение о существовании естественной, вытекающей из свойств человеческой психики, разграничительной линии между теоретическими или умозрительными высказываниями, с одной стороны, и фактуальными (базисными) предложениями наблюдения, с другой. (Вслед за Поппером, я назову это натуралистической концепцией наблюдения).
Вторая посылка — утверждение о том, что высказывание, которое в соответствии с психологическим критерием фактуальности может быть отнесено к эмпирическому базису (к предложениям наблюдения), считается истинным; о нем говорят, что оно доказательно
19
обосновано фактами. (Я назову это учением о доказательном обосновании путем наблюдения [эксперимента]).15
Эти две посылки предохраняют от смертельной для догматического фальсификационизма возможности опровержения эмпирического базиса, ложность которого могла бы переноситься дедуктивными процедурами на проверяемую теорию.
К этим посылкам добавляется критерий демаркации: “научными” считаются только те теории, которые исключают некоторые доступные наблюдению состояния дел в исследуемой предметной области и потому могут быть опровергнуты фактами. Иначе говоря, теория “научна”, если у нее есть эмпирический базис.16
Однако обе посылки ложны. Психология опровергает первую, логика — вторую, и, наконец, методологические рассуждения говорят против критерия демаркации. Рассмотрим все это поочередно.
1) Даже беглый обзор нескольких характерных примеров показывает несостоятельность первой посылки. Галилей утверждал, что он мог “наблюдать” горы на Луне и пятна на Солнце, и что эти “наблюдения” опровергли прославленную в веках теорию, согласно которой небесные тела должны быть непорочно чистыми сферами. Но его “наблюдения” не соответствуют критериям, по которым “наблюдаемым” считается только то, что видят невооруженным глазом. Возможности галилеевских наблюдений зависели от возможностей его телескопа, а следовательно, и от оптической теории, на основании ко-
20
торой этот телескоп был изготовлен, что вызывало сомнения у многих современников Галилея.
Аристотелевской теории противостояли не галилеевские наблюдения, чистые, без теоретической примеси, а “наблюдения”, проведенные Галилеем на основе принятой им оптической теории. Именно эти “наблюдения” и противоречили “наблюдениям” Аристотеля, основанным на теории небесных тел Стагирита.17.
Здесь перед нами prima facie [на первый взгляд (лат.) — Перев.] примерно равные в своей непоследовательности теории. Кое-кто из эмпирицистов мог бы согласиться с этим и признать, что “наблюдения” Галилея не были настоящими наблюдениями; но все же они верят в то, что можно провести “естественную демаркацию” между предложениями, продиктованными пассивному и не имеющему собственного содержания уму чувствами — только так, якобы, образуется настоящее “непосредственное знание”, и теми предложениями, которые сформированы теоретически-нагруженными, “нечистыми” ощущениями. Дело в том, что все разновидности джастификационистских теорий познания, считающие источником (единственным или данным) знания чувства, оказываются в тесной зависимости от психологии наблюдения. Именно психология определяет, что такое “правильное”, “нормальное”, “здоровое”, “неискаженное”, “точное” или “научно значимое” состояние чувств — или даже состояние души как таковой, — при котором возможно истинное наблюдение. Например, Аристотель
21
и стоики под правильным сознанием понимали сознание человека, здорового с медицинской точки зрения. Современные мыслители признают, что правильное сознание есть нечто большее, чем просто “здоровый дух”. У Декарта — это сознание, закаленное в горниле скептического сомнения, выжигающего все, кроме cogito, чтобы затем возродить из него ego, способное с помощью Бога познавать истину. Для всех школ современного джастификационизма характерна особая психотерапия, посредством которой они намерены приуготовлять сознание к восприятию блаженства доказанной истины через мистическое соприкосновение. Так, для классических эмпирицистов правильное сознание есть tabula rasa, лишенная всякого первичного содержания, свободная от любых теоретических предрассудков. Но ошеломляющий для классического эмпиризма вывод, следующий из работ Канта и Поппера, а также психологов, испытавших влияние этих мыслителей, заключается в том, что подобная эмпирицистская психотерапия не может быть успешной; Причина в том, что нет и не может быть ощущений, не нагруженных ожиданиями, и следовательно, нет никакой естественной (то есть психологической) демаркации между предложениями наблюдения и теоретическими предложениями.18
2) Но даже если бы такая естественная демаркация существовала, вторая посылка догматического фальсификационизма была бы ниспровергнута логикой. Дело в том, что значения истинности предложений “наблюдения” не могут быть однозначно определены:
22
никакое фактуальное предложение не может быть доказательно обосновано экспериментом. Можно только выводить одни предложения из других, но нельзя их вывести из фактов; попытаться доказывать предложения, ссылаясь на показания чувств, все равно, что доказывать свою правоту, “стуча кулаком по столу”.19 Это элементарная логическая истина, но даже сегодня она усвоена совсем немногими.20
Если фактуальные предложения недоказуемы, то они могут быть ошибочными. Но если они могут быть ошибочными, то конфликт между теориями и фактуальными предложениями не обязательно означает “фальсификацию”, это может быть просто несогласованность. Быть может, воображение играет более важную роль при формулировании теорий, чем “фактуальных предложений”,21 но ошибочными могут быть и те, и другие. Следовательно, мы не можем не только доказательно обосновывать теории, но и опровергнуть их.22 Никакой демаркации между рыхлыми, недоказуемыми “теориями” и жесткими, доказательно обоснованными предложениями “эмпирического базиса” не существует: все научные предложения являются теоретическими и, увы, погрешимьши.23
3) Наконец, если бы даже существовала естественная демаркация между предложениями наблюдения и теориями, а истинностное значение первых могло бы быть однозначно установлено, догматический фальсификационизм все же был бы бессилен устранить наиболее значимые теории, обычно называемые научными. Ведь если даже эксперименты
23
могли бы доказательно обосновывать свои результаты, их опровергающая способность была бы до смешного ничтожной: наиболее признанные научные теории характеризуются как раз тем, что не запрещают никаких наблюдаемых состояний.
Чтобы убедиться в этом, рассмотрим одну поучительную историю, прежде чем перейти к общим выводам.
Это история о том, как неправильно вели себя планеты. Некий физик до-эйнштейновской эпохи, пользуясь ньютоновской механикой и законом всемирного тяготения (N) при некоторых данных условиях (I), вычисляет траекторию только что открытой малой планеты Р. Но планета не желает двигаться по вычисленному пути, ее траектория отклоняется. Что делает наш физик? Может быть, он заключает, что, поскольку такое отклонение не предусмотрено теорией Ньютона, а с упрямым фактом ничего поделать нельзя, то, стало быть, теория N опровергнута? Ничуть не бывало.
Вместо этого наш физик выдвигает предположение, что должна существовать пока еще неизвестная планета Р', тяготение которой возмущает траекторию Р. Он садится за расчеты, вычисляет массу, орбиту и прочие характеристики гипотетической планеты, а затем просит астронома-наблюдателя проверить его гипотезу.
Но планета Р' слишком мала, ее не удается разглядеть даже в самые мощные из существующих телескопов. Тогда астроном-наблюдатель требует построить более мощный телескоп, без которого успешное наблюдение невозможно.24
24
Через три года новый телескоп готов. Если бы ранее не известная планета Р' была бы открыта, ученые на весь мир раструбили бы о новом триумфе ньютонианской теории. Но ничего подобного не произошло.
Что же наш физик? Отверг ли он ньютоновскую теорию вместе со своей гипотезой о причине отклонения планеты от вычисленной траектории? Отнюдь! Вместо этого он уверяет, что планета Р' скрыта от нас облаком космической пыли. Он вычисляет координаты и параметры этого облака и просит денег на постройку искусственного спутника Земли, наблюдениями с которого можно было бы проверить его вычисления. Предположим, что установленные на спутнике приборы (возможно, самые новейшие, основанные на еще мало проверенной теории) зарегистрировали бы существование гипотетического облака. Разумеется, это было бы величайшим достижением ньютоновской науки. Но облако не найдено.
Отбросил ли теперь наш ученый теорию Ньютона вместе со своими гипотезами о планете-возмутительнице и облаке, превращающем ее в планету-невидимку? Ничего подобного.
Теперь он уверяет, что существует некое магнитное поле в этом районе вселенной, из-за которого приборы спутника не могут обнаружить пылевое облако. И вот построен новый спутник с другими приборами. Если бы теперь магнитное поле было обнаружено, ньютонианцы праздновали бы головокружительную победу. И снова — увы!
Может быть, теперь уже можно считать
25
ньютоновскую теорию опровергнутой? Как бы не так. Тотчас выдвигается новая еще более остроумная гипотеза, объясняющая очередную неудачу, либо..
Либо вся эта история погребается в пыльных томах периодики и уже больше никем не вспоминается.25
Эта история ясно показывает, что даже самые респектабельные научные теории вроде ньютоновской динамики и теории гравитации могут терпеть неудачу, запрещая какие-либо наблюдаемые положения вещей. 26
В самом деле, научные теории исключают какие-либо события в определенных (ограниченных в пространстве и времени) уголках Вселенной (“сингулярные” события) только при условии, что эти события не зависят от каких-либо неучтенных (быть может, скрытых в отдаленных и неизвестных пространственно-временных закоулках Вселенной) факторов. Но это значит, что такие теории никогда не могут противоречить отдельному “базисному” предложению; они могли бы противоречить только полной конъюнкции всех базисных предложений, описывающих данное сингулярное событие в пространственно временных параметрах, и некоторого универсального предложения о несуществовании, то есть такого предложения, в котором утверждалось бы, что никакая неизвестная причина, где бы она ни располагалась во Вселенной, не имеет никакого отношения к данному событию. Но догматический фальсификационист вряд ли станет утверждать, что подобные универсальные предложения о несуществовании могли бы относиться к эмпирическо-
26
му базису, то есть могли бы проверяться наблюдением и приобретать таким образом доказательную обоснованность.
Можно по-другому сказать, что в структуру научных теорий входит, как правило, ограничение ceteris paribus [при прочих равных условиях (лат ). — Перев.]27; в таких случаях теория может быть опровергнута только вместе с этим ограничением. Но если взять теорию без этого ограничения, она уже не может быть опровергнута, так как заменяя ceteris paribus, можно получить уже иную теорию и, следовательно, никакие проверки не могут считаться решающими.
А это значит, что “безжалостная” стратегия опровержения, которой следует догматический фальсификационизм, в этих случаях проваливается, даже если бы мы допустили существование абсолютно непоколебимого эмпирического базиса, как пусковой площадки для разрушительных залпов modus tollens,* ведь цель, по которой велся бы огонь, оказывается совершенно неуязвимой.28 И когда такими целями оказываются наиболее значительные, “зрелые” теории, знаменующие собой целые этапы в истории науки, они prima facie приобретают репутацию “неопровержимых” Но более того, по критериям догматического фальсификационизма под эту категорию подпадают и все вероятностные (probabilistic) теории, ибо никакая конечная подборка фактов не может опровергнуть универсальную вероятностную теорию,29 такие теории, как и теории с ограничением ceteris paribus, не имеют эмпирического базиса Но тогда догматический фальсифика-
27
ционист, в соответствии со своими правилами, должен отнести даже самые значительные научные теории к метафизике, где нет места рациональной дискуссии — если исходить из критериев рациональности, сводящихся к доказательствам и опровержениям, — поскольку метафизические теории не являются ни доказуемыми, ни опровержимыми. Таким образом, критерий демаркации догматического фальсификациониста оказывается в высшей степени антитеоретическим
(Кроме того, можно было бы легко показать, что ограничение ceteris paribus является не исключением, а правилом в науке. В конце концов, наука — не сувенирная лавка, где выставляются напоказ всяческие местные или привозные диковинки. Возьмем высказывание “Все жители Брайтона умерли от саркомы легких в период между 1950 и 1960 гг.”. Оно не содержит в себе ничего логически невозможного и даже может быть истинным. Но поскольку в нем утверждается нечто имеющее лишь микроскопическую вероятность, то оно могло бы заинтересовать какого-нибудь чудака, коллекционирующего курьезы, или иметь ценность черного юмора, но никак не научную ценность. Можно сказать, что высказывание является научным, если только оно выражает какую-либо причинную зависимость; но вряд ли можно предположить, что причиной смерти от саркомы легких является жительство в Брайтоне.
Точно так же следовало бы считать чистейшим курьезом высказывание “Все лебеди белые”, даже если бы оно было истинным, при таком его понимании, когда “лебеди-
28
ность” полагалась бы причиной “белизны”. Тогда наблюдение черного лебедя не могло бы опровергнуть это высказывание, поскольку оно указывало бы только на то, что помимо “лебединости” существуют и другие причины, из-за которых данный лебедь почернел. Поэтому высказывание “Все лебеди белые” — либо курьез и легко опровержимо, либо научное высказывание с ограничением ceteris paribus, а потому — неопровержимое. Так мы приходим к выводу, что чем упорнее теория сопротивляется эмпирическим фактам, тем больше оснований считать ее “научной”. “Неопровержимость” превращается в отличительную черту науки).30
Итак: классические джастификационисты допускают только доказательно обоснованные теории; нео-классические джастификационисты допускают вероятностно-обоснованные (probable) теории; догматические фальсификационисты приходят к тому, что никакие теории ни в коем случае не могут считаться допустимыми А ведь они начинали с того, что теории допустимы, если опровержимы, то есть противоречат конечному числу наблюдений. Но если бы даже такие теории существовали, с логической точки зрения, они были бы слишком близкие к эмпирическому базису.
Например, с позиции догматического фальсификациониста, теория “Все планеты движутся по эллиптическим орбитам” может быть опровергнута пятью наблюдениями, следовательно она является научной. Теория “Все планеты движутся по круговым орбитам” может быть опровергнута четырьмя наблюдениями, поэтому догматический фальси-
29
фикационист будет считать ее еще более научной И уж самой научной будет теория “Все лебеди белые”, опровержимая одним единственным наблюдением. Но при этом ему придется отрицать научность всех вероятностно обоснованных теорий, включая теории Ньютона, Максвелла, Эйнштейна — поскольку никакое конечное число наблюдений не может их опровергнуть.
Если принять критерий демаркации догматического фальсификационизма, а также ту идею, что “фактуальные высказывания” доказательно обосновываются фактами, то придется признать, что самые значительные, если не все, теории, когда-либо принятые в науке, являются метафизическими, что боль шая часть, если не все, из того, что считалось научным прогрессом, на самом деле было псевдопрогрессом, что почти все, если не все, сделанное в науке является иррациональным. Если же мы, приняв этот критерий, вместе с нашим догматическим фальсификационистом все же признаем, что научные высказывания не могут доказательно обосновываться фактами, то нам угрожает полный скептицизм вся наука превращается в несомненно иррациональную метафизику и должна быть отброшена Тогда научные теории не только равно недоказуемы и невероятны, но также и равно неопровержимы. Если признать еще и то что не только теоретические, но любые высказывания в науке погрешимы, то это значит, что приходит конец всем разновидностям догматического джастификационизма как теории научной рациональности
Комментарии
мне интересно что бы на это сказал Сократ?
На что именно?
Так густо замешано, что не рискнул портить себе выходной))
Это не субботнее. Это утренне-понедельнишное.
Жостко учёные мужи рубятся. Пошёл дочитывать.
Зацепился взглядом за "фальси-фикационист" и впал в задумчивость. Вот мне все кажется, что колодец канализационный на участке уже наполнился, но лень брать лом и идти крышку открыть. Надо себя завтра пересилить..
Надо просто поднатужиться. И если это сделать вовремя, то крышка сама откроется.
А мне померещилось "фрикционист". Мда.
Зачем лом? Зачем надрываться? Полкило дрожжей всё сделают за вас.
На смену одной теории всегда может прийти другая. К любому знанию (пусть даже, на наш взгляд, самому совершенному) всегда можно добавить новое знание, и так до бесконечности. Поэтому человеческое знание всегда относительно, незавершено и ограничено. А также бесконечно далеко от абсолютной истины.
Критерии объективности и истинности знания формулирует человек, следовательно, они субъективны и зависят от сознания человека, их формулирующего.
Взять хотя бы время. Является оно объективной реальностью или субъективной - на этот вопрос не так то уж и просто ответить.
Хорошее замечание. Тем более, что существовали теории, согласно которым настоящее, прошлое и будущее существует параллельно, но мы в силу своего своей ограниченности можем видеть только настоящее. И только некоторые из нас (ясновидящие) могут видеть больше. У остальных это на уровне смутной интуиции в лучшем случае.
А некоторые говорят что время это вообще иллюзия. Нет его. Прошлое прошло и ушло. Будущее ещё не наступило. А за настоящее никак не зацепиться, потому что оно ежемоментно ускальзывает в прошлое.
Мне нравится такое определение. Очень прочищает мозги и избавляет от многих психологических и прочих жизненных проблем.
и никто не хочет учитывать прошлое
Приговорить к 25 годам обратной совместимости без права на апелляцию.
Праздный вопрос, какая разница? Когда это станет принципиально, сможете ответить на него сами. Бритва Оккама.
Соответствие этого принципа (о том, что он прямо противоречит объективным и легко наблюдаемым *фактам* скромно умолчим) практике тоже разбирали.
Например в https://aftershock.news/?q=node/396726
В контексте темы познания, обсуждается лишь применение "бритвы" для формулирования новых (научных) теорий, а не редукции существующих (технических) систем. К слову, последнее требует наличия полной информации о создании и истории существующей (технической) системы, лаконичность (научных) теорий существенно облегчает такую задачу.
Это смотря для кого. Для меня это важно. А для большинства людей принципиальным это не станет никогда - почти животная жизнь, потреблядство, размножение и т.д. Зачем напрягать мозги? :)
Т.е., на самом деле, вам важно любым способом отмежеваться от "большинства", а "время" - лишь повод.
Ну если по Брайтону(или рядом) бухнуть бонбой то .....
Критерий Поппера — это рациональное суждение, а не эмпирическое. Поэтому сам под себя он не попадает. Смотри также бритву Оккама, теорему о полноте и теорему о неполноте.
А разве любое рациональное суждение не основано на эмпирических суждениях? И разве критерий Поппера применим только к эмпирическим суждениям?
Вот-вот. Как раз наоборот - критерий Поппера оценивает научность или ненаучность теорий, т.е. как раз рациональных суждений, а не эмпирических.
Просто прочитайте внимательно то определение, что привели в статье. Разница между рациональным и эмпирическим: эмпирика всегда построена на опыте, а рациональное на голой логике и с опытом может никак не пересекаться. Для примера: одно яблоко упало вниз, второе яблоко упало вниз, ... , n яблоко упало вниз. Эмпирическое суждение: все яблоки падают вниз. В качестве рационального суждения возьмите, например, теорему Пифагора. Собственно вся математика — это набор рациональных суждений.
Сам критерий Поппера, скорее всего, пришёл как раз из математики, из доказательства теорем. Там как раз есть доказательство от противного (от опровержения). И, если перефразировать, звучит так: то, что нельзя опровергнуть, то нельзя и доказать.
ЗЫ. И нет, эмпирика не становится «рациональнее» даже если сверху накрутить тонну чисто логических умозаключений, просто потому, что в основе лежит именно опыт.
Критерий Поппера неработоспособен даже в арифметике, вследствие теоремы о неполноте Гёделя.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.
Ну дык применяйте его к математической логике, то есть к самой теореме Гёделя. Разные арифметики (их много разных) формулируются несколько для других задач и изучаются математикой, а не самими собой.
ЗЫ В математике оно выполняется автоматически. Смотри доказательство от противного.
Теорема Гёделя доказана математически.
Критерий Поппера никем никак никогда не доказан.
Попытки применения недоказанного критерия Поппера к доказанным утверждениям Гёделя приводят к противоречиям.
Вывод: критерий Поппера следует выбросить в мусорную корзину за лженаучность, а его сторонников люстрировать.
Смотрите статью: критерий поппера применим к эмпирике. Математика эмпирикой не является. От того и противоречия. Можете выбросить в мусорную корзину свои рассуждения.
Огласите пожалуйста весь список неприменимости критерия Поппера.
Арифметика, математика, философия, теология, логика... Что ещё? Кибернетика? Биология?
Что же тогда вообще останется? Физика и химия без математики и логики вообще недееспособны.
Вы различаете две вещи: рациональное знание и эмпирическое? Если да, то читайте определение в статье. Если нет, то разговаривать не о чем. Во втором случае докупите учебник философии и вдумчиво почитайте.
Вы можете применять что угодно к чему угодно, но все проблемы в случае неправильного применения критериев, логики, математики, инструментов и прочего будут исключительно вашими проблемами.
Очевидно вы различаете. Вот я вас и прошу конкретизировать.
Чтобы убедиться, что я всё правильно понял. И чтобы вы потом не смогли увильнуть от своих прямых заявлений.
Итак?
Огласите пожалуйста весь список неприменимости критерия Поппера.
Арифметика, математика, философия, теология, логика...
???
Подтвердите или опровергните. Просто да или нет, без словоблудия.
Читайте учебник философии. Я выше уже всё сказал. Дискутировать с неграмотными — неинтересно.
Кибернетика — лженаука.
Можно сразу констатировать несовместимость с ВОН.
Со следствием в виде применимости критерия Поппера только к самому себе.
Какое же это эмпирическое суждение, если всех яблок мы не только не видели, но даже не можем увидеть в принципе? Ваше утверждение - это или постулат или неполная индукция. А на основе неполной индукции делать всеобщие обобщения абсолютно неправомерно.
Вряд ли. Критерий Поппера возник из идей, что некоторые теории (такие как фрейдизм) не могут быть опровергнуты опытом в принципе.
Между тем, именно так и возникают научные теории, т.е. индуктивно. А вот проверяются они уже дедуктивно, т.к. (ключевой) эксперимент выводится из теории.
По первому пункту вам ответил DVonik. По второму пункту. Критерий Поппера и прочие ему подобные нужны, чтобы в эмпирику не пропихивалась метафизика и схоластика. Это как с вечным двигателем: развлекайтесь сколько влезет, но за свой счёт.
Критерий Поппера неприменим даже к арифметике. Никакой метафизики и схоластики. Данный критерий абсолютно негоден в принципе.
И его поддержка кем-либо есть просто следствие выдать желаемое за действительное.
То бишь определённые личности из корыстных целей пытаются защищиться от других личностей лженаучным способом.
Вот и всё. Никаких секретов. Такова объективная истина без прикрас.
Ещё раз математика и, в частности, арифметика не является эмпирикой. Поэтому критерий Поппера к ней неприменим.
А к логике применим? Нет?
Тогда куда он применим, если почти везде без математики и логики не обойтись?
К религии что ли применим? Ну так там без философии и логики тоже никуда, а это опять не эмпирика.
Потому и говорю вам - никуда не годен.
Выше ответил. Религия — это метафизика. Поэтому к ней не применим до тех пор пока адепты религии не начинают что-то говорить о физических чудесах. В этом случае религия из метафизики переходит в эмпирику и попадает под критерий Поппера.
Простите, я уже совсем вас перестал понимать.
Кто вам сказал, что эмпиризм не метафизика?
Камрад, Вы не правы. При всём уважении к той же математике - сама по себе это наука высшей степени абстракции, в отличии от активно использующих её естественных наук в виде физики, химии и т.д. Но там она используется как инструмент, а вот критерии истинности у них свои. Как бы не надо смешивать науки совершенно разной природы, тут Вам всё правильно говорит Ктулху .
Совершенно разной природы? И вы тоже не знаете, что эмпиризм это метафизика, раздел философии?
Упалпацтол.
Ну во-первых, сначала слегка иронии - когда я Вам отвечал, до метафизики ещё не добрались :)
А во-вторых, если серьёзно, прикладные науки действительно ставят результаты опытов превыше математической модели, что собственно и формализует этот критерий. Понятно, что он философский и потому не может проверять сам себя. Понятно, что он не будет работать в математике.
Дирижёр Такова объективная истина.
Ну, наконец-то. Проблема Понтия Пилата получила долгожданное разрешение от Дирижёра
И это я еще не проставился вопросом "что есть электрический заряд?"
Объективных истин получается за одну субботу уже две. Вторая заключается в том, что профессор И.П.Копылов, заведующий кафедрой электромеханики МЭИ, доктор т.н. сформулировал как объективная истина-2 (приоритет в ранжировании объективных истин - за Дирижёром. Как участником АШ)
- Сегодня мы дать четкого определения электричества не можем.
И добил Куна и Поппера одним ударом:
- Четко определять что такое электричество в настоящее время не следует.
Найдены и точка/пространство/область соединения науки и искусства : "Не говори никому. Не надо". Белое солнце пустыни
При таких количествах объективных истин за одну только субботу и в некоторых других сложных случаях выручить может правило электрика:
Кругом засады и подставы. Электрик.
Критерий Поппера - философское суждение о методологии науки. Т.е. само оно вне-научно. См. тему отношений языка и метаязыка.
От этого оно не становится более эмпиричиским.
ЗЫ. Язык и метаязык, надеюсь, в математическом смысле?
Страницы