ББК 87.4
Т 78
Редколлегия:
доктор филос. наук Е.Д.Смирнова (отв. ред.),
кандидат филос. наук И.А.Герасимова
Рецензенты:
доктора филос. наук: М.М.Новоселов, В.А.Бочаров
Т-78Труды научно-исследовательского семинара Логического центра Института философии РАН 1996. - М., 1997. - 205 с.
Статьи сборника основаны на докладах, сделанных на семинарах в текущем году. Основное внимание авторов сосредоточено на актуальных проблемах неклассических логик, как на семантическом, так и синтаксическом уровне. В статьях содержатся нестандартные формулировки логических систем и предлагаются оригинальные методологические решения, касающиеся формализованных языков и основанных на них теорий.
Сборник представляет интерес для специалистов в области логики и ее приложений в различных научных дисциплинах.
ISBN 5-201-01952-8 ã ИФРАН, 1997
СОДЕРЖАНИЕ
Смирнова Е.Д. К вопросу построения семантик формализованных и естественных языков
Сидоренко Е.А. Семантика следования (для системы E)
Карпенко А.С., Шалак В.И. Минимальные модели для нечеткой алгебры типа 2
Васюков В.Л. Метафора в прагматических матрицах
Карпенко А.С., Попов В.М. Новая аксиоматизация импликативного фрагмента бесконечнозначной логики Лукасевича £w
Павлов С.А. Трехзначная логика Лукасевича и логика ложности
Болотов А.Е., Бочаров В.А., Горчаков А.Е. Алгоритмы поиска вывода в классической пропозициональной логике
Горемыкина Г.И. Интуиционистские варианты классических теорем
Герасимова И.А. Логический статус отрицания в деонтических ситуациях
Ивлев Ю.В. К теории логических модальностей
Сидоренко Е.А. П.Флоренский о совместимости логической противоречивости Священного писания с божественным его происхождением
Гриненко Г.В. Логико-семиотический анализ гимнов Авесты
Анисов А.М. Тезис Джемса и логика
Васюков В.Л. О феноменологической силлогистике
Карпенко А.С. Библиотечно-библиографическая классификация литературы по логике
CONTENTS
Preface 7
Smirnova E.D.On the Constructing of Formal Language Semantic 9
Sidorenko Е.А. Semantic of Entailment (for the system E)33
Karpenko А.S., Shalak V.I. Minimal Models For Fuzzy
Algebras of Type 2 56
Vasyukov V.L.Metaphora in Pragmatic Matrices 64
Кarpenko А.S., Popov V.M. New Axiomatization
of an Implicative Fragment of £ ukasiewicz’s Infinite-valued Logic £ w 71
Pavlov S.A.£ ukasiewicz’s Three-valued Logic and
Falsehood Logic 76
Bolotov A.E., Bocharov V.A., Gorchakov A.E. Inference-
Searching Algorythms in Classical
Propositional Logic 92
Goremykina G.I.Intuitionistic Versions of Classical Theorems102
Gerasimova I.A.Logical Status of Negation in Deontic
Situations 126
Ivlev Yu.V.On Theory of Logical Modalities 140
Sidorenko E.A.P.Florensky on Compatibility of Logical Inconsistency of Holy Writ with Its Divine Origin 149
Grinenko G.V. Logical and Semiotical Analysis of Avestian Hymns 157
Anisov A.M. James’ Thesis and Logic 178
Vasyukov V.L.On Phenomenological Syllogistic 190
Karpenko A.S.Library-Bibliographical Literature
Classification on Logics 201
Предисловие
Эта книга является одиннадцатым выпуском периодического издания Трудов научно-исследовательского семинара по логике Института философии РАН. Серия издается в ИФРАН. Постоянно действующий семинар по логике организован в начале 60-х годов профессором Владимиром Александровичем Смирновым, который вплоть до 1996 года был его бессменным руководителем. Семинар действует на базе сектора логики Института философии и объединяет специалистов разных логических направлений из ведущих научных и образовательных учреждений Москвы.
Настоящая книга содержит работы, сделанные на основе обсужденных в 1994-1995гг. докладов. Ряд работ посвящен фундаментальным проблемам логической семантики. Проведен тщательный анализ теории семантических категорий и ее основного принципа, выявлена роль основного принципа при построении семантик формализованных языков, базирующихся на различных иерархиях семантических категорий (Е.Д.Смирнова). Развиваются идеи построения реляционной релевантной семантики с бинарным отношением достижимости. Философское обоснование предложенного метода вносит новые уточнения в представления о логическом следовании (Е.А.Сидоренко).
Продолжают развиваться семантические исследования неклассических логик. Описаны типы нормативных рассуждений в актах индивидуализации общих норм, в результате чего выявлены основные виды отрицаний, влияющие на логическое заключение (И.А.Герасимова). Многоаспектная концепция логических модальностей обсуждается в работе Ю.В.Ивлева.
Логическая реконструкция философских и религиозных текстов - традиционная для логической науки сфера интересов. Анализ идей о. П.Флоренского о совместимости логической противоречивости Священного писания с Божественным его происхождением в свете принципов и методов релевантной логики несомненно привлечет внимание не только логиков, но и историков философии (Е.А.Сидоренко). Предложенный Г.В.Гриненко оригинальный метод логико-семиотического анализа коммуникативных актов в гимнах Авесты, возможно, заинтересует историков и лингвистов.
Новые результаты получены в теории моделей: разработаны минимальные модели для нечеткой алгебры типа 2 (А.С.Карпенко. В.И.Шалак). Предложены оригинальные синтаксические конструкции многозначных логик (А.С.Карпенко, В.М.Попов, С.А.Павлов). С позиций неклассических логик обсуждаются проблемы формальной феноменологии и теории метафоры (В.А.Васюков) и неопределенности (А.М.Анисов).
В книге приведена библиотечно-библиографическая классификация литературы по логике, проделанная для Российской Государственной библиотеки А.С.Карпенко и обсужденная на научно-исследовательском семинаре.
Статьи сборника содержат оригинальные результаты, ставят новые проблемы, выявляют дискуссионные вопросы в области неклассических логик и их приложений. Книга ориентирована на специалистов в области логики, методологии науки, и, видимо, должна заинтересовать эпистемологов и историков философии.
Научное издание
ТРУДЫ НАУЧНО-ИССЛЕДОВАТЕЛЬСКОГО
СЕМИНАРА ЛОГИЧЕСКОГО ЦЕНТРА
ИНСТИТУТА ФИЛОСОФИИ РАН 1996
Утверждено к печати Ученым советом
Института философии РАН
В авторской редакции
Корректура авторская
Художник В.К.Кузнецов
Лицензия ЛР № 020831 от 12.10.93 г.
Подписано в печать с оригинал-макета 10.07.97 г.
Формат 60х84 1/16. Печать офсетная. Гарнитура Таймс.
Усл. печ. л. 12,81. /16 Уч.-изд.л. 8,71. /40 000 Тираж 500 экз. Заказ № 036.
Оригинал-макет изготовлен в Институте философии РАН
Компьютерный набор авторов
Компьютерная верстка: С.А.Павлов
Отпечатано в ЦОП Института философии РАН
119842, Москва, Волхонка, 14.