Логика науки

ЛОГИКА НАУКИ, в специальном смысле дисциплина, применяющая понятия и технический аппарат современной формальной логики к анализу систем научных знания. Термин «логика науки» часто употребляется также для обозначения законов развития науки (логика научного развития), правил и процедур научного исследования (логика исследования), учения о психологических и методологических предпосылках научных открытий (логика научного открытия).

Логика науки как специальная дисциплина начала развиваться в середине 19 века и окончательно оформилась в 1-й четверти 20 века под влиянием идей Фреге, Рассела и Витгенштейна. В 30-х годах интенсивно логикой науки занимались участники Венского кружка, а также другие философы, естествоиспытатели и математики (К. Поппер, В. Дубислав, X. Рейхенбах и др.). Так как в подавляющем большинстве они стояли на позициях неопозитивизма, то на протяжении многих лет было широко распространено мнение, что логика науки является специфически позитивистским подходом к философскому и методологическому анализу научного знания. Однако в действительности неопозитивистская интерпретация логики науки представляет собой частный вариант её философского истолкования, в значительной степени преодоленный уже к концу 50-х — началу 60-х годов. За рубежом исследования по логике науки ведутся преимущественно в рамках аналитической философии, критического рационализма и феноменологии, распространяясь не только на естествознание, но и на область общественных наук, этики и теории познания.

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

Круг основных проблем логики науки охватывает: 1) изучение логических структур научных теорий; 2) изучение построения искусственных (формализованных) языков науки; 3) исследование различных видов дедуктивных (см. Дедукция) и индуктивных (см. Индукция) выводов, применяемых в естественных, социальных и технических науках; 4) анализ формальных структур исходных и производных научных понятий и определений; 5) рассмотрение и совершенствование логической структуры исследовательских процедур и операций и разработка логических критериев их эвристической эффективности; 6) исследование логико-гносеологического и логико-методологического содержания процессов абстрагирования, объяснения, предвидения, экстраполяции и редукции научных теорий, наиболее часто применяемых во всех сферах научной деятельности.

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

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

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

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

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

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

А. И. Ракитов.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

Литература:

Проблемы логики науч. познания, М., 1964; Логика науч. исследования, М., 1965; Ποпович М. В., О философском анализе языка науки, К., 1966; Копнин П. В., Логические основы науки, К., 1968; Ракитов А. И., Анатомия науч. знания. (Популярное введение в логику и методологию науки), М., 1969; его ж е, Курс лекций по Л. н., М., 1971; его же, Филос. проблемы науки, М., 1977; Логико-филос. анализ понятийного аппарата науки, К., 1977; Логич. проблемы исследования науч. познания. Семантич. анализ языка. Сб. ст., М., 1980; Smart H. R., The logic of science, N. Υ.— L., 1931; Northrop F. S. С., The logic of the sciences and the humanities, N. Y., 1948; Popper K. R., The logic of scientific discovery, N. Y.—L., 1959; Harre R., An introduction to the logic of the sciences, L. — N. Y., 1966; Durbin P. R., Logic and scientific inquiry, Milwaukee, 1968; Agassi J., The logic of scientific inquiry «Synthese», 1974, v. 26, № 3—4, p. 498—514; Hesse М. В., The structure of scientific inference, Berk.— Los Ang., 1974; Trusted J., The logic of scientific interference. An introduction, L.— Basingstoke, 1979.