Модальные теории Яна Лукасевича
книга

Модальные теории Яна Лукасевича

Автор: Александр Ивин

Форматы: PDF

Издательство: Директ-Медиа

Год: 2015

Место издания: Москва|Берлин

ISBN: 978-5-4475-3679-4

Страниц: 234

Артикул: 45875

Печатная книга
1082
Ожидаемая дата отгрузки печатного
экземпляра: 12.04.2024
Электронная книга
304.2

Краткая аннотация книги "Модальные теории Яна Лукасевича"

В книге исследуются модальные идеи и теории выдающегося логика XX века Я. Лукасевича. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). В третьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности. Книга, являющаяся первым в логической литературе исследованием данного аспекта творчества Лукасевича, содержит новые идеи и логические результаты, касающиеся широко понимаемой модальной логики, прогностических высказываний, онтологических модальностей, причинности, временной детерминации, каузального определения истины и др.

Содержание книги "Модальные теории Яна Лукасевича"


Предисловие
ГЛАВА 1. ТРЕХЗНАЧНАЯ МОДАЛЬНАЯ ЛОГИКА
1.1. Две задачи построения модальной логики
1.2. Требования к модальной логике
1.3. Многозначный характер модальной логики
1.4. Модальности в трехзначной логике
1.5. Аксиоматизация трехзначной логики
1.6. «Интуитивная интерпретация» Е. Слупецкого
1.7. Модальная логика и многозначная логика
1.8. Содержательные предпосылки модальной логики
Примечания
ГЛАВА 2. L-МОДАЛЬНАЯ ЛОГИКА
2.1. Пересмотр позиции
2.2. Основная модальная логика
2.3. Минимальная модальная логика
2.4. Аксиоматизация L-модальной логики
2.5. Три новые аксиоматизации L-модальной логики
2.6. Определения модальных функторов в терминах материальной импликации и констант
2.7. L-модальная логика и классическая логика высказываний
2.8. Система L и интуиционистская логика высказываний
2.9. L-модальная логика как теория переменных функторов
2.10. L-модальная логика и модальные системы К. Льюиса
2.11. Законы экстенсиональности и двузначности в L-модальной логике
2.12. Система L и аподиктические истины
2.13. L-модальная логика как логика прогностических высказываний
2.14. Парадоксы L-модальной логики
2.15. Модальная логика и Аристотель
2.16. Особенности подхода Лукасевича к построению модальной логики
Примечания
ГЛАВА 3. ДЕТЕРМИНИЗМ, ИСТИНА, ПРИЧИННОСТЬ
3.1. Лукасевич о детерминизме
3.2. О логическом анализе принципов детерминизма
3.3. Логика детерминизма
3.4. Принципы детерминизма
3.5. Проблема асимметрии прошлого и будущего
3.6. Каузальное определение истины
3.7. Логика каузальной истины
3.8. Детерминизм и причинность
3.9. Логический детерминизм
3.10. Логика причинности
3.11. Бытие и становление
Примечания

Все отзывы о книге Модальные теории Яна Лукасевича

Чтобы оставить отзыв, зарегистрируйтесь или войдите
Солнышкин Ефим
(20 марта 2024 г.)

Книга Модальные теории Яна Лукасевича: монография представляет интересное и актуальное исследование. Автор подходит к теме систематически и профессионально. Рекомендую к прочтению всем, кто интересуется этой областью науки.

Сапрыкин Ярослав
(9 марта 2024 г.)

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

Отрывок из книги Модальные теории Яна Лукасевича

отметил, в частности, что эта система имеет интуитив-ную интерпретацию. Однако, согласующаяся с интуи-цией интерпретация всех функторов, определимых в данной системе, невозможна. Их число (39) слишком велико, чтобы в обычном языке нашлись выражения, соответствующие каждому из них. Это относится, меж-ду прочим, и к двузначной логике. Невозможность вы-ражения (в обычном языке) части — даже большей ча-сти — возможных функций не является, следовательно, аргументом против интуитивного характера системы18. Импликация трехзначной логики эквивалентна выражению интуитивный смысл которого трудно уловим. В связи с этим имеют определенный смысл поиски такой систе-мы аксиом этой логики, в которую входили бы в каче-стве исходных терминов дизъюнкция (конъюнкция), отрицание и один из модальных функторов. Предпо-ложение, что при аксиоматизации трехзначной логики Лукасевича вместо импликации и отрицания может ис-пользоваться любой из следующих триплетов функ-ций: v, ~, L; ν, ~, М; &, ~, L; &, ~, М, было высказано Е. Слупецким. Он же показал, что всем этим функциям можно дать «интуитивную интерпретацию»19. В аксиоматизации указанного типа, предложенной Г. Брылем и Т. Пруцналем20, правилами вывода явля-ются правило подстановки и правило «отделения»: ес-ли ~Lα ν β и α, то β. Для упрощения аксиом в качестве сокращения выражения ~Lα ν β вводится функция p →q, имеющая матрицу следующей формы: 20

Ивин А. А. другие книги автора