Лакатош.

Не так просто опровергнуть теорию наблюдением.
Отделить метафизику от науки таким способом невозможно.
Получается, что неопровержимость - черта науки, а не метафизики.

2. Методологический фальсификиционизм.
Держится на условном разделении уровней проверяемых теорий и
непроблематичного исходного знания.
Background knowledge - непроблематичное исходное знание.
Галилей в качества background knowledge использовал оптическую теорию телескопа.
Проверямой теорией была теория пятен на Солнце.
Разграничение уровней - вопрос конвенции, принимаемый научным сообществом
(инститациональность).

Методологический фальсификиционизм допускает опровержение, но
это методологическое решение. Что мы будем считать непроблематичным,
где проведем границу.

Но и этот вариант имеет свои проблемы.
Лакатош указывает, что этот вариант плохо согласуется с историей науки.
1) Проверка - это схватка теории и эксперимента.
    В реальной истории обычно не 1 теория а несколько теорий & эксперимент.
2) единственный вариант - фальсификация.
    В истории наиболее интересные результаты - это подтверждение,
    а не фальсификиция.

3. Утончённый методологический фальсификиционизм. Авторства Лакатоша.
Уточняется условие фальсифицируемости.
    Теория Т фальсифицируема, если и только если предложена Т',
    такая что
    1) Т' предсказывает некоторые новые новые факты,
    невероятный с точки зрения Т.
    2) T' учитывает T.
    3) Часть добавочного содержания T' подкреплена экспериментом
T и T' - это этапы научно-исследовательской программы.
Теории связаны воедино в рамках одной научно-исследовательской программы
за счёт твёрдого ядра научно-исследовательской программы.
Ядро - это то, что не меняется в рамках научно-исследовательской программы,
оно может быть отброшено только вместе с самой программой.
Вокруг ядра защитный пояс программы.
Негативная эвристика помогает нам решать, какую теория можно принимать
А позитивная учит, как модифицировать теорию, чтобы получить следующую.

Пример. Механика Ньютона.
Ядро: 3 закона Ньютона и закон всемирного тяготения.
Движение по цепочке теорий.
Новые теории вводятся не из-за аномалий, найденных в эксперименте,
а из-за затруднения развития научно-исследовательской программы.
Модели уточняются и развиваются. Планеты представлялись как точки,
потом как сферы, потом как деформированные сферы и т.д.
Публикация сопровождает прогрессивный сдвиг.

Отбрасывание теорий сопряжено с конкуренцией научно-исследовательской
программы.
У Куна смена парадигмы не является рациональным выбором.
Лакатош предлагает реациональный сдвиг.
Перход от одной теории к другой на каждом шаге не случайный,
а дает лучшую теорию. Лучшая теория предсказывает и подтверждает больше
опытного материала. В итоге можно сказать, какая программа развивается лучше.

Пример с находчивым асторономом, который объясняет все несостыковки
новыми чудесами. Лакатош этот пример обыгрывает.
Сначала этот жулик имеет неподтверждённое предположение, а потом пытается
его подтвердить. (Ньютон наоборот.)
Гипотеза Ad-Hoc - гипотеза для данного случая.
Это не развитие внутренней логики, а гипотеза, придуманная для
данного конкретного случая.

Лакатош пытается учесть сказанное Куном и построить рациональную схему,
но не принимать то, что было провалом Куна с точки зрения Лакатоша
(аппелирование к нерациональному выбору новой парадигрмы).
Лакатош рационалист.