Курс знакомит студентов с основными понятиями философии науки и ее логико-математическим аппаратом, анализирует основные направления развития этой дисциплины, очерчивает круг ее важнейших представителей. Философия науки рассматривается в связи с эволюцией естествознания и техники, в связи с концептуальными трудностями, возникающими в естественных и технических науках.

Список всех тем лекций

Лекция 1. Введение в философию науки.
Возникновение философии науки Основатели философии науки: Джон Стюарт Милль и Эрнст Мах Учение об индукции Джона Стюарта Милля Теория вероятностей в изложении Колмогорова Теория индуктивного вывода Эрнст Мах

Лекция 2. Эрнст Мах, Альберт Эйнштейн и Пьер Дюгем.
Состояние науки в конце XIX–начале XX века Эрнст Мах Открытия Альберта Эйнштейна Электродинамика Опыт Майкельсона-Морли Специальная теория относительности Научные достижения Эрнста Маха Пьер Дюгем

Лекция 3. Логика и философия квантовой механики.
Что такое знание? Как логика помогает понять, что такое знание Квантовая механика

Лекция 4. Евклидова геометрия и аксиоматика Давида Гильберта.
Евклидова геометрия Аксиоматика Давида Гильберта Аксиомы связи Гильберта Аксиомы порядка Гильберта

Лекция 5. Аксиоматика Давида Гильберта.
Из истории геометрии Аксиомы связи Гильберта Аксиомы порядка Гильберта Исчисление высказываний Гильберта

Лекция 6. Формальная аксиоматическая система Гильберта.
Характеристика систем Гильберта Формальная аксиоматическая система Построение аксиоматической системы Гильберта Метатеорема о дедукции

Лекция 7. Построение математики и гипотетико-дедуктивный метод.
Метатеорема о дедукции Аксиоматическая система Клини Построение математики Гипотетико-дедуктивный метод

Лекция 8. Теории первого порядка.
Аксиоматизация Клини Доказательство теоремы Исчисление предикатов Аксиоматизация формальной арифметики Дедекинда

Лекция 9. Формальная арифметика.
Исторический экскурс Аксиомы арифметики Пеано Логическое изложение аксиом арифметики Пеано Теоремы формальной арифметики Доказательство теорем

Лекция 10. Гипотетико-дедуктивная теория.
Основные сведения о гипотетико-дедуктивной теории История гипотетико-дедуктивной теории Протокольные предложения Построение научной теории Отечественная и иностранная литература о гипотетико-дедуктивной теории Подход Карла Поппера

Лекция 11. Гипотетико-дедуктивная теория и другие модели научного знания.
Общие положения Модель Гемпеля-Оппенгейма-Поппера Эмпирический конструктивизм Карл Поппер

Лекция 12. Карл Гемпель.
Аксиоматика исчисления предикатов Доказательство теоремы Карл Гемпель Корроборация Поппера

Лекция 13. Кибернетика и системный подход.
Развитие философии науки в России и на Западе Кибернетика Системный подход Парадоксы общей теории систем Подход Овчинникова Другие подходы

Лекция 14. Рудольф Карнап и Уиллард Куайн.
Рудольф Карнап Языковой каркас Классификация философов науки Онтологический статус множества Критика Карнапа Куайном

Лекция 15. Уиллард Куайн.
Уиллард Куайн Две догмы эмпиризма Онтологическая относительность

Лекция 16. Социальная философия науки. Часть 1.
Тезис Куайна о неопределённости перевода Тезис Куайна об онтологической относительности От Куайна к феминистскому эмпиризму Борис Гессен Роберт Мертон

Лекция 17. Социальная философия науки. Часть 2.
Роберт Мертон Сильная программа социологии знания Дейвида Блура Веймарская культура, причинность и квантовая механика Бруно Латур

Лекция 18. Бруно Латур и квантовая механика.
Бруно Латур Мы никогда не были нововременными Квантовая механика Копенгагенская интерпретация Парадокс Эйнштейна-Подольского-Розена

Лекция 19. Аксиоматика Давида Гильберта.
Аксиоматика Гильберта Особенности формального построения аксиоматических теорий Аксиомы исчисления высказываний Метатеорема дедукции и следствия из неё Аксиомы исчисления предикатов Интуиционизм и неконструктивные доказательства