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

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

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

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

---

РЕЛЕВАНТНЫЕЛОГИКИ. Про пионерскую работу в этой области И. Е. Орлова (1928) уже говорилось. В 1963 В. В. Дон- ченко независимо от Н. Д. Белнапа (I960) формулирует принцип релевантности. Расцвет исследований в этой области приходится на 70-е гг. В книге В. А. Смирнова «Формальный вывод и логические исчисления» (1972) построена система логики, названная им «абсолютной», которая является подсистемой кванторного варианта системы R Андерсона и Белнапа. Оказалось, что импликативный фрагмент этой системы совпадает с импликативным фрагментом системы R, т. е. была переоткрыта слабая импликация Чёрча. Абсолютная система положена в основание иерархии целого ряда логических систем и представлена в форме секвенциальных исчислений ив форме натурального вывода. В этом фундаментальном труде исследуются также логики без правил сокращения (независимо и одновременно к этой проблематике приходит и В. Н. Гришин, но первая в мире публикация принадлежит Смирнову, 1971). Эта тема превратилась в самостоятельное направление, которое сейчас бурно развивается. От построения иерархии логических систем Смирнов приходит к глобальной идее классификации логических исчислений, в том числе и имплика- тивных. В результате, начиная с 1992 А. С. Карпенко строит классы конечных булевых решеток, элементами которых являются различные импликативные логики, в том числе и релевантные. Е. К. Войшвилло предлагает натуральные варианты некоторых систем релевантной логики и развивает семантику обобщенных описаний состояний (основное отличие этой семантики от классической — отказ от требований непротиворечивости и полноты описаний состояний), а также «семантику ослаблений» для системы Е. Л. Л. Максимова строит алгебраическую семантику для ряда систем; в последние годы в семантическом направлении работают Е. А. Сидоренко и Д. В. Зайцев. Г. Е. Минц (1972) и В. М. Попов (1977) доказывают разрешимость некоторых подсистем релевантной логики, а В. И. Шалак (1985) доказывает теорему о функциональной полноте для пропозициональной логики R с одной-един- ственной связкой. Исследования в области расширений Е до R привели к результату о счетности класса релевантных логик, лежащих между Е и R (E. А. Сидоренко, 1970). Л. Л. Максимовой: принадлежит гипотеза о континуальности этого класса. В 80-е гг. появляются первые отечественные монографии по релевантной логике: Е. А. Сидоренко (1983) и Е. К. Войшвилло (1988).

411

ЛОГИКА В РОССИИ

ДРУГИЕ НЕКЛАССИЧЕСКИЕЛОГИКИ. Исследования в области неклассических логик приняли весьма широкий размах в стране. Это связано с расширением концептуального и технического аппарата, позволяющего подойти к анализу логической и философской проблематики, недоступной для рассмотрения средствами только классической логики. Начиная с 80-х гг. появляются монографии по временной логике: А. Т Ишмуратов (1981), Э. Ф. Караваев (1983), А. С. Карпенко (1990), А. М. Анисов (1991). Один из результатов Ишмуратова состоит в построении временной логики на основе трехзначной логики Бочвара Вг Начиная с 1978 (В. А. Смирнов и др.) начинает развиваться модально-временная логика, в которой происходит синтез модальных и временных операторов. А. А. Ивиным (монографии в 1970 и 1973), В. Н. Костюком, И. А. Герасимовой и др. изучаются также деонтические модальности (см. Деонтическая логика), эписте- мические (см. Эпистемическая логика). А. Л. Блиновым разработана теоретико-игровая семантика для логики действий (книга в 1983). Е. К. Войшвилло и Ю. А. Петров (1974) получают некоторые результаты в области логики вопросов. В. К. Финн (1976) предложил логическую теорию вопросов в связи с формализацией отношения «вопрос-ответ» в информационных системах. Логика квантовой механики (см. Квантовая логика) исследуется Г. П. Дишкантом, Б. Г. Кузнецовым, Б. Н. Пятницыным, В. С. Меськовым, В. Л. Васюковым, В.И. Аршиновым и др. В 1986 в МГУ проходит Межвузовская конференция «Логика квантовой механики». В 1983 в Ленинграде (ныне Санкт-Петербург) проходит координационное совещание по релевантным и паранепротиворечивым логикам. Последняя привлекает исключительное внимание во всем мире, в т. ч. и у нас, в особенности в 90-е гг. Предтечей работ в этой области был казанский логик Н. А. Васильев (1910), который, как и польский логик Ян Лукасевич (при создании многозначной логики), ссылается на неевклидовы геометрии Лобачевского. В 1997 в Бельгии проходит I Международный конгресс по паранепротиворечивости и в нем принимают участие В. Л. Васюков, А. С. Карпенко, С. П. Одинцов, В. М. Попов, А. В. Смирнов и Е. Д. Смирнова. В этой связи отметим результат Васюкова, который построил теоретико-категорную семантику для паранепротиворечивых логик Н. да Косты. Первые серьезные отечественные работы по паранепроти- воречивой логике принадлежат Л. И. Розоноэру (1983), который исходил из идей Д. А. Бочвара. Общепринято, что первая система пропозициональной паранепротиворечивой логики была построена польским логиком С. Яськовским в 1948; 50-летию этого события в Польше в 1998 была посвящена Международная конференция. Однако обратим внимание на совсем малоизвестный факт, что А. Н. Колмогоров, исходя из идей Л. Э. Брауэра, еще в 1925 строит первую аксиоматическую систему, которую (в свете современных представлений) можно назвать паранепротиворечивой. Более того, Колмогоров дал ее предикатный вариант.

ЛОГИКА ПРАВДОПОДОБНЫХ ВЫВОДОВ И РАССУЖДЕНИЙ. Ряд работ посвящено индуктивной логике: Н. А. Алешина, С. П. Будбаева, В. И. Метлов, В. С. Меськов, Б. Н. Пят- ницын, В. К. Финн и др.; причем развиваются различные подходы. С 1974 В. К. Финн (а затем О. М. Аншаков, Д. П. Скворцов, Д. В. Виноградов, С. О. Кузнецов и др.) начинает исследовать индуктивные методы Д. С. Милля средствами неклассических логик, и в первую очередь средствами многозначных логик. Складывается направление в теории правдоподобных рассуждений, названное ДСМ-методом. Удается формализовать индуктивные схемы Милля, аналогию и абдукцию и показать взаимодействие между индукцией, абдукцией и дедукцией. Исследуется и метод автоматического порождения гипотез. В 80-е и 90-е гг. в основном на страницах журналов «Семиотика и информатика» и «Научно-техническая информация» публикуется серия работ по ДСМ-методу. Т. о., разрабатывается логический аппарат для создания интеллектуальных систем. В этом направлении исследований логика рассматривается как наука о правильном рассуждении и рациональной организации знаний. Были разработаны основы логики аргументации, в которой в качестве аргументов используются автоматически порожденные гипотезы. В смежной области работает также Д. А. Поспелов.

ЛОГИЧЕСКАЯ СЕМАНТИКА И АНАЛИЗ

ЕСТЕСТВЕННОГОЯЗЫКА. Проблемы логической семантики: семантика Крипке, семантики типа Монтегю, конструктивная семантика, обобщенная семантика, фактор-семантика, тернарная семантика, семантика с несколькими отношениями достижимости, алгебраическая семантика, категорная семантика, содержательная семантика, «естественная» семантика и целый ряд других семантик для тех или иных классов логических систем или вообще для какой-то специальной логики всегда занимали большое место в работах логиков России 2-й пол. нашего века. Усилиями Е. Д. Смирновой основано философски ориентированное направление в отечественной логической семантике (первая монография в 1982). В этой области работали: Ю. А. Гладких, С. Н. Гоншорек, Г В. Гриненко, И. Н. Грифцова, Н. Я. Куртонина, В. Б. Родос, 3. А. Сокулер, Е. Г. Чёрная и др. Одновременно с этим логико-семантические методы применяются к анализу естественного языка. В этой области работает и Н. Д. Арутюнова. Оригинальные работы принадлежат также Е. В. Падучевой: это анализ естественно-научных языков (геометрия), сфера действия кванторных слов и отрицания в естественных языках, понятие денотативного статуса, лежащего в основе современной лингвистической теории референции, в частности теории анафоры; ею же предложен подход к композиционному описанию лексики и синтаксиса, базирующегося на идее синтаксических трансформаций (монографии: 1974, 1985). Исходя из определенных семантических соображений, Б. В. Бирюков разрабатывает логику ложных высказываний (1972), а С. А. Павлов строит логику с оператором ложности (1990). Отметим работы Д. Г. Лахути и В. Ш. Рубашкина, разработавших компьютерные программы для анализа и понимания текста на естественном языке (80-е и 90-е гг.) СИЛЛОГИСТИКА. Исследование силлогистических теорий средствами символической логики — одно из ведущих направлений в современной российской логике. Интерес к данной проблематике возник после издания в 1959 на русском языке перевода фундаментальной работы Я. Лукасевича «Аристотелевская силлогистика с точки зрения современной формальной логики» (под редакцией П. С. Попова). В 60-е и 70-е гг. основное внимание уделялось алгебраическому представлению силлогистики (А. Л. Субботин) и построению аксиоматических систем силлогистики без законов силлогистического тождества — более слабых, чем силлогистика Лука-