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

• Название: Новая философская энциклопедия. Том второй Е—M
• Автор: В Степин
• Издательство: МЫСЛЬ
• Жанр: Философия
• Год: 2010
• ISBN: 978-2-244-01115-9

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

При подготовке данного издания внесены некоторые уточнения и дополнения. В частности, в первом томе помещена статья, посвященная 80-летию Института философии РАН в четвертом - именной указатель по всем томам.

---

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. Б. В. Бирюков

ЛОГИКАПОР-РОЯЛЯ — книга по дедуктивной логике, вышедшая в Париже в 1662 анонимно под названием «Logique ou l'art de penser» («Логика или искусство мыслить»). До нач. 19-го столетия была самым популярным учебником логики, выдержала более 50 французских изданий, несколько английских и латинских переводов. Лейбниц назвал эту книгу замечательной, несмотря на выраженную в ней адаптацию логической мысли к методологическим принципам картезианской философии. Свое второе имя — «Логика Пор-Рояля» — книга получила по месту рождения — янсенистскому монастырю Port-Royal des Champs, где жили и работали ее авторы — французские ученые А. Арно и П. Николь. Создавая книгу, они решали задачу, намеченную Декартом; отделить «верные и хорошие» правила логики от «вредных и излишних». При этом они пошли по пути упрощения или отбрасывания всех («схоластических») тонкостей, выработанных логической мыслью предыдущих эпох. Так, они обходят тему логики высказываний (consequentiae), семантических парадоксов (insolubilia), зачатки временной логики (obligatoria) и учение о несобственных символах (syncategoremata). Однако, демонстрируя критицизм в отношении схоластики, авторы заняты одновременной реабилитацией силлогистической дедукции (в противовес индуктивизму эпохи Возрождения), правда, при явном снижении интереса к символическому аспекту этой дедукции: полуформальный аппарат аристотелевской теории по существу упразднен и заменен объяснениями на примерах, которые a propos используются для пропаганды картезианской философии и теологических истин. При этом и мысль Декарта, что точные рассуждения можно найти только в математике, и его идея mathesis universalis в «Логике Пор-Рояля» отражения не нашли. Исключив всякий намек на математический анализ умозаключений, авторы трактуют логику не как наук); а как искусство, — но не как искусство «исчисления выводов» путем комбинирования формул, а как искусство здраво судить о вещах помимо всякого рода формул, руководствуясь только «естественным светом разума». Если доказательство очевидно, но противоречит правилам, нужно отбросить правила. Вот почему главным предметом анализа авторы считают не логический вывод, а его посылки: ошибаются обычно не оттого, что плохо умозаключают, а оттого, что исходят из ложных посылок. Соответственно их главное внимание — к прикладному и методологическому аспектам логики как основным условиям «прояснения смысла» суждений и развития «способности суждения» (важный раздел их логики — анализ суждений в «составных» силлогизмах). Характеризуя методологический аспект «Логики Пор-Рояля», следует заметить, что ее авторы еще не делают различия между критериями истинности и правильности, часто апеллируя не к форме, а к интуитивной ясности рассуждения. С их точки зрения, «естественный способ изложения истины» — причинно-следственный, а не логический, поэтому надо стремиться к «естественной связи идей». Примером неестественных рассуждений служат косвенные доказательства (см. Доказательство косвенное). Согласно авторам «Логики Пор-Рояля», косвенно можно доказывать только отрицательные положения, но нельзя доказывать суждения существования (зачаток интуиционистской критики в теории доказательств). Нельзя также умозаключать от частного к общему. Только полная индукция является верным средством познания. Не все математические суждения аналитические, а только аксиомы, которые познаются умозрительно. Очевидность (интуитивная ясность) есть признак аналитичности: реальное и неочевидное нельзя брать как аксиому, но номинально определенное можно. Теорию определений авторы заимствуют у Паскаля, а общее учение о методе — у Декарта. Обе темы авторы относят к «самой полезной и самой важной» части общей логики. В разделе об определении они указывают на необходимость сообразоваться с обычным словоупотреблением и строго различать определение имени (definitio nominis) и определение вещи (definitio rei). A в разделе о методе они указывают два: 1) анализ (метод решения или изобретения), который служит для открытия истин, и 2) синтез (теоретический метод), который служит для изложения истин уже открытых. Первый «скорее заключается в проницательности и способности ума правильно оценивать вещи, чем в особых правилах» (см.: «La Logique...». P., 1775, p. 361), второй — по существу аксиоматический метод геометрии с добавлением правил для определений, для аксиом, для доказательств и для самого метода, отражающих картезианский подход к основам науки. Оценивая «Логику Пор-Рояля» в целом, можно предположить, что, хотя эта логика была шагом в сторону от собственно математического направления развития логики, именно созданный ею образ этой науки способствовал тому, что формальная логика с тех пор не покидала кафедр высших учебных курсов, гимназий и университетов. Соч.: Arnauld A., Nicole P. La Logique ou Tart de penser. P., 1965 (рус. пер. В. П. Гайдамака с послесловием А. Л. Субботина по изданию 1752 г.: Арно А., Николь П. Логика, или Искусство мыслить. М., 1991). Лит.: Попов И С. История логики нового времени. М., 1960, с. 32— 35; Стяжкин Н. И. Формирование математической логики. М, 1967, с. 204—206; Пор-Рояля логика (Новоселов М. Щ. - В кн.: Философская энциклопедия, т. 4. М, 1967; Kneak W., Kneate M. The development of logic. Oxf., 1962; Kotarbinski T. Lecon sur l'histoire de la logique. Warsz., 1965, Ch.VlII; Blanche R. L'histoire de la logique. P., 1970, p. 179-187. M. M. Новоселов