Философия: Энциклопедический словарь

B.C. Малахов

ЛИРИ (Leary) Тимоти (р. 1920) — амер. писатель, психосоциолог, культуролог. С 1959 по 1963 вел в Гарвардском ун-те семинары, посвященные изучению психологического взаимодействия при групповой и игровой психотерапии. Одним из первых начал исследования галлюциногенных препаратов, прежде всего ЛСД, проводя опыты на себе самом и на своих студентах. Под его руководством были созданы центры «освобождения» и «духовных открытий», где практиковались психоделические сессии и медитации. Стоял у истоков движения трансперсональной психологии. За хранение и употребление наркотиков был приговорен к десяти годам тюремного заключения. Автор многих книг, как научных, посвященных изучению связи между психоделическим опытом и мистическими вост. учениями, так и публицистических. Был одним из наиболее активных участников жур. «Psychedelic Review». Работы Л. оказали значительное влияние на движение хиппи. Кроме исследования собственно галлюцинаций, возникающих при приеме ЛСД, провел в сотрудничестве с коллегами (Р. Олперт и др.) в Гарварде изучение мистических феноменов, трактуя их как варианты измененного состояния сознания, родственные психоделическим.

Psychedelic Experience Based on Tibetian Book of Dead. New York, 1960; Psychedelic Prayers after Tao-Te Ching. New York, 1965; Politics of Ecstasy. New York, 1968; Psyhology of Pleasure. New York, 1969.
ЛИСЕЕВ Игорь Константинович (р. 1941) — специалист в области философии естествознания, философии биологии и экологии, проблем взаимодействия общества, человека и природы. Доктор филос. наук (1995). Окончил филос. факультет МГУ (1965) и аспирантуру при нем (1969). Преподавал философию в 1-м Московском медицинском ин-те, на филос. факультете МГУ, в др. московских вузах. В 1968—1973 — научный редактор жур. «Вопросы философии». С 1973 — в Ин-те философии АН СССР (РАН) (старший научный сотрудник, зав. сектором, руководитель исследовательского Центра био- и экофилософии, зам. директора по научной работе). Автор большого числа публикаций, организатор и ответственный редактор многих сборников и коллективных монографических исследований.

Основное направление научно-исследовательской работы Л. — проведение всестороннего системного изучения характера и путей воздействия биологической науки на современную культуру. Это достигается на основе исследования онтологических, методологических, аксиологических и праксиологических аспектов воздействия современной науки о жизни на целостную систему культуры, на формирование в ней новых онтологических объяснительных схем, методолого-гносеологических установок, ценностных ориентиров и деятельностных приоритетов. В своем творчестве Л. рассматривает ряд глобальных взаимосвязанных проблем: эпистемологический статус современной биологии и расширение предметной области биологической науки; радикальная перестройка научно-исследовательской стратегии в науках о жизни, филос. анализ оснований биологии; влияние биологии на возникновение новых познавательных, ценностных и деятельностных моделей в культуре; понимание ценности жизни на разных этапах развития человеческой цивилизации. Разработка всех этих проблем свидетельствует о становлении современной философии жизни, дающей возможность осмыслить влияние феномена жизни на формирование картины мира, стиля мышления, появление новых форм, идеалов и принципов осмысления и оценки бытия и деятельности человека в нем. Л. показывает возрастающее влияние современной, по-новому понятой философии жизни на утверждение новых ориентации и регулятивов культуры, на формирование стратегии дальнейшего развития человечества в его сложном коэволюционном соразвитии с природой.

Философские проблемы современной науки о жизни. М., 1975; Экология и мировоззрение. М., 1979 (в соавт.); Философские проблемы естествознания. М., 1985 (в соавт.); Философская концепция человека и глобальные проблемы современности. М., 1987; Экологический кодекс России (этика природопользования) // К экологической цивилизации. М., 1993 (в соавт.); Философия естествознания XX века: итоги и перспективы. М., 1997 (в соавт.); Философия жизни — путь к новой парадигме культуры // Биофилософия. М., 1997; Глобальная экология как вызов современной культуре // Философия в духовной жизни общества. СПб., 1997; Космизм и экология: на пути к смене парадигмы культуры // Стратегия выживания: космизм и экология. М., 1997; Высокие технологии в контексте изменения регулятивов культуры // Высокие технологии и современная цивилизация. М., 1999; Новые методологические ориентации в современной философии биологии // Методология биологии: Новые идеи. М., 2001.

ЛОГИКА (от греч. logos — слово, понятие, рассуждение, разум), или Формальная логика, — наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений. Различие между формой и содержанием может быть сделано явным с помощью особого языка, оно относительно и зависит от выбора языка.

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

Л. занимается не только связями высказываний в правильных выводах, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между терминами (понятиями), операциями определения и логического деления понятий, вероятностными и статистическими рассуждениями, парадоксами и логическими ошибками и т.д. Но главная тема логических исследований — анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода.

Правильным является, напр., рассуждение, следующее схеме: «Если есть первое, то есть и второе; есть первое; значит, есть и второе». По этой схеме из высказываний «Если сейчас день, то светло» и «Сейчас день» вытекает высказывание «Сейчас светло». Какие бы конкретные истинные высказывания ни подставлялись в указанную схему, заключение обязательно будет истинным.

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

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

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

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

История Л. насчитывает около двух с половиной тысячелетий и разделяется на два основных этапа. Первый начался с трудов Аристотеля и продолжался до втор. пол. 19 в. — нач. 20 в., второй — с этого времени до наших дней. На первом этапе Л. развивалась очень медленно, это дало И. Канту повод заявить, что она является с самого начала завершенной наукой, не продвинувшейся после Аристотеля ни на один шаг. Ошибочность такого представления была ясно показана в последние сто с небольшим лет, когда в Л. произошла научная революция и на смену традиционной логике пришла современная Л., называемая также математической, или символической, логикой. В основе последней — идеи Г. Лейбница о возможности представить доказательство как математическое вычисление. Дж. Буль истолковал умозаключение как результат решения логических равенств, в результате чего теория умозаключения приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней. С работ Г. Фреге начинается применение Л. для исследования оснований математики. Значительный вклад в развитие Л. в дальнейшем внесли Б. Рассел, А.Н. Уайтхед, Д. Гильберт и др. В 1930-е гг. фундаментальные результаты получили К. Гёдель, А. Тарский, А. Чёрч.

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

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

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

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

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

• базисная Л., в которую входят классическая Л., модальная Л., многозначная Л., неклассические теории логического следования;

• металогика, исследующая сами логические теории, их внутреннюю структуру и связи с описываемой ими реальностью;

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

• разделы, ориентированные на приложение в естественных и гуманитарных науках, такие, как индуктивная Л., изучающая проблематичные выводы, логические теории времени, причинности, норм, оценок, действия, решения и выбора и др.;

• разделы, находящие применение при обсуждении определенных философских проблем: Л. бытия, Л. изменения, Л. части и целого, логические теории вопросов, знания, убеждения, воображения, стремления и т.п.

Границы между этими областями не являются четкими, одни и те же ветви Л. могут иметь одновременно отношение к философии и естествознанию, к математике и металогике и т.д.

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

Законы Л. долгое время представлялись абсолютными истинами, никак не связанными с опытом. Однако возникновение конкурирующих логических теорий, отстаивающих разные множества законов, показало, что Л. складывается в практике мышления и что она меняется с изменением этой практики. Логические законы — такие же продукты человеческого опыта, как и аксиомы евклидовой геометрии, тоже казавшиеся когда-то априорными.

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

Перемены, происшедшие в Л. в 20 в., приблизили ее к реальному мышлению и тем самым к человеческой деятельности, одной из разновидностей которой оно является.

Чёрч А. Введение в математическую логику. М., 1960; Стяжкин Н.И. Формирование математической логики. М., 1967; Карри Х.Б. Основания математической логики. М., 1969; Зиновьев А.А. Комплексная логика. М., 1973; Новиков П.С. Элементы математической логики. М., 1973; Попов П.С., Стяжкин Н. И. Развитие логических идей от античности до эпохи Возрождения. М., 1974; Клини С.К. Математическая логика. М., 1985; Ивин А.А. Логика. М., 1999.

А.А. Ивин

ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков-новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский логик Н.А. Васильев выступил автором «воображаемой логики» (1910, 1912), где он подверг критике закон противоречия. Наряду с пол. логиком Я. Лукасевичем Васильев стал основателем нового направления — паранепротиворечивой логики. В серии статей И.И. Жегалкин (1927—1929) предложил арифметизацию символической логики высказываний и предикатов.

В 1924 выходит статья М.И. Шейнфинкеля «О кирпичах здания математической логики», заложившая основы комбинаторной логики (впоследствии получившей развитие в работах X. Карри), а в 1925 появляется первое в России исследование в области интуиционистской логики. Эта была статья А.Н. Колмогорова «О принципе tertium non datur». В ней впервые представлена аксиоматика минимальной логики высказываний и предикатов. Позднее (1932) Колмогоров возвращается уже к собственно интуиционистскому исчислению, предложив его интерпретацию в виде «исчисления задач». В работе В.И. Гливенко (1929; рус. пер. 1998) впервые приведен пример перевода одной логики в другую, а именно классической в интуиционистскую. Так было положено начало целому направлению (бурно развивающемуся и сейчас): переводам и погружениям одних логических систем в другие. Несколько особняком стояла работа И.Е. Орлова «Исчисление совместности предложений» (1928), которая на самом деле оказалась исторически первой в мире работой по теории логического следования.

Уникальная история России 20 в. предопределила и уникальное развитие логики в ней, во многом непонятное для зап. историка науки. В жестко тоталитарной социальной системе логика, а главное истина, становятся предметом чисто идеологических манипуляций. «Формальная логика» начала подвергаться гонениям, в полной мере развернувшимся к кон. 1920-х гг. Тем не менее в кон. 1930-х и 1940-х гг. в математических жур. появляются работы Д.А. Бочвара, А.И. Мальцева, П.С. Новикова, В.Ш. Шестакова. Последний создал логическую теорию контактно-релейных схем и разделил в этом приоритет с амер. математиком К. Шенноном.

В 1948 формальная логика возвращается в систему среднего и высшего образования. В этом же году созданы кафедры логики на филос. факультетах МГУ и ЛГУ; образуется сектор логики в Ин-те философии АН СССР (РАН). Однако положение логики в системе образования не остается независимым. Вышедший оригинальный учебник В.Ф. Асмуса (1947) подвергается критике, а в результате разгоревшейся дискуссии в 1950—1951 на страницах главного филос. официоза «Вопросы философии» и дискуссии по проблемам логики в МГУ и Ин-те философии было зафиксировано, что высшей ступенью мышления является диалектическая логика, а низшей — формальная. Сторонников последней такое соотношение явно не устраивало и на этом фоне все 1950-е и даже 1960-е гг. прошли в острой полемике.

В целях преодоления известного несоответствия между уровнем тогдашнего логико-философского образования и уровнем мировой логической культуры устанавливается практика переводов важнейших логических трудов: Д. Гильберта и Р. Аккермана «Основы теоретической логики» (1947), А. Тарского «Введение в логику и методологию дедуктивных наук» (1948), Л. Витгенштейна «Логико-философский трактат» (1958), Р. Карнапа «Значение и необходимость» (1959), С.К. Клини «Введение в метаматематику» (1957) и А. Чёрча «Введение в математическую логику» (1960). Две последние книги берутся за основу при преподавании логики на филос. факультете МГУ и изучаются различными группами логиков, одну из которых организует А.А. Зиновьев. Налаживается контакт между логиками-философами и логиками-математиками. В противостоянии с «диалектиками» первые обратились за помощью ко вторым и получили ее. Семинары А.А. Маркова и С.А. Яновской на механико-математическом факультете МГУ стали первыми «университетами» для многих философов.

Определенным итогом непростого развития явилось издание «Философской энциклопедии» (1960— 1970), в которой логика в большинстве статей была представлена по возможности в полном виде.

На современном этапе развития логики порой трудно определить, что принадлежит к математической (символической), а что к филос. логике. Можно выделить, однако, некоторые наиболее интересные направления.

Конструктивная и интуиционистская логики. Возникновение и развитие конструктивного направления (на базе конструктивной логики) вызваны в первую очередь работами А.А. Маркова и созданием им в кон. 1940-х гг. теории нормальных алгорифмов. Эта же тема представлена в работах П.С. Новикова. В рамках классического подхода к логике теорию рекурсивных функций разрабатывает В.А. Успенский. С кон. 1960-х гг. А.С. Есенин-Вольпин начинает развивать ультраинтуиционистскую программу оснований математики и естественно-научных теорий.

Многозначные логики. В России сложилась хорошая школа многозначной логики. Первая оригинальная работа принадлежит Д.А. Бочвару (1938), его логика предназначалась для анализа парадокса Рассела. В 1960 вышла первая книга по многозначной логике, посвященная ее филос. проблемам (А.А. Зиновьев), а в 1997 в монографии А.С. Карпенко подведен определенный итог развития многозначной логики в России и за рубежом.

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

Начиная с 1980-х гг. появляются монографии по времени логике: А.Т. Ишмуратов (1981), Э.Ф. Караваев (1983), А.С. Карпенко (1990), A.M. Анисов (1991). Впервые логика норм (деонтическая логика) и оценок логика исследуются А.А. Ивиным (монографии в 1970 и 1973).

Отметим также, что исследование силлогистических теорий средствами символической логики — одно из ведущих направлений в современной российской логике (А.Л. Субботин, Е.К. Войшвилло, В.А. Смирнов, В.А. Бочаров, В.И. Маркин, В.М. Попов, К.И. Бахтияров, М.И. Бежанишвили, Л.И. Мчедлишвили и др.).

Логика и методология наук. В 1930-е гг. С.А. Яновская и В.Ф. Асмус начинают исследовать логико-методологические и филос. проблемы оснований математики. Появляются работы Яновской о роли абстракций и идеализации в познании и о способах введения понятий. Современную теорию понятия, привлекая средства символической логики, создает Войшвилло (1967,1989). Вопросам абстракции и образования понятий посвящена книга Д.П. Горского (1962); им же исследована специфика определений в различных теориях (1974). М.М. Новоселов вводит методологически важное понятие интервала абстракции и на его основе ряд таких понятий, как абстракция постоянства, абстракция индивидуации, абстракция неразличимости и др. И.Н. Бродский выявил роль отрицательных высказываний в познании (1973). В работах Ивина, Ю.В. Ивлева и др. активно развивалась теория аргументации.

Отметим концепцию Зиновьева о том, что три ветви старой философии: формальная логика, гносеология и онтология должны быть слиты в нечто единое при систематическом построении логики.

Закончился 20 в., страшный для России, с неисчислимыми жертвами и потерями. Величие логики как гуманитарной науки состояло отчасти в том, что она стала спасительным прибежищем для многих из тех, кто не захотел примкнуть к марксизму-ленинизму.

Силаков А.В., Стяжкин Н.И. Краткий очерк истории общей и математической логики в России. М., 1962; Брюшинкин В.Н. Исследования по формальной логике (обзор советской литературы последних лет) // Вопросы философии. 1983. № 6; Бажанов В.А. Прерванный полет. История «университетской» философии и логики в России. М., 1995; Карпенко А.С. Логика в России. Вторая половина XX века // Вопросы философии. 1999. № 9; Bochenski J.M. Soviet Logic // Studies in Soviet Thought. 1961. Vol. 1; Anellis I.H. Formal Logic and Dialectical Materialism in the Soviet Union // Modern Logic. 1994. № 4; Uspensky V.A. Mathematical Logic in the Former Soviet Union: Brief History and Current Trends // Logic and Scientific Methods. Dordrecht, 1997.

A.C. Карпенко

В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно-предикатной структуре. При этом многообразие всех возможных отношений между высказываниями анализируется на основе трех базовых отношений — отрицания, конъюнкции и дизъюнкции, а также производных от них отношений импликации, эквивалентности и некоторых др. Данные отношения обозначают с помощью специальных формальных символов — пропозициональных логических операторов (пропозициональных связок). В современном логическом языке в качестве пропозициональных связок обычно используются следующие символы: оператор отрицания «]», оператор конъюнкции «&»,оператор дизъюнкции «V», оператор импликации «—>» и оператор эквивалентности «<—>». В естественном языке смысловыми аналогами этих операторов являются, соответственно, частица «не», союз «и», союз «или», связка «если.., то...» и связка «...если и только если...». Точный логический смысл пропозициональных связок задается с помощью истинностных таблиц, в которых любому высказыванию (вида А, ] А, А&В, AvB, A—>B, ] (А&В), Av] В и т.д.) приписывается свойство быть истинным высказыванием, либо свойство быть ложным высказыванием.