Логический эмпиризм и Карл Поппер
• • Традиция эмпиризма Классический эмпиризм Локк, Беркли и Юм Проблема скептицизма и скептицизм о существовании внешнего мира + у Юма индуктивный скептицизм
Джон Локк (1632 -1704) • До приобретения опыта сознание человека представляет собой как бы «незаполненную дощечку» (tabula rasa) • Нет ничего в разуме, чего не было бы до этого в ощущениях» • Проблема первичных и вторичных качеств
Джорж Бекрли (1685 -1753) • Для вещей существовать значит быть воспринимаемыми (esse est percipi) • Ощущения субъекта первичны, а вещи, будучи сочетаниями ощущений, вторичны
Беркли: абстрактных идей не существует • слово становится общим, будучи знаком не абстрактной, общей идеи, а многих частных идей, любую из которых оно безразлично вызывает в нашем уме. Эдвард Мунк
Логический позитивизм (Венский кружок) • Морис Шлик (1882 -1936) • Отто Нейрат (1882 -1945) • Рудольф Карнап (1891 -1970) - • Карл Гемпель (1905 -1997) • Также есть названия «Логический неопозитивизм» или «логический эмпиризм»
• Две центральные идеи • Деление суждений на аналитические и синтетические • Верификационисткая теория значения.
Суждение и исчисление предикатов • Традиционная логика: субъект – связка – предикат (Все S есть P). Исчисление предикатов: • Функции-высказывания, т. е. предложения с пустыми местами, обозначаемыми как переменные.
(x) – читается: «для всех x»
Разница в записи • • Все металлы электроповодны Все S есть P (x) – читается: «для всех x» (x) ((Метал (x) → Электроводен (x))
Логический позитивизм • 1. Всякое знание есть знание о том, что дано человеку в чувственном восприятии. • 2. То, что дано нам в чувственном восприятии, мы можем знать с абсолютной достоверностью. • 3. Все функции знания сводятся к описанию.
Логическая и эмпирическая верификация • Платон выпивал на свое 50 -летие. • Платон – просто число.
"дилемма теоретика" 1. Теоретические термины либо выполняют свою функцию, либо не выполняют ее; 2. Если теоретические термины не выполняют своей функции, то они не нужны; 3. Если теоретические термины выполняют свою функцию, то они устанавливают связи между наблюдаемыми явлениями; 4. Но эти связи могут быть установлены и без теоретических терминов; 5. Если же эмпирические связи могут быть установлены и без теоретических терминов, то теоретические термины не нужны; 6. Следовательно, теоретические термины не нужны и когда они выполняют свои функции, и когда они не выполняют этих функций
Критика логического эмпиризма • • • Концепция языка. Давление холистического аргумента. Проблема индуктивной логики. Проблема ненаблюдаемых объектов Новая роль истории и психологии в философии науки. •
Методологический фальсификационизм К. Поппера
• Галилеевский взгляд на мир: • • 1. Ученый стремится к истинной теории, описывающей реальность • 2. Окончательное обоснование истинности • 3. Теория описывает сущностную природу вещей
Природа научного знания: • Эссенциализм • Инструментализм • Гипотетизм
Эссенциализм • 1. Ученые стремятся получить истинное описание мира. • 2. Истинная теория описывает "сущности", лежащие в основе наблюдаемых явлений. • 3. Поэтому, если теория истинна, то она не допускает никакого сомнения и не нуждается в дальнейшем объяснении или изменении.
Инструментализм 1) универсум сущностей; 2) универсум наблюдаемых феноменов; 3) универсум языка.
Гипотетизм • Научные теории – только догадки о мире. • Проблема гипотез ad hoc (лат. Ad hoc — «по месту» ) – гипотеза для данного случая
• ТЕОРЕТИЧЕСКОЕ ЗНАНИЕ и концепция «третьего мира» . • Аргумент библиотеки •
• Содержание теорий и понятие правдоподобия.
Истина как соответствие • КОРРЕСПОНДЕНТНАЯ ТЕОРИЯ ИСТИНЫ — совокупность методологических направлений, определяющих истинность некоторого фрагмента знания (высказывания, теории) через соответствие (лат. correspondentia) объекту этого знания
истина есть соответствие мыслей действительности • Тупик № 1. Какие именно мысли могут характеризоваться как истинные? • Тупик № 2. Что именно может полагаться действительностью, которой соответствуют мысли? • Тупик № 3. Как трактовать “соответствие”
Есть ли прогресс в науке? • Первое: требование простоты • Второе: новая теория должна быть независимо проверяема. • Третье: выдерживать строгие проверки
• Правдоподобие = Степень достоверности теории • Сt(Т) — Логическое содержание теории — все следствия аксиом + правил вывода. •
Три признака хорошей теории: • Хорошая теория должна быть простой (на основе простого, ясного, цельного принципа, объединяющего в единую систему разные объекты). • Хорошая теория должна делать предсказания (в противовес теориям ad -hoc). • Предсказания должны быть проверяемыми. Результаты проверок должны быть положительными. •
• — насколько теория приближается к абсолютной истине (которая для человека недостижима) • — в хорошем случае мы будем асимптотически приближаться к истине • — то есть Ct. T↑, а Ct. F↓ со временем • — интересность следствий теории: это нетривиальные следствия
Критика Поппера • Тезис Дюэма-Куайна (См. лекцию №)
• • Нормальная наука Кризис Революция Нормальная наука
• Парадигма и научное сообщество • История про уток и важность учебной литературы. • Понятие дисциплинарной матрицы.
Критика Куном Поппера • Демаркационный критерий не работает, так как Поппер не рассматривает границы фальсификации • Кун – исторический релятивист и концепция перманентной революции Карла Поппера.
Методологический анархизм Пол Фейерабенд • Каким образом две несовместимые теории могут в равной степени подтверждаться в одной эмпирической области? • 1) Критика наивного кумулятивизма • 2) Пролиферация (создание теорий альтернативных по отношению к существующим). • 3) Язык наблюдения • 4) Несоизмеримость
• Развитие науки: слишком быстро или слишком медленно? • Проблема аномалий: что будет вероятнее оспариваться - теория или эксперимент?
• Выбор между программами: прогрессивные и регрессивные сдвиги исследовательских проблем.