<<<     ΛΛΛ     >>>   

Патнэм считает, что эти технические результаты имеют отрицательное значение для научного реализма. Почему? В основном потому, что он считает научный реализм в конечном счете вариантом теории истины, основанной на соответствии. Согласно этой концепции наши теории истинны, потому что они дают представление о мире и "схватывают" его, отсылая к объектам, то есть осуществляя референцию, которую теперь Патнэм считает осмысленной только в рамках некоторой системы представлений.
Во многом такая позиция не нова. Давний довод против теорий истины, основанных на понятии соответствия, говорит о том, что в этих теориях предложения считаются основанными на фактах, но нет способа выделять факты, кроме как в терминах предложений, которым они соответствуют. Г.Е. Мур не отличался антиреализмом, но вот что он писал в философском словаре Болдуина в статье "Истина" 80 лет назад:
"Обычно предполагается, что истинность предложения заключается в некотором отношении его к реальности, а ложность заключается в отсутствии этого отношения. Это самое отношение обычно называют 'соответствием' или 'согласием' и обычно рассматривают как частичное сходство. Однако следует заметить, что высказывания могут быть истинными только в силу их частичного сходства с чем-то отличным от этих высказываний. Следовательно, для теории соответствия важно, что истина должна отличаться некоторым особым образом от реальности, по отношению к которой она должна быть установлена, за исключением тех случаев, когда сама реальность есть высказывание. Теорию соответствия опровергает факт невозможности установить такого рода различия между истиной и реальностью, которой эта истина предположительно должна соответствовать."
Некоторые мыслители, например, Дж. Л. Остин, утверждали, что теории соответствия имеют достоинства, потому что, вопреки Муру, существует независимый способ вычленения фактов. Прежде всего, существуют независимые способы для того, чтобы выделять вещи и качества, о которых мы говорим, например, указывая на них. Затем мы можем делать утверждения, соединяя референциальные выражения и имена свойств и отношений. Высказывание истинно лишь тогда, когда объект, к которому оно отсылает, обладает названным свойством. Патнэм должен доказать, что использование им результата Левенгейма-Сколема опровергает это положение Остина, еще раз показывая, что не существует независимых референций. Но он лишь показал, что референция невозможна путем установления множества истинных высказываний, выраженных на языке логики первого порядка. Когда мы приглядимся попристальней к теореме Левенгейма-Сколема, мы увидим, что у нее есть некоторые предпосылки. Существуют способы обойти их и тем самым подвергнуть сомнению заключения Патнэма.

1. Теорема Левенгейма-Сколема говорит о предложениях логики первого порядка. Никому еще не удалось показать, что обычный язык физиков может быть выражен в языке первого порядка. Так что не известно, может ли относиться сам результат, скажем, к квантовой электродинамике и, следовательно, к научному реализму.
2. Существует влиятельная школа, которая на основе поздних мыслей Ричарда Монтегю утверждает, что обычный английский язык использует кванторы второго порядка. Теорема Левенгейма-Сколема не распространяется на такого рода языки, так что приложимость работы Патнэма к простому пранаучному английскому довольно противоречива.
3. Большая часть обычной речи использует то, что называется указательными местоимениями. Это слова, чьи референты зависят от контекста произнесения: этот, тот, вы, я, здесь, теперь (не говоря уже о наших временных формах глаголов). Я выхожу прекрасным утром из дома и слышу: "Эй ты, хватит рвать мои вишни, иди сюда немедленно!" Только став на догматическую точку зрения, можно утверждать, что это обычное предложение выразимо на языке предикатов первого порядка.
4. Введение указательных местоимений только частично идет по этому пути. Указательные местоимения все же относятся к языку. Язык встроен в большое число возможных действий в мире. Патнэм странным образом ссылается на Витгенштейна, вспоминая его аргумент в пользу того, что значения не могут быть исчерпывающе заданы правилами. Для Витгенштейна это не означает, что существует нечто внутренне неопределенное и открытое для новой интерпретации в нашей лингвистической практике. Это означало бы, что язык - больше чем говорение. У нас нет места, чтобы подробно изложить его понимание, но все-таки вишни предназначены для того, чтобы их есть, а кошки, может быть, для того, чтобы их гладить. Когда речь погружается в действие, разговоры о Левенгейме и Сколеме представляются схоластическими. Они были полностью правы в том, что они говорили о некотором взгляде на математические объекты. Они мудро воздерживались от разговоров о кошках. Мы ничего не можем делать с очень большими числами, кроме как говорить о них. С кошками у нас другие отношения.
5. Патнэм утверждает, что, какую бы теорию референции и денотата мы не выдвигали, сами слова "означать" и "относиться" могут быть переинтерпретированы. Предположим, что "кошка" означает животное, сидящее на моих коленях. Патнэм спрашивает: "откуда я знаю, что 'означает' означает означивание? Конечно, обычно я никогда не использую таких слов, как 'означать', для объяснения того, как используются слова. Эта функция могла быть выполнена предложением типа "Это скелет глиптодонта", которое используется для объяснения того, что есть глиптодонт. Для того, чтобы ссылаться, мне не нужно теории референции, и утверждение, что не может быть общей теории референции, видимо, восходящее к Витгенштейну, по меньшей мере достойно серьезного рассмотрения.
6. Патнэм пишет о ненаучном антиреализме, так что здесь осмысленно обсуждать вишни и кошек. Можем ли мы использовать его аргументы и для теоретических объектов естественных наук? Не является ли называние объектов именами целиком языковым актом? Нет, очень часто это не так. Вспомним статью Андерсона и Неддермейера 1936 года, упоминавшуюся в прошлой главе. В этой статье были данные, на основе которых научное сообщество ввело мезотроны, или мезоны, позднее мюоны. В статье множество фотографий, но это снимки не мюонов, а следов. Проводится измерение углов между следами, вызванными столкновением тех или иных объектов. Мы действительно используем слова "тех" или "иных" для указания на наиболее теоретические из объектов, но для указания не на них, а на их следы. Однако мы не останавливаемся на этом. Как ясно из моей предыдущей главы, вначале люди были довольно неуверенны относительно объектов, которые впоследствии были названы мюонами. Но теперь мы знаем, что масса мюона составляет 206,768 массы электрона.
Последнее предложение, похоже, льет воду на мельницу Патнэма, поскольку это именно та истина, которую мы можем использовать в качестве аксиомы при описании мюонов. Можно ли проинтерпретировать ее в духе Левенгейма-Сколема? Я думаю, что нет, поскольку как иначе мы смогли бы получить такое число с точностью до трех знаков после запятой? Для этого потребовалось довольно сложное вычисление, в ходе которого было определено большое количество величин, таких как магнитный момент свободного электрона, боровский магнетон и другие причудливые вещи, в частности, отношения ряда мировых констант. Если бы это было лишь множеством предложений и мы могли бы проделать всю физико-математическую работу в терминах логики первого порядка, теорема Левенгейма-Сколема была бы применима. Но в любом случае числа и отношения тесно связаны с определенными экспериментальными данными. Те же, в свою очередь, связаны с людьми, местами и, более того, с действиями. (Типичный пример: группа из Лаборатории Радиации при Университете Вашингтона-Лоренса, включающая К. М. Кроува, Дж. Ф. Хейга, Дж. Е. Ротерберга, А. Шенка, Д. Л. Уильямса, Р. У. Уильямса и К. К. Янга. Phys. Rev. D. 2145 (1972).) Эти действия не изолированы, но связаны не только с одним таким рядом действий, а с множеством независимых, но не полностью отличных действий, осуществляемых во всем мире.
7. Патнэм обращается к вопросу о том, могли бы люди использовать непредполагавшуюся (нестандартную) интерпретацию слова "кошка". Он замечает симметрию между предполагаемой (стандартной) и непредполагаемой (нестандартной) интерпретациями: все, что мы можем объяснить в терминах кошек, другие могут объяснить в терминах вишен. Он возобновляет дискуссию из книги Нельсона Гудмена "Факт, вымысел и прогноз", но пропускает одно важное обстоятельство. Теорема Левенгейма-Сколема не конструктивна. То есть, в принципе нет человечески доступного способа для того, чтобы породить нестандартную интерпретацию.
8. Нам и не нужно технических примеров для того, чтобы начать испытывать ... Патнэма. Патнэм цитирует своего колегу Роберта Нозика, предлагающего ситуацию, когда (по мнению Патнэма) все женщины имели бы в виду кошек, когда говорили бы о вишнях, в то время как "мы", мужчины, имели бы в виду вишни. Но существуют именные прилагательные, такие как, например, бинговые сорта вишни и персидские кошки. Именные прилагательные, такие как бинговые, не являются обычными дополнениями, такими как "сладкий", поскольку сладкие бинговые вишни - сладкие ягоды, но не бинговые ягоды. Как продолжить в таком случае переинтерпретацию Патнэма/Нозика? Неужели они считают, что женщины могут иметь в виду персидских кошек, когда говорят о вишнях королевы Анны? То есть, соответствуют ли каждая разновидность вишен некоей разновидности кошек? Но так не получится, поскольку число разновидностей вишен отлично от числа разновидностей кошек, так что ни одно из подобных отображений не сохранит структуры именных прилагательных. И что важнее, вишни королевы Анны хороши для консервирования и для начинки пирогов, а бинговые вишни хорошо есть спелыми прямо с дерева. Как эти факты могут быть показаны в структуре фактов о кошках?
Может быть, Патнэм совершает одну из серьезнейших ошибок в своей философии. У него есть абстрактная теорема. Затем он объясняет ее значение в терминах одного предложения, которое никто до него не произносил и которое обычно бессодержательно за пределами логики ("Некоторая вишня находится на некотором дереве".) Затем он переходит к утверждению о том, что также как вы можете переинтерпретировать слово "вишня", можно переинтерпретировать слово "означать". Весь обычный мир, где делают пироги с вишнями королевы Анны или определяют отношение масс мюонов и электронов, оказывается при этом в стороне. Я не буду продолжать в том же духе, хочу лишь подчеркнуть следующее: (а) основная цель при выражении истин - не указание референтов, а взаимодействие с миром, (б) даже на уровне языка существует гораздо больше структур, чем считает Патнэм, независимо от того, говорим ли мы о глубоких вопросах математической физики или о тривиальных наблюдениях относительно бинговых вишен.

Вышеприведенные размышления не означают, что нам нужно отказаться от основных положений философии Патнэма. Эти размышления лишь дают понять, что его элегантные аргументы нуждаются в дальнейшей отшлифовке. Какая точка зрения лежит здесь в основе? Я, следуя за Патнэмом, сравнивал его идеи с идеями Канта, но между ними имеется серьезное различие. Кант называл себя трансцендентальным идеалистом. Патнэма я бы назвал трансцендентальным номиналистом. И та и другая позиция представляют собой разновидности антиреализма. До Канта реализм обычно обозначал антиноминализм. После Канта, он обычно означал антиидеализм.
Идеализм - это некий тезис относительно существования. В своей крайней форме он утверждает, что все существующее относится к области ментального, является продуктом человеческого духа. Номинализм относится к классификации. Он утверждает, что только наши способы мышления вынуждают нас отделить траву от соломы, животное существо от растительного. Но мир не обязан подчиняться классификации такого рода, он не является нам в форме "естественных типов". В противовес этому, аристотелевский реалист (антиноминалист) говорит, что мир является нам в определенных видах, и это свойство природы, а не человека.
У идеалиста должно отсутствовать мнение относительно классификации. Он может считать, что существует действительное различие между травой и соломой. Он утверждает, что нет материи, травы и соломы, существуют только идеи, ментальные объекты. Но и идеи могут иметь подлинные сущности.
Наоборот, номинализм не отрицает того, что имеется подлинная материя, существующая независимо от разума. Он отрицает лишь то, что она естественным и внутренне необходимым образом как-то рассортирована независимо от того, что мы о ней думаем.
На самом деле, номинализм и идеализм относятся к одному роду мысли. Это единственная причина того, что слово "реализм" использовался для обозначения позиции, противоположной им обоим. Но логически номинализм и идеализм отличаются.
Трактуя Канта самым радикальным образом, можно сказать, что он считал пространство и время идеальными, не существующими на самом деле. Хотя и существуют эмпирические отношения, определяемые в рамках пространства и времени, эти отношения, будучи пространственно-временными, не имеют за собой подлинного существования. Кант на самом деле был трансцендентальным идеалистом. Патнэм же, напротив, был трансцендентальным номиналистом.
Внутренний реализм Патнэма приходит к следующему. В пределах моей системы мышления я ссылаюсь на различные объекты и говорю нечто относительно этих объектов, кое-что верное, кое-что нет. Тем не менее, я никогда не могу выйти за пределы моей системы мышления и поддержать некоторый базис референции, который не был бы частью моей собственной системы классификации и наименований. Но как раз такая позиция и является эмпирическим реализмом и трансцендентальным номинализмом.

Т.Куна также воспринимали как идеалиста. Я думаю, что и его можно лучше понять как трансцендентального номиналиста, ставшего таковым до Патнэма. Но если размышления Патнэма основаны на теореме об априори и якобы имеют некоторые следствия в области языка, то у позиции Куна было более жизненное основание.
По мнению Куна, научная революция знаменует собой появление нового способа исследования и описания некоторого аспекта природы. Она приносит модели, гипотетические законы, классы объектов, причинные силы, которых не было в предыдущий период развития науки. Мы живем теперь в полном смысле слова в мире, совершенно отличном от мира эпохи пара девятнадцатого века, в мире, где всюду есть самолеты, а железные дороги находятся под угрозой разорения. Если говорить более философски, это другой мир потому, что он категоризирован другими способами, которые считаются наполненными новыми возможностями, новыми причинами, новыми следствиями. Но эта новизна не есть производство новых ментальных объектов. Это наложение новой системы категорий на явления, включая вновь созданные явления. Вот почему я называю это видом номинализма. Вот одна из последних собственных формулировок Куна:
"То, что характеризует революцию есть, таким образом, изменение в нескольких таксономических категориях, являющихся необходимым условием научных описаний и обобщений. Более того, это изменение есть приспособление не только критериев, относящихся к категоризации, но и способов, которыми данные объекты и ситуации распределены между категориями, существовавшими до этого. Поскольку такое перераспределение всегда включает более, чем одну категорию, и поскольку такие категории определяются друг через друга, то такого рода изменение с необходимостью бывает целостным."
Кун не принадлежит к числу старомодных номиналистов, считавших, что все классификации являются продуктами человеческого разума, а не самого мира, и что все эти классификации являются совершенно устойчивыми свойствами нашего разума. Кун мог бы не соглашаться с таким номинализмом в обоих отношениях. Очевидно, что он считает возможными революционные изменения в науке и приводит примеры таких изменений. Он может также предположить, что многие из наших преднаучных категорий суть естественные виды: люди и трава, мясо и конина. В мире просто существуют лошади и трава, независимо от того, что мы думаем об этом, и это должно быть признано любой концептуальной схемой. У истории науки нет оснований отрицать, что мир сам сортирует себя таким образом. У сравнительной культурологии также нет оснований полагать, что разные народы не могут сортировать предметы сходными способами. Пока номинализм Куна основан на его исторических исследованиях, он лишь может утверждать, что некоторые наши научные категории могут быть заменены. Такие испытанные временем категории, как вещество (субстанция) и сила, могут исчезнуть. Даже пространство и время могут сильно пострадать. Кун придерживается определенного релятивизма, говорящего о том, что нет единственно правильной категоризации произвольного аспекта природы. Конечно, идея аспекта природы, состоящего из таких-то и таких-то обстоятельств, сама по себе вариативна. Мы говорим, что у греков не было понятия об электричестве, у Франклина не было представления об электромагнетизме. Даже такие "аспекты природы" возникают и исчезают на протяжении нашей истории. Из этого революционный номиналист делает вывод, что мы еще не дошли до конца. Нет также, считает он, и понятия о конце, об окончательной науке, о подлинно всеобщей науке.
Старомодный номиналист прошлых времен считал, что наши системы классификации являются продуктами человеческого сознания. Но он не предполагал, что они могут радикально изменяться. Кун все это поменял. Он утверждал, что категории изменялись и могут вновь изменяться. Мы вряд ли избежим сближения с природой, используя наши современные категории, проблемы, аналитические системы, методы в технологии и обучении. Мы на самом деле являемся эмпирическими реалистами: мы мыслим как если бы мы использовали естественные виды, реальные принципы классификации. И все же в ходе исторического размышления мы понимаем, что даже наиболее дорогие для нас теоретические конструкции могут быть заменены другими.
Подводя итог, скажем, что мы все-таки исследуем природу, рассортированную по естественным видам, которые определяются современными науками, но в то же время считаем, что эти самые схемы носят исторический характер. Более того, не существует единственно правильного, окончательного представления и категоризации мира.
Замечания Патнэма могут заставить думать в том же направлении, но есть один аспект, в котором его настоящая позиция носит довольно-таки кантовский характер. Патнэм стал консервативным. Для Канта не было выхода из нашей понятийной схемы. Патнэм также не дает оснований предполагать о существовании таких путей. Кун подробно описывает то, как могут быть сделаны глубокие изменения. Так что его номинализм - революционно трансцендентальный, а номинализм Патнэма - более консервативный.

В современной позиции Патнэма есть некое положение, напоминающее о Пирсе. Он считает, что истинно то, в чем мы можем согласиться, применяя рациональные методы, и он признает, что по крайней мере существует эволюция в развитии методов рассуждений. Мне кажется естественным объяснять это не в терминах философии Патнэма, но скорее в терминах Имре Лакатоша.

8. СУРРОГАТ ИСТИНЫ

"Психология толпы" - так карикатурно охарактеризовал Имре Лакатош (1922-1974) куновское описание науки. "Научный метод" (или "логика открытия"), рассматриваемый как метод рационального принятия научных теорий, и критерии прогресса превращаются (у Куна) в ничто, пишет Лакатош. "Конечно, мы можем все-таки пытаться объяснить изменения 'парадигм' в терминах социальной психологии, - продолжает он. - Но это ... путь Куна". Лакатош отчаянно протестует против того, что он называет куновской редукцией философии науки к социологии. Он считает, что она не оставляет места для святынь науки и истины, объективности, рациональности и разума.
Хотя это и искажение идей Куна, то, что получается у Лакатоша в результате, довольно важно. Два основных предмета философии науки - это эпистемология (рациональность) и метафизика (истина и реальность). Считается, что Лакатош говорит об эпистемологии. В самом деле, обычно полагают, что он разрабатывает новую теорию метода и рациональности, и поэтому он служит предметом восхищения одних и объектом критики других. Но если рассматривать его теорию рациональности как его основное достижение, то она представляется довольно сумбурной. Она никак не помогает нам решать, что же разумно считать или делать в настоящее время. Она всецело ретроспективна. Она может указать, какие решения в прошлой науке были рациональны, но не может помочь нам в будущем. В той мере, в какой концепция Лакатоша относится к будущему, она представляет собой смесь банальностей и предрассудков. И все же его работы кажутся чем-то вызывающим. Поэтому я настаиваю на том, что они относятся к чему-то еще, кроме метода и рациональности. Работы Лакатоша имеют значение на самом деле потому, что их автор заинтересован не в эпистемологической, а в метафизической стороне. Он интересуется истиной или ее отсутствием. Он думает, что наука - это модель объективности. Мы можем пытаться объяснить это, утверждая, что научное высказывание должно давать знание о том, каково действительное положение дел в мире. Оно должно соответствовать истине, и это делает науку объективной. Лакатош, получивший образование в Венгрии в гегелевской и марксистской традиции, считал само собой разумеющимся посткантовское, гегелевское отрицание теорий соответствия. Здесь он был близок к Пирсу, также сформировавшемуся по гегелевской матрице, и вместе с другими прагматистами не нуждался в том, что Уильям Джеймс называл теорией истины, основанной на представлении о копировании.
В начале двадцатого века философы в Англии, а затем и в Америке отвергли Гегеля и возродили теории истины, основанные на соответствии, а также референциальные теории значения. И это остается основными темами англоязычной философии. Здесь нам может помочь Хилари Патнэм. В своей книге "Разум, истина, и история" он делает свою собственную попытку покончить с теориями истины, основанными на представлении о соответствии. Патнэм считает себя решительным радикалом и пишет, что "таким образом, можно говорить о кончине теорий, которые продержались более двух тысяч лет" (стр. 74). Лакатош и Пирс считали, что на самом деле последняя "смерть в семье" наступила двумястами годами раньше. И все же оба они хотят учесть в своих построениях объективные ценности западной науки. Так что им нужен был заменитель истины. В гегелевской традиции, они говорили, истина заключается в процессе, в природе развития знания как такового.

Лакатош представлял свою философию науки как результат исторической последовательности ряда философских систем. Эта последовательность будет включать известные факты о Поппере, Карнапе, Куне, о революции и рациональности, о которых я уже говорил во вступлении. Но на самом деле его философия гораздо шире по охвату и более стилизована. Я вкратце напомню эту историю. Большая часть ее периферийных утверждений были в моде среди философов науки в 1965 году. Это, например, такие упрощающие положения, как: в принципе нет различия между утверждениями теории и отчетами о наблюдении; не существует решающих экспериментов (таковые эксперименты могут быть названы только задним числом); всегда можно продолжать придумывать дополнительные правдоподобные гипотезы, которые будут сохранять теорию. Неразумно отбрасывать теорию, не предлагая взамен новой, лучшей. Лакатош никогда не дает хороших или хотя бы детальных аргументов в пользу любого из этих утверждений. Многие из них просто следствия теоретически ориентированной философии, и их лучше всего пересмотреть или отвергнуть после серьезного размышления относительно экспериментирования. Я буду говорить о них в части Б, касающейся Вмешательства. По поводу решающих экспериментов см. главу 15. По поводу различий между наблюдением и теорией см. главу 10.

В самом начале, говорит Лакатош, математическое доказательство было образцом истинной науки. Предполагалось, что в науке заключения должны быть доказаны и сделаны абсолютно надежными. Все, что не обладало абсолютной надежностью, объявлялось дефектным. Наука по определению была неопровержимой.
Семнадцатый век и экспериментальный метод рассуждения сделали такую науку недостижимым идеалом. И все же эта история претерпевает изменения, когда мы переходим от дедукции к индукции. Если мы не можем иметь обоснованное знание, давайте иметь по крайне мере правдоподобное знание, основанное на надежном фундаменте. Правильно сделанные наблюдения будут служить основой знания. Мы будем обобщать непротиворечивые экспериментальные сведения, выводить аналогии и строить научные заключения. Чем больше множество и количество наблюдений, которые подтверждают заключение, тем вероятнее оно будет. У нас больше не будет абсолютной надежности, но зато будет высокая вероятность.
Следовательно, на высоком пути к методологии есть два этапа: доказательство и вероятность. В 1739 году, зная, что первый путь не привел к удаче, Юм подверг сомнению и второй. Частные факты никоим образом не предоставляют "хорошее основание" для более общих утверждений или прогнозов о будущем. Поппер согласился с Юмом, а вслед за ним согласился и Лакатош. Фальсификационизм
Лакатош обрубает некоторые ветви истории методологии, но продолжает другие. У него даже был Поппер-1, Поппер-2, Поппер-3, обозначающие возрастающие по сложности степени понимания им Поппера. Все эти три варианта попперовской концепции фиксировали внимание на проверке и фальсификации гипотез в большей степени, чем на их верификации или подтверждении. Очень упрощенно попперовский взгляд на вещи можно было бы сформулировать следующим образом: "человек предлагает, а природа располагает". Это означает, что мы выдумываем теории, а природа отвергает их, если они не верны. Это предполагает довольно четкое различение между опровержимыми теориями и базовыми наблюдениями природы, которые после надлежащей проверки не могут уже быть обжалованы. Теория, несовместимая с наблюдениями, должна быть отвергнута. Попперова история гипотез и опровержений создает благоприятное впечатление о науке как об объективном и честном предприятии. Но на самом деле все обстоит не так-то просто: во-первых, "все теории рождаются опровергнутыми", или, по крайне мере, довольно обычной для науки является ситуация, когда предлагается теория, о которой известно, что она не может справиться со всеми полученными фактами. В этом заключалась позиция Куна с его нормальной наукой, которая занимается решением головоломок. Во вторых (в соответствии с Лакатошем), не существует четкого различения теории и наблюдения. В третьих, есть некоторое утверждение, сделанное великим французским историком науки Пьером Дюгемом: теории испытываются через вспомогательные гипотезы. В его примере, если астроном предсказывает, что небесное тело должно быть найдено в определенном месте, но оказывается в другом, нет нужды пересматривать астрономию. Наверное, в этом случае можно пересмотреть теорию телескопа (или получить объяснение того, почему явления отличаются от того, что есть на самом деле (Кеплер), или придумать теорию астрономических искажений (Г. Г. Стоукс), или предположить, что эффект Допплера проявляется иначе в открытом космосе). Вследствие этого, непослушное наблюдение не обязательно должно опровергать теорию. Видимо Дюгем думал, что пересмотр теории или одной из вспомогательных гипотез - дело выбора или соглашения. Дюгем был выдающимся антиреалистом, так что такое заключение было для него привлекательным, но оно выглядело отталкивающе для стойкой инстинктивной тяги к научному реализму Поппера и Лакатоша.
Таким образом, фальсификационисты добавляют два дополнительных предложения. Во-первых, ни одна теория не опровергается или не отбрасывается до того, как будет найдена лучшая теория. Во-вторых, одна теория лучше, чем другая, если на ее основе можно сделать больше новых предсказаний. Обычно теории должны быть согласованы с фактами. Лакатош утверждает, что фальсификационист требует не того, чтобы теория была согласована с фактами; он утверждает, что теория должна опережать факты.
Заметим, что это положение имеет длинную историю, полную споров. По большей части индуктивисты думают, что факты, согласующиеся с теорией, подтверждают ее независимо от того, предшествовала ли теория фактам или факты предшествовали теории. Мыслители, которые ориентированы более рационалистически и дедуктивистски, настаивали на том, что Лакатош называет "требованием Лейбница-Уевелла-Поппера: хорошо спланированное строительство классификации должно проходить гораздо быстрее, чем запись в нее фактов" (1, стр. 100).

Исследовательская программа обычно обозначает особое исследование научной проблемы с использованием некоторых хорошо определенных комбинаций теоретических и экспериментальных идей. Исследовательская программа - это программа исследований, которая может быть предпринята человеком или группой, включая соответствующие поиски финансирования, получения поддержки и так далее. То, что Лакатош называет "исследовательской программой", на это не похоже. Это понятие Лакатоша более абстрактно и более исторично. Его исследовательская программа представляет собой последовательность развивающихся теорий, длиной до нескольких столетий. Она может находиться в забвении на протяжении 80 лет, а затем опять возродиться под воздействием совершенно новых фактов или идей.
В частных случаях обычно легко распознать континуум развивающихся теорий. Но не так легко произвести их общую характеризацию. Для ее облегчения Лакатош вводит слово "эвристика". Вообще говоря, "эвристика" - это термин, описывающий метод или процесс, который управляет открытием или исследованием. С самых первых дней создания в 1950-е годы искусственного интеллекта люди говорили об эвристических процедурах, которые могли бы помочь машинам решать проблемы. Книга "Как это решить" и другие замечательные книги соотечественника и учителя Лакатоша Георга Пойа содержат классические современные исследования по математическим эвристикам. Своими работами по философии математики Лакатош в значительной степени был обязан Пойа. Затем он использовал идею эвристики в качестве инструмента для определения природы исследовательских программ. Он говорит, что исследовательская программа определяется своими положительными и отрицательными эвристиками. Отрицательная эвристика говорит: руки прочь, сюда нельзя. Положительная эвристика говорит: вот множество проблемных областей, упорядоченных по степени важности, занимайтесь теми, которые находятся в верхней части списка.

 <<<     ΛΛΛ     >>>   

Хакинг Я. Представление и вмешательство. Введение в философию естественных наук философии 11 объектов
С помощью флюоресцентного подкрашивания
В порядке появления 1
Хакинг Я. Представление и вмешательство. Введение в философию естественных наук философии 4 рациональности