ЛОГИКА НАУКИ

ЛОГИКА НАУКИ
        в спец. смысле дисциплина, применяющая понятия и технич. аппарат совр. формальной логики к анализу систем науч. знания. Термин «Л. н.» часто употребляется также для обозначения законов развития науки (логика науч. развития), правил и процедур науч. исследования (логика исследования), учения о психологич. и методологич. предпосылках науч. открытий (логика науч. открытия).
        Л. н. как спец. дисциплина начала развиваться в сер. 19 в. и окончательно оформилась в 1-й четв. 20 в. под влиянием идей Фреге, Рассела и Витгенштейна. В 30-х гг. интенсивно Л. н. занимались участники Венского кружка, а также др. философы, естествоиспытатели и математики (К. Поппер, В. Дубислав, X. Рей-хенбах и др.). Т. к. в подавляющем большинстве они стояли на позициях неопозитивизма, то на протяжении многих лет было широко распространено мнение, что Л. н. является специфически позитивистским подходом к филос. и методологич. анализу науч. знания. Однако в действительности неопозитивистская интерпретация Л. н. представляет собой частный вариант её филос. истолкования, в значит. степени преодоленный уже к кон. 50-х — нач. 60-х гг. За рубежом исследования по Л. н. ведутся преим. в рамках аналитич. философии, критич. рационализма и феноменологии, распространяясь не только на естествознание, но и на область обществ. наук, этики и теории познания.
        В разработке совр. Л. н. активное участие принимают философы и логики, стоящие на позициях диалектич. материализма. В их работах центр. место занимают логич. анализ систем науч. знания, исследования по индуктивной логике, логич. структуре теоретич. и эмпирич. знания естеств. и обществ. наук.
        Круг осн. проблем Л. н. охватывает: 1) изучение логич. структур науч. теорий; 2) изучение построения искусств. (формализованных) языков науки; 3) исследование различных видов дедуктивных (см. Дедукция) и индуктивных (см. Индукция) выводов, применяемых в естеств., социальных и технич. науках; 4) анализ формальных структур исходных и производных науч. понятий и определений; 5) рассмотрение и совершенствование логич. структуры исследоват. процедур и операций и разработка логич. критериев их эвристич. эффективности; 6) исследование логико-гносеологич. и логико-методологич. содержания процессов абстрагирования, объяснения, предвидения, экстраполяции и редукции науч. теорий, наиболее часто применяемых во всех сферах науч. деятельности.
        Важным средством логич. анализа систем науч. знания является применение методов формализации. Преимущество метода формализации заключается в том, что он позволяет выявить логич. связи и отношения и точно фиксирует правила, гарантирующие получение достоверных знаний из исходных посылок данной теории, выступающих после определ. логич. обработки в качестве аксиом рассматриваемого формализма. В случае дедуктивных теорий речь идёт о правилах необходимого следования. Дедуктивное построение теории чаще всего встречается в математике, теоретич. физике, теоретич. биологии и в некоторых др. науч. дисциплинах. Правила индуктивных теорий характеризуют различные формы вероятностного следования. Индуктивные теории характерны для большинства эмпирич. наук, в которых возникают ситуации неопределённости, связанные с неполнотой информации о связях, свойствах и отношениях исследуемых объектов.
        Создание формализованных систем позволяет исследовать ряд важнейших логич. свойств содержат. теорий, отображённых в данном формализме. К ним прежде всего относятся непротиворечивость, полнота и независимость исходных постулатов данной теории.
        Обнаружение общности логич. структур различных в содержат. смысле науч. теорий открывает большие возможности для перенесения идей и методов одной теории в область другой, для обоснования возможности сведения одной теории к другой и выявления их общих понятийных и методологич. предпосылок. Это важно для унификации и упрощения систем науч. знания, особенно в условиях быстрого возникновения и развития новых науч. дисциплин.
        Особое место в Л. н. занимают проблемы, связанные с эмпирич. обоснованием и проверкой естеств.науч. и социальных теорий и гипотез. Интенсивные исследования в этой области показали несостоятельность раннего неопозитивистского принципа полной верифицируемости (см. Верификация), так же как и критерия фальсифицируемости (см. Фальсификация). Затруднения, возникшие в неопозитивистской Л. н., привлекли внимание мн. логиков и философов к проблеме связи и взаимодействия логич. структур со структурами предметноэкспериментальной практич. деятельности, что обусловило целый ряд новых подходов к Л. н. Этим в значит. степени объясняется наметившийся среди зарубежных логиков интерес к принципам теории познания диалектич. материализма.
        Особый интерес приобретают исследования по логич. семантике, посвящённые изучению смыслов и значений теоретич. и эмпирич. терминов в языках различ. наук. Обнаружение того, что теоретич. предикаты, с помощью которых выражаются понятия и формулируются законы определ. науч. теорий, не сводятся исчерпывающим образом к предикатам наблюдения, фиксирующим результаты непосредств. науч. наблюдений и экспериментов, выдвинуло целый ряд сложных проблем. Важнейшими среди них являются проблемы логич. анализа словарей разл. наук, правил перевода языка теории на язык наблюдений, исследования взаимодействия и соотношения естеств. и искусств. языков и т. д. В связи с этим особую важность приобретают работы по изучению семантики таких терминов, как «система», «структура», «модель», «измерение», «вероятность», «факт», «теория» и т. д. Многозначность и различные способы их употребления, обнаружившиеся в связи с быстрым развитием кибернетики, структурной лингвистики, теории систем и т. п., делают логикометодологич. анализ необходимой предпосылкой эвристич. использования подобных понятий.
        Последний период (скон. 50-х гг.) был переломным для развития Л. н. не только вследствие осознания принципиальной ограниченности её неопозитивистской интерпретации, но также и в силу того, что в этот период были сделаны наиболее значит. шаги для распространения идей и методов логич. анализа на область социальных наук.
        Проблемы логики науч. познания, М., 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.
        А. И. Pакиmoв.

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

ЛОГИКА НАУКИ
    ЛОГИКА НАУКИ — направление логических и философских исследований научного знания, основными задачами которого являются описание строения и структуры науки, определение важнейших познавательных функций научного знания и анализ используемых в различных научных дисциплинах — математике, естествознании, социальных, гуманитарных и технических науках логических процедур получения и обоснования знания, методов доказательства и опровержения. По своим задачам она тесно связана с философией науки, социологией науки и психологией научного исследования и открытия. Основное отличие логики науки от философии науки состоит в том, что в ней преимущественное внимание уделяется использованию средств формальной логики, прежде всего современной формальной логики для анализа научного знания, в то время как в философии науки главными методами исследования являются эпистемологические, историко-научные и методологические средства, причем научное знание рассматривается не только в контексте его структуры и функций, но также и в аспекте его генезиса. От социологии науки и психологии научного исследования логика науки отличается тем, что центральные ее проблемы концентрируются вокруг построения теоретических, формальных — в идеале формализованных моделей научного знания, а социология и психология науки ориентированы на эмпирические исследования структуры, функций и форм деятельности научного сообщества (социология науки) и выявление психологических механизмов создания нового знания (психология научного исследования). В логике науки иногда выделяется особая область - логика научного исследования, в которой основной акцент делается на анализе динамической, процессуальной стороны научного творчества.
    Исследования по логике науки начались в период формирования современной экспериментальной науки в 16—17 вв. в трудах Галилея, Фр. Бэкона, Декарта, Лейбница, Юма и других классиков философии Нового времени, хотя в то время и даже значительно позже термин “логика науки” не использовался. Существенный вклад в разработку этой проблематики внес позитивизм Конта, Спенсера, Маха, прагматизм Пирса и Джемса, конвенционализм Пуанкаре, операционализм Бриджмена и т. д. Специальное внимание исследованию логических оснований научного знания было уделено в сер. и в кон. 19 в. Дж. Гершелем, У. Уэвеллом, Дж. С. Миллем, С. Джевонсом, П. Дюгемом и фактически с их исследований началась реальная история логики науки с преимущественным акцентом на разработку проблем индуктивного обоснования научного знания.
    В 20 в. логика науки стала одной из наиболее активно разрабатываемых областей философско-логических исследований. Этому способствовала возможность использования для анализа научного знания средств математической логики, основы которой были заложены Дж. Булем, Г. Фреге, Б. Расселом и др. Существенные результаты были получены в первой трети 20 в. и позднее сторонниками логического позитивизма (М. Шлик, Р. Карнап, Г. Рейхенбах, Ф. Франк, К. Гемпель и др.), которые в своих исследованиях опирались на фундаментальные работы Рассела по логическому атомизму и на “Логико-философский трактат” Витгенштейна. В 50—80-е гг. важную роль в разработке идей логики науки сыграли работы представителей критического рационализма (основатель этого направления Поппер еще в 30-е гг. получил известность как оригинальный исследователь проблем логики и роста научного знания) и постпозитивизма (Т. Кун, И. Лакатош, П. Фейерабенд, Ст. Тулмин, Д. Агасси и др.). В результате в 20 в. в рамках аналитической философии сформировались три главных направления исследований по философии и логике науки: 1 ) логический анализ языков науки и исследования по формализации таких языков; 2) лингвистический анализ обыденного языка, который, естественно, используется также и в науке; 3) логико-методологический анализ развития научного знания, смены парадигм научного исследования, логические и внелогические факторы динамики научного знания. В последние два-три десятилетия 20 в. к этим трем направлениям добавились исследования по использованию средств т. н. неформальной логики (Informal Logic) для анализа научного, гл. о. гуманитарного, знания.
    В России и Советском Союзе разработка проблем логики науки велась на рубеже 19 и 20 вв. преимущественно в связи с анализом гуманитарного знания (Н. Лосский, А. Лосев и др.) и весьма активно, начиная с 50—60-х гг., в области исследования современного математического, естественно-научного, социального и технического знания (В. Асмус, Б. Кедров, П. Коппин, А. Ахманов, В. Смирнов, А. Зиновьев, Б. Грушин, М. Мамардашвили, Г. Щедровицкий, Д. Горский, Б. Грязнов, М. Попович, А. Уемов, А. Огурцов, В. Степин и многие другие).
    Одной из важнейших исходных проблем логики науки является различение научного и ненаучного знания, в частности метафизического. Логические позитивисты решали эту проблему с помощью принципа верифицируемости — подтверждения универсального высказывания (закона) на основе установления истинности соответствующего факта или единичного свидетельства. Такое подтверждение закона может быть только частичным, и поэтому Карнап, Рейхенбах и другие разработали вероятностную концепцию подтверждения, которая, однако, не давала возможности установить истинность соответствующего универсального утверждения. Поппер переформулировал эту проблему: с его точки зрения проблема демаркации науки и метафизики не является вопросом анализа языка, а представляет собой действительную философскую проблему, которую можно решить, используя принцип фальсифицируемости — доказательства ложности универсального высказывания (закона) на основания установления истинности противоречащего ему единичного свидетельства (по логическому закону Modus toilens). Согласно этой концепции, все научное знание погрешимо, оно носит гфедположительный характер, признается научным сообществом в качестве правдоподобного до тех пор, пока не опровергается фактическими данными науки, но в конечном счете должно быть заменено на более истинные научные гипотезы и теории.
    В логике науки значительное внимание уделяется исследованию логических способов обоснования теоретического знания. Логические позитивисты пытались решить эту проблему на основе редукции (сведения) теоретического знания к эмпирическому, которое базируется на данных чувственных восприятий (протокольных предложениях) и в истинности которого, как представляется, нет оснований сомневаться. В этой программе были получены интересные результаты при исследовании логических проблем редукции, однако в целом реализовать ее не удалось. Эмпирическое знание, в основе которого в конечном счете лежат субъективные чувственные восприятия, не может рассматриваться как безусловно истинный фундамент научного знания. Кроме того, решение проблемы редукции сталкивается с т. н. “дилеммой теоретика”, сформулированной одним из лидеров логического позитивизма, К. Гемпелем: если теоретические понятия сводимы к эмпирическим, то они не нужны; если же они не сводимы к эмпирическим понятиям, они тем более не нужны. В результате проблему редукции не удалось решить в общем виде, и можно говорить о сведении теоретических понятий к эмпирическим только применительно к отдельным областям знаний и только в связи с обсуждением конкретных, специальных научных проблем.
    Среди других проблем логики науки, получивших основательную разработку во 2-й пол. 20 в., следует назвать дедуктивно-номологическую модель научного объяснения, предложенную в современной формулировке Поппером и Гемпелем (дать объяснение некоторого события — значит дедуцировать описывающее его высказывание, используя в качестве посылок один или несколько универсальных законов вместе с определенными начальными условиями), логический анализ наблюдения, измерения, эксперимента, логическое описание методов построения научных теорий (эмпирического, аксиоматического, конструктивного и т. п.), разработка логических методов оценки правдоподобности научных теорий и др. См. также ст. Методология и Философия науки и лит. к ним.
    Лит.: Дюгем П. Физическая теория, ее цель и строение. СПБ, 1910; МилльДж. С. Система логики силлогистической и индуктивной. М., 1914; Проблемы логики научного познания. М., 1964; Логика научного исследования. К., 1965; Попович М. В. О философском анализе языка науки. К., 1966; Копнин П. В. Логические основы науки. К., 1968; Ракитов А. И. Курс лекций по логике науки. М., 1971; Карнап Р. Философские основания физики. Введение в философию науки. М., 1971; Садовский В. Н. Модели научного знания и их философские интерпретации.— “ВФ”, 1983, № 3; Логика научного познания. М., 1987; Мамчур Е. А., Овчинников Н. Ф., Огурцов А. П. Отечественная философия науки: предварительные итоги. М., 1997; Никифоров А. Л. Философия науки: история и методология. М., 1998; Smart H. R. The Logic of Science. N.Y.—L., 1931; Popper K. R. Logik der Forschung. Wien, 1934 (English transi.: The Logic of Scientific Discovery. N.Y— L., 1959; сокращенный рус. пер. в кн.: Поппер К. Логика и рост научного знания. М., 1983); Northrop F. S. C. The Logic of the Sciences and the Humanities. N.Y., 1948; HempelC. Aspects of Scientific Explanation: Essays in the Philosophy of Science. N.Y, 1965; Harre R. An Introduction to the Logic of the Sciences. L.—N. Y, 1966; Hesse M. B. The Structure of Scietific Inference. Berkeley—Los Angeles, 1974; ft/iiniluolo I. Truthlikeness. Dordrecht, 1987; Miller D. Critical Rationalism. A Restatement and Defence. Chicago—La Salle, 1994.
    В. Н. Садовский

Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.