Какие проблемы изучаются в рамках логики науки?

Какие этапы можно выделить в истории логики науки?

Логика науки — одно из направлений или разделов философской науки, который занимается исследованием логических закономерностей научного познания, способов построения научных теорий, анализа специальных понятий, описания строения и структуры науки, функций научного знания, используемых в различных научных дисциплинах — математике, естествознании, социальных, гуманитарных и технических науках, логических процедур получения и обоснования знания, методов доказательства и опровержения.

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

Истоки логики науки формируются в период становления экспериментальной науки в XVI—XVII вв. благодаря трудам классиков философии Нового времени (Галилей, Бэкон, Декарт, Лейбниц и др.). Дальнейшей разработке логики науки способствовали позитивизм (Конт, Спенсер, Мах), прагматизм (Пирс, Джемс), конвенциализм (Пуанкаре), операционализм (Бриджмен), индуктивное обоснование научного знания в XIX в. (Гершель, Уэвелл, Милль, Джевонсон, Дюгем и др.).

Использование для анализа научного знания средств математической логики в XX в. (Буль, Фрече, Рассел и др.), фундаментальные работы Б. Рассела по логическому атомизму и Витгенштейна, логических позитивистов (Шлик, Карнап, Рейхенбах, Франк), представителей критического рационализма (Поппер и др.) и постпозитивизма (Кун, Лакатос, Фейерабенд, Тулмина, Агасси и др.), логические исследования математического естественнонаучного и гуманитарного знания в России и Советском Союзе (Лосский, Лосев, Асмус, Кедров, Копнин, Смирнов, Зиновьев, Горский, Попович, Степин, Берков и др.) способствовали получению существенных результатов в развитии логики науки: различение научного и ненаучного знания; дедуктивно-номологическая модель научного объяснения; логический анализ методов эмпирического и теоретического уровней научного исследования; разработка логических методов оценки истинности научных теорий; структура и динамика научных проблем и т. д.