Название: Труды научно-исследовательского семинара Логического центра Института философии РАН. Выпуск X
Автор: Коллектив авторов
Издательство: М.: ИФРАН
ISBN 5-201-01857-2 Год: 1994
Страниц: 112
Формат: DjVu
Размер: 4,63 Мб
Качество: отличное (отсканированные страницы, OCR, содержание)
Язык: Русский
Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.
ПРЕДИСЛОВИЕ
Этот сборник является десятым по счету изданием трудов научно-исследовательского семинара по логике Института философии РАН (руководитель семинара - профессор В.А.Смнрнов). В него вошли статьи, написанные на основе докладов, сделанных участниками семинара в 1993 году.
По традиции тематика сборника связана с философскими, "техническими" и прикладными проблемами различных неклассических логик, силлогистики и теории доказательств. В статье В.А.Смирнова дается сравнительный анализ систем силлогистики, формализованных на основе различных допущений содержательного характера, и сформулирован ряд теорем о дефинициальной эквивалентности этих систем. Доказательства этих теорем не приводятся и предоставлены читателю.
В данном сборнике завершена публикация серии статей В.А.Бочарова, посвященных построению исчисления предикатов первого порядка с универсалиями - автором приводится философское обоснование формулировки этой логической системы. Три статьи посвящены релевантной логике, причем в трех ее основных аспектах: семантическом, теоретико-доказательственном и прикладном. В статье Е.А.Сидоренко построена оригинальная семантика с "двумирными" точками референции для известных исчислений E и NR. Нестандартное релевантнное исчисление с отмеченными формулами, для которого верна теорема об устранении сечения, построено в статье П.И. Быстрова. Вьетнамским логиком Фам Дин Нгьемом предлагается описание релевантной семантики расширенных программ. Логика с неклассическим оператором ложности подробно исследуется и сравнивается с различными многозначными исчислениями в работе С.А. Павлова.
Статьи сборника носят поисковый характер, содержат новые результаты, а также постановки оригинальных проблем, и ориентированы на специалистов в области логики.
СОДЕРЖАНИЕ
Дефинициальная эквивалентность систем силлогистики
Логика ложности FL4
Релевантные логические исчисления как системы выводов с индексированными формулами
Исчисление предикатов с универсалиями (III. Философские основания)
Релевантная реляционная семантика с двумирными точками соотнесения
Релевантная семантика расширенных программ
О логике физики
Штрих Шеффера для простых чисел
Матрицы для независимости аксиомы транзитивности в аксиоматизации классической импликации
| 
