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

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

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

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

---

417

ЛОГИКА ИНДУКТИВНАЯ семантики», не только для С2; (Ь) двузначные истинностные таблицы являются характеристическими. В этом смысле классическая логика высказываний является минимальной; (с) классическая логика высказываний является максимальной в том смысле, что она не имеет расширений: всякое добавление к ней в качестве аксиомы к.-л. формулы, не выводимой в ней, делает ее противоречивой; наконец, (d) классическая логика высказываний имеет наиболее простую семантику, которую можно только изобрести. Все это говорит о классической логике высказываний как уникальном явлении среди всего множества логик (см. Неклассические логики). Если в приведенной аксиоматизации С2 отбросить последнюю аксиому (исключенного третьего закон), то получим аксиоматизацию пропозициональной интуиционистской логики. Оказывается, она имеет континуум расширений (В. Л. Янков, 1968) и никакие конечнозначные истинностные таблицы не являются для нее характеристическими (К. Гёдель, 1932). Есть логики, которые имеют только одно расширение, т. е. саму С2. Что касается множества логик, то результат Янкова говорит о том, что существует континуум различных пропозициональных исчислений только определенного класса, т. е. таких логик, которые включают интуиционистскую логику (такие логики называются суперинтуиционистскими или промежуточными). Более того, в этом классе существует бесконечное множество логик, не имеющих конечной аксиоматизации, бесконечное множество неразрешимых логик, а также существуют конечнозначные логики с произвольным числом истинностных значений. Стоит отметить широкое применение алгебраических методов для решения различных задач логики высказываний. Это становится возможным прежде всего с истолкованием логики высказываний как некоторой структуры (в смысле алгебраической «теории структур»). Так, дистрибутивная структура с дополнениями (алгебры Буля) соответствует классической логике высказываний (см. Алгебра логики), а импликативная структура, где импликация является некоторым аналогом деления, если конъюнкция трактуется как умножение (псевдобулевы алгебры или алгебры Гейтинга), соответствует интуиционистской логике высказываний. Заметим, что в основе приложений булевой алгебры к логике лежит интерпретация элементов булевой алгебры как высказываний. В заключение обратим внимание на применение классической логики высказываний для анализа и синтеза релейно- контактных схем (К. Шеннон, 1938 и В. И. Шестаков, 1941). В автоматическом управлении и при эксплуатации вычисли- тельныхмашинприходитсяиметьделосрелейно-контактными схемами, содержащими сотни и тысячи реле, полупроводников и магнитных элементов. Описание и конструирование таких схем весьма непростое дело. Оказалось, что на помощь может прийти логика высказываний. Каждой схеме ставится в соответствие определенная ее формула в языке {-i, л, v} и каждая формула реализуется с помощью некоторой схемы. Изучая соответствующую формулу, можно выявить возможности заданной схемы и упростить ее (решение подобного рода задач называется анализом схемы). Появляется возможность построить схему, заранее описав с помощью формулы те функции, которые схема должна выполнять (синтезирование схемы). Остается только добавить, что именно классическая логика высказываний лежит в основе проектирования микросхем для современной цифровой электронной техники, в том числе и для компьютеров, хотя в последнее время ведутся подобные работы, основанные на других логиках — многозначных, нечетких, паранепротиворечивых. Лит.: Клини С. К. Введение в математику. М, 1957; ЧёрчА. Введение в математическую логику, т. I. M, I960; Новиков П. С. Элементы математической логики. М., 1973; Мендельсон Э. Введение в математическую логику. М, 1984; Карпенко А. С. Классификация пропозициональных логик.— В кн.: Логические исследования, вып. 4. М, 1997; Яглом И. М. Булева структура и ее модели. М., 1980; Янков В. А. Построение последовательности сильно независимых суперинтуиционистских пропозициональных исчислений.— В кн.: Доклады Академии наук СССР, 1968, т. 181, № 1; Логика высказываний (Яновская С. А.).— В кн.: Философская энциклопедия, т. 3. М., 1964; Epstein R. L. The semantic foundations of logic, vol. I: Prepositional logic. Dordrecht, 1990; From Frege to Godel: A source book in mathematical logic 1879-1931, Harvard University Press, 1967, p. 264-283. А. С. Карпенко

ЛОГИКА ИНДУКТИВНАЯ- см. Индуктивная логика.

ЛОГИКА МНОГОЗНАЧНАЯ- см. Многозначные логики.

ЛОГИКА НАУКИ— направление логических и философских исследований научного знания, основными задачами которого являются описание строения и структуры науки, определение важнейших познавательных функций научного знания и анализ используемых в различных научных дисциплинах — математике, естествознании, социальных, гуманитарных и технических науках логических процедур получения и обоснования знания, методов доказательства и опровержения. По своим задачам она тесно связана с философией науки, социологией науки и психологией научного исследования и открытия. Основное отличие логики науки от философии науки состоит в том, что в ней преимущественное внимание уделяется использованию средств формальной логики, прежде всего современной формальной логики для анализа научного знания, в то время как в философии науки главными методам исследования являются эпистемологические, историко-научные и методологические средства, причем научное знание рассматривается не только в контексте его структуры и функций, но также и в аспекте его генезиса. От социологии науки и психологии научного исследования логика науки отличается тем, что центральные ее проблемы концентрируются вокруг построения теоретически, формальных — в идеале формализованных моделей научного знания, а социология и психология науки ориентированы на эмпирические исследования структуры, функций и форм деятельности научного сообщества (социология науки) и выявление психологических механизмов создания нового знания (психология научного исследования). В логике науки иногда выделяется особая область — логика научного исследования, в которой основной акцент делается на анализе динамической, процессуальной стороны научного творчества. Исследования по логике науки начались в период формирования современной экспериментальной науки в 16—17 вв. в трудах Галилея, Фр. Бэкона, Декарта, Лейбница, Юма и других классиков философии Нового времени, хотя в то время и даже значительно позже термин «логика науки» не использовался. Существенный вклад в разработку этой проблематики внес позитивизм Конта, Спенсера, Маха, прагматизм Пирса и Джемса, конвенционализм Пуанкаре, операционализм Бриджмена и т. д. Специальное внимание исследованию логических оснований научного знания было уделено в сер. и в кон. 19 в. Дж Гершелем, У. Уэвеллом, Дж. С. Миллем, С. Джевонсом, П. Дюгемом и фактически с их исследований

418

ЛОГИКА НАУКИ началась реальная история логики науки с преимущественным акцентом на разработку проблем индуктивного обоснования научного знания. В 20 в. логика науки стала одной из наиболее активно разрабатываемых областей философско-логических исследований. Этому способствовала возможность использования для анализа научного знания средств математической логики, основы которой были заложены Дж. Булем, Г. Фреге, Б. Расселом и др. Существенные результаты были получены в первой трети 20 в. и позднее сторонниками логического позитивизма (М. Шлик, Р. Карнап, Г. Рейхенбах, Ф. Франк, К. Гемпель и др.), которые в своих исследованиях опирались на фундаментальные работы Рассела по логическому атомизму и на «Логико-философский трактат» Витгенштейна. В 50—80-е гг. важную роль в разработке идей логики науки сыграли работы представителей критического рационализма (основатель этого направления Поппер еще в 30-е гг. получил известность как оригинальный исследователь проблем логики и роста научного знания) и постпозитивизма (Т. Кун, И. Лакатош, П. Фейерабенд, Ст. Тулмин, Д. Агасси и др.). В результате в 20 в. в рамках аналитической философии сформировались три главных направления исследований по философии и логике науки: 1) логический анализ языков науки и исследования по формализации таких языков; 2) лингвистический анализ обыденного языка, который, естественно, используется также и в науке; 3) логико-методологический анализ развития научного знания, смены парадигм научного исследования, логические и внелогические факторы динамики научного знания. В последние два-три десятилетия 20 в. к этим трем направлениям добавились исследования по использованию средств т. н. неформальной логики (Informal Logic) для анализа научного, гл. о. гуманитарного, знания. В России и Советском Союзе разработка проблем логики науки велась на рубеже 19 и 20 вв. преимущественно в связи с анализом гуманитарного знания (Н. Лосский, А. Лосев и др.) и весьма активно, начиная с 50—60-х гг., в области исследования современного математического, естественно-научного, социального и технического знания (ВАсмус, Б. Кедров, П. Копнин, А. Ахманов, В. Смирнов, А. Зиновьев, Б. Грушин, М. Мамардашвили, Г. Щедровицкий, Д. Горский, Б. Грязнов, М. Попович, А. Уемов, А. Огурцов, В. Степин и многие другие). Одной из важнейших исходных проблем логики науки является различение научного и ненаучного знания, в частности метафизического. Логические позитивисты решали эту проблему с помощью принципа верифицируемости — подтверждения универсального высказывания (закона) на основе установления истинности соответствующего факта или единичного свидетельства. Такое подтверждение закона может быть только частичным, и поэтому Карнап, Рейхенбах и другие разработали вероятностную концепцию подтверждения, которая, однако, не давала возможности установить истинность соответствующего универсального утверждения. Поппер переформулировал эту проблему: с его точки зрения проблема демаркации науки и метафизики не является вопросом анализа языка, а представляет собой действительную философскую проблему, которую можно решить, используя принцип фаль- сифицируемости — доказательства ложности универсального высказывания (закона) на основании установления истинности противоречащего ему единичного свидетельства (по логическому закону Modus tollens). Согласно этой концепции, все научное знание погрешимо, оно носит предположительный характер, признается научным сообществом в качестве правдоподобного до тех пор, пока не опровергается фактическими данными науки, но в конечном счете должно быть заменено на более истинные научные гипотезы и теории. В логике науки значительное внимание уделяется исследованию логических способов обоснования теоретического знания. Логические позитивисты пытались решить эту проблему на основе редукции (сведения) теоретического знания к эмпирическому, которое базируется на данных чувственных восприятий (протокольных предложениях) и в истинности которого, как представляется, нет оснований сомневаться. В этой программе были получены интересные результаты при исследовании логических проблем редукции, однако в целом реализовать ее не удалось. Эмпирическое знание, в основе которого в конечном счете лежат субъективные чувственные восприятия, не может рассматриваться как безусловно истинный фундамент научного знания. Кроме того, решение проблемы редукции сталкивается с т. н. «дилеммой теоретика», сформулированной одним из лидеров логического позитивизма, К. Гемпелем: если теоретические понятия сводимы к эмпирическим, то они не нужны; если же они не сводимы к эмпирическим понятиям, они тем более не нужны. В результате проблему редукции не удалось решить в общем виде, и можно говорить о сведении теоретических понятий к эмпирическим только применительно к отдельным областям знаний и только в связи с обсуждением конкретных, специальных научных проблем. Среди других проблем логики науки, получивших основательную разработку во 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 К R. Logik der Forschung. Wien, 1934 (English transi.: The Logic of Scientific Discovery. N. Y— L.. 1959; сокращенный рус. пер. в кн.: Поппер К Логика и рост научного знания. М., 1983); Northrop F. S. С. The Logic of the Sciences and the Humanities. N. Y, 1948; Hempel C. 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 Scietiflc Inference. Berkeley—Los Angeles, 1974; M/m/wo/o/.Truthlikeness. Dordrecht, 1987; Miller D. Critical Rationalism. A Restatement and Defence. Chicago-La Salle, 1994. В. Н. Садовский