Логика науки

Логика науки

анализ научного знания, существенно использующий методы и результаты современной логики. В силу того что современная логика практически с момента своего возникновения была ориентирована на такой анализ, в то время как традиционная логика не была в состоянии проанализировать даже структуру античной математики, логика науки имеет почти тот же возраст, что и современная логика и неразрывно связана с последней в своем историческом развитии.

В сер. XX в. в связи со всплеском интереса к изучению истории науки было провозглашено что-то вроде преодоления логики науки как стиля в философии науки. Необходимость такого преодоления обосновывалась тем, что образ науки в структурах современной логики представляет собой некий идеал, в то время как имеет смысл обратиться к самим фактам, характеризующим научную деятельность и «реальную науку».

Вместе с тем критика логики науки в качестве «оторванного от научной действительности» идеала, как правило, воспринимала утверждения и выводы логики в отношении науки либо в качестве наилучшего описания интеллектуального труда агентов науки («фактический» идеал), либо в качестве наилучшего предписания по открытию новых научных истин (идеальная логика открытия) или их обоснованию (идеальная логика обоснования). Таким образом, эта критика является оправданной (ибо сложно себе представить возможность хотя бы одного из трех упомянутых идеалов) и в то же время абсолютно не учитывает тот факт что, хотя логика науки действительно представляет собой определенный идеал, это все-таки идеал toto coelo, отличный от описанных выше разновидностей идеального. В некотором смысле логика задает науке идеал не описательный или предписательный, а идеал конструктивный, т. е. идеал 1) репрезентации знаний и 2) управления знаниями.

Поэтому значимость логики как конструктивного идеала науки остается ничуть не поколебленной любого рода ссылками на иррациональность представителей этой науки.

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

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

Сохраняя статус не только общезначимого, но и, по сути, единственно приемлемого кандидата на роль философского идеала научности, логика является также единственным основанием для философской оценки и критики научных теорий. Опыт показывает, что история науки может в лучшем случае компактно описать предысторию современных концепций, но не в состоянии «вскрыть их исторические основания», если такое вскрытие должно служить основанием для той или иной оценки их адекватности и интеллектуальной состоятельности.

Г. К. Ольховиков

Источник: Общие проблемы философии науки: Словарь для аспирантов и соискателей / сост. и общ. ред. Н. В. Бряник ; отв. ред. О. Н. Дьячкова. - Екатеринбург: Изд-во Урал. ун-та, 2007. – С. 88-89 (318 с.)