В Степин - Новая философская энциклопедия. Том второй Е—M

419

ЛОГИКА НАУЧНОГО ИССЛЕДОВАНИЯ

ЛОГИКА НАУЧНОГО ИССЛЕДОВАНИЯ- в широком смысле является синонимом логшкш ялуиж, в узком используется для обозначения раздела логики науки, в рамках которого исследуется динамическая, процессуальная сторона получения и обоснования научного знания. Выражение «логика научного исследования» используется в русскоязычной философской литературе для перевода немецкого и английского названий книги К. Поппера «Logik der Forschung» и «The Logic of Scientific Discovery». Bo 2-й пол. 20 в. было предложено несколько специальных программ построения логики научного исследования («генетическая эпистемология и логика» Г П. Щедровицкого, программа, выдвинутая группой киевских философов и логиков под руководством П. В. Коп- нингц M. В. Поповича и др.). Результаты, полученные при реализации этих программ, фактически не вышли за рамки проблематики философии и логики науки. См. также ст. Ложа таукш, Мешюдо/югая, Фшлософтя ттукш и лит. к ним. В.Н.Садовский «ЛОГИКА НАУЧНОГО ИССЛЕДОВАНИЯ» К. Поп- пера — первая опубликованная в 1934 книга К. Поппера (Logik der Forschung. Wien, 1934; пер. на англ. яз.: «The Logic of Scientific Discovery». L—N. Y, 1959; сокращенный пер. на рус. яз. в кн.: Поппер К. Логика и рост научного знания. М., 1983). В 1951—56 Поппер написал большую по объему работу под названием «Постскриптум к «Логике научного исследования»» и планировал опубликовать ее вместе с изданием английского перевода «Логики научного исследования», однако эта работа в трех томах появилась только спустя 25 лет после ее написания (topper К. Postscript to the Logic of Scientific Discorciy v. I. Realism and the Aim of Science. L—N. Y, 1983; МЯ. II. The Open Universe. An Argument for Indeterminism. L— N. Y., 1982; \Ы. HI. Quantum Theory and the Schism in Physics. L—N. Y, 1982; сокращенный пер. на рус. яз. 3-го тома: Поппер К. Квантовая теория и раскол в физике. М., 1998). Книга Поппера «Логика научного исследования» имела очень широкий резонанс прежде всего благодаря изложению в ней оригинальной концепции критического рационализма, своей явной антипозитивистской направленности и формулированию основных принципов фальсификационистской теории научного знания (фальсификационизм). В этой книге Поппер резко выступил против широко распространенного взгляда, согласно которому для эмпирических наук характерно использование индуктивных методов. Присоединяясь к юмов- ской критике индукции с логической точки зрения, он в то же время отвергает и психологическое оправдание индукции, принимаемое Юмом, и утверждает; что логику науки следует понимать как теорию дедуктивного метода проверки научного знания, т. е. как воззрение, согласно которому гипотезу можно проверить только эмпирически и только после того, как она была выдвинута. В соответствии с этими исходными установками Поппер предлагает заменить неопозитивистский принцип тршфшцщр]ц тосяш теорий (подтверждение универсального утверждения истинными единичными свидетельствами, из чего по логическим законам не следует истинность такого универсального утверждения), принципом фтмстфтштруемо- аю (опровержения универсального утверждения противоречащим ему истинным единичным свидетельством). Из этого следует невозможность доказательства (подтверждения) гипотез и теорий, но до тех пор, пока попытки их опровержения являются безуспешными, такие теории можно считать подкрепленными эмпирическими данными. Попперовская логика научного исследования противостоит логическому позитивизму и по ряду других важных пунктов. Согласно Попперу реально существуют философские, метафизические проблемы и, в частности, проблема различения науки и ненауки, которую неопозитивисты пытались безуспешно решать как проблему языка науки на основе принципа верифицируемости. Эта проблема является действительно философской проблемой, а именно проблемой демаркации, и она успешно решается на основе принципа фальсифициру- емости. В критическом рационализме Поппера отрицается, что чувственные восприятия, «чистое» наблюдение являются источником знания; по Попперу не существует фундаментального, привилегированного источника знания. Он признает любой способ роста и развития знаний: прежде всего использование теорий и гипотез, а также метафизических систем, мифов и т. п. Поппер не признает дихотомии эмпирического —теоретического знания; по его мнению, любое знание, даже наш чувственный опыт, несет на себе отпечаток теорий. Следствиями фальсификационистской концепции научного знания являются попперовская теория погрешимости всего научного знания и его принципиальное утверждение о том, что все человеческое знание имеет предположительный, гипотетический характер (фаллибилизм). Метод проб и ошибок, согласно Попперу является основным методом развития научного знания и, следовательно, он определяет путь развития науки. Идеи «Логики научного исследования» Поппера получили существенное развитие в последующих его сочинениях, прежде всего в ранее упомянутом «Постскриптуме», а также в книгах «Открытое общество и его враги» (англ. изд. — 1945; рус. пер. — М, 1992), «Conjectures and Refutations» (L., 1963) и «Objective Knowledge» (Oxf., 1972). Лиг.: Грязное Б. С. Логика, рациональность, творчество. М., 1982; Садовский В. НО К. Поппере и судьбе его учения в России.— «ВФ». 1995, № 10; Никифоров A JI. Философия науки: история и методология. М, 1998; topper К. Unended Quest. An Intellectual Autobiography. L, 1992; The Philosophy of Karl tapper. The Library of Living Philosopheis, ed by Schilpp R A., v. 14, b.I-IL N. Y, 1974; Miller D. Critkxrf Rationalism. A Restatement and Defence. Chic., 1994. B.H. Садовский

ЛОГИКА НОРМ- см. Деонтическая логика

ЛОГИКА ОТНОШЕНИЙ- 1. Раздел современной логики, рассматривающий ояшоиышш между объектами нек-рой предметной области (областей). Хотя отношения для логики — частный случай предикатов, а именно многочленные, или многоместные (л-местные, п > 2), предикаты (а свойства трактуются соответственно как одноместные отношения), изучение их составляет особую сферу логики, особенно когда исследуются двуместные (бинарные) отношения. Обычное обозначение последних имеет вид R (дс, у) или х R у, где х, у — переменные, значениями которых являются предметы заданной области (областей), a R— какое-либо отношение («раньше», >у «отличаться от» и т. п.); с объемной точки зрения бинарное отношение есть класс упорядоченных пар (для трехчленных, или тернарных, отношений — это упорядоченные тройки, для четырехчленных — четверки и т. д.) предметов данной предметной области (областей). В логике отношений изучаются свойства отношений, такие, как рефлексивность, симметричность, транзитивность и др. (напр., в приведенных примерах отношение «раньше» транзитивно, но не симметрично, отношение «>» транзитивно и рефлексивно, а отношение «отличаться от» не транзитивно, но симметрич-

420

ЛОГИКА ПРЕДИКАТОВ но), а также операции над отношениями, в определенном смысле аналогичные операциям над классами (одноместными отношениями). 2. Возникшая в 19 в. логико-философская теория, трактующая суждения как форму мышления, выражающую отношения между предметами. В отличие от атрибутивного понимания суждения как приписывающего предмету (логическому подлежащему S) какие-либо свойства (логическое сказуемое, или предикат Р в смысле аристотелевской логики), в логике отношений схемах Ry считается универсальной формой суждений, лежащей в основе всех умозаключений. В логике отношений последние различаются по характеру используемых в них отношений, причем умозаключения понимаются как перенос отношений с одних предметов на другие. Видными представителями логики отношений были Ж. Лашелье, Ш. Серрюс, в России Каршюаш, Рутковашй, Поварнин. Ныне логика отношений как особое направление сохраняет лишь историческое значение. Лет.: Избр. труды русских логиков XIX в. М, 1956; Поварнин С. И. Логика. Общее учение о доказательстве. П., 1915; Он же. Логика отношений. П., 1917; Серрюс Ш. Опыт исследования значения логики. М., 1956; Шрейдер Ю. А. Равенство, сходство, порядок. М., 1971. Б. В. Бирюков