Название: Модальные теории Яна Лукасевича
Автор: Ивин А.А.
Издательство: М.: ИФРАН
ISBN 5-201-02063-1 Год: 2001
Страниц: 176
Формат: DjVu
Размер: 2,32 Мб
Качество: отличное (отсканированные страницы, OCR, содержание)
Язык: Русский
В книге исследуются модальные идеи и теории выдающегося логика XX века Я.Лукасевича. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). В третьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности. Книга, являющаяся первым в логической литературе исследованием данного аспекта творчества Лукасевича, содержит новые идеи и логические результаты, касающиеся широко понимаемой модальной логики, прогностических высказываний, онтологических модальностей, причинности, временной детерминации, каузального определения истины и др.
СОДЕРЖАНИЕ
ГЛАВА 1. ТРЕХЗНАЧНАЯ МОДАЛЬНАЯ ЛОГИКА 1.1. Две задачи построения модальной логики 2.1. Требования к модальной логике 3.1. Многозначный характер модальной логики 4.1. Модальности в трехзначной логике 5.1. Аксиоматизация трехзначной логики 6.1. «Интуитивная интерпретация» Е. Слупецкого 7.1. Модальная логика и многозначная логика 8.1. Содержательные предпосылки модальной логики ГЛАВА 2.L-МОДАЛЬНАЯ ЛОГИКА 1.2. Пересмотр позиции 2.2. Основная модальная логика 3.2. Минимальная модальная логика 4.2. Аксиоматизация L-модальной логики 5.2. Три новые аксиоматизации L-модальной логики 6.2. Определения модальных функторов в терминах материальной импликации и констант 7.2. L-модальная логика и классическая логика высказываний 8.2. Система L и интуиционистская логика высказываний 9.2. t-модальная логика как теория переменных функторов 10.2. L-модальная логика и модальные системы К. Льюиса 11.2. Законы экстенсиональности и двузначности в L-модальной логике 12.2. Система L и аподиктические истины 13.2. L-модальная логика как логика прогностических высказываний 14.2. Парадоксы L-модальной логики 15.2. Модальная логика и Аристотель 16.2. Особенности подхода Лукасевича к построению модальной логики ГЛАВА 3. ДЕТЕРМИНИЗМ, ИСТИНА, ПРИЧИННОСТЬ 1.3. Лукасевич о детерминизме 2.3. Ологическом анализе принципов детерминизма 3.3. Логика детерминизма 4.3. Принципы детерминизма 5.3. Проблема асимметрии прошлого и будущего 6.3. Каузальное определение истины 7.3. Логика каузальной истины 8.3. Детерминизм и причинность 9.3. Логический детерминизм 10.3. Логика причинности 11.3. Бытие и становление
|